ulisse Dio maturo
Registrato: 02/03/05 01:09 Messaggi: 1531 Residenza: Bagnone (MS)
|
Inviato: 10 Feb 2006 16:20 Oggetto: |
|
|
madvero ha scritto: | non A + non B = C
A + B = non C
secondo me, a livello di logica, dovrebbe funzionare.
|
No, non funziona e basta un diagramma di Venn per evidenziarlo.
Per inciso la formula è una delle due Leggi di De Morgan.
Inoltre l'operatore corretto da usare tra non A e non B (nella veste insiemistica) non è il + ma l'intersezione (qui userò la congiunzione "e" per l'intersezione e la congiunzione "o" per l'unione)
La formula corretta è:
non [(non A) e (non B)] = A o B
In sostanza la regola di complementazione (negazione) di una affermazione prevede che vengano complementati non solo gli operandi ma anche gli operatori (l'intersezione va sostituita con l'unione e viceversa).
Per convincerti disegna una tabella 2 x 2.
Chiama A la prima colonna e non A la seconda.
B la prima riga e non B la seconda.
(non A) e (non B) corrisponde alla casella intersezione della seconda riga con la seconda colonna.
Il suo complementare, dunque, non è la sola casella A e B intersezione della prima riga con la prima colonna ma tutte le altre tre caselle individuate dall'espressione A o B.
Citazione: | eugy, capisco perfettamente le tue obiezioni, però non essendo un quesito strettamente matematico secondo me anche le mie deduzioni dovrebbero andare bene... |
Errore. La logica simbolica è un ambito strettamente matematico!
Citazione: | non so: ulisse latita appositamente perchè gli piace un mondo leggere i nostri dibattiti di nascosto !!! |
Cuccato! |
|