Discussione:Ex falso sequitur quodlibet: differenze tra le versioni

Versione delle 00:37, 25 nov 2007

Versione delle 12:03, 25 nov 2007

Riga 12:

estratto da http://it.wikipedia.org/wiki/Tautologia:

"Una tautologia logica è un'affermazione vera per qualsiasi valore di verità degli elementi che la compongono." Quindi, anche l'ex falso quodlibet è una tautologia, come tuttetutti i più noti principi, leggi o teoremi della logica classica (altrimenti che valore di verità universale avrebbero?). Per accorgersene, basta costruire la [[tabella di verità]] di <math>(A \land \lnot A) \to B</math> e ci renderà conto che essa assume sempre valore vero, indipendentemente se A o B siano vere o false. [[Special:Contributions/151.63.94.200|151.63.94.200]]

== dimostrazione errata ==