Discussione:Ex falso sequitur quodlibet: differenze tra le versioni

Versione delle 14:47, 9 nov 2007

Versione delle 15:10, 9 nov 2007

Riga 47:

La dimostrazione e' effettivamente errata. Andara' corretta, per ora e' stata nascosta.

Il punto critico e' la proprieta' distributiva che darebbe:

:<math> (A \wedgevee B) \vee wedge(\neg A\wedgevee B) </math>

e non:

:<math> (A \veewedge B) \wedgevee (\neg A\veewedge B) </math>

[[Utente:AD10492]]