Discussione:Ex falso sequitur quodlibet: differenze tra le versioni

Versione delle 22:44, 12 nov 2007

Versione delle 00:37, 25 nov 2007

Riga 8:

*Ex falso Quodlibet: (!a==a) -> b

--[[Utente:Blakwolf|<font color=black size +1>'''BW'''</font>]] [[Discussioni utente:Blakwolf|Insultami]] 17:30, 4 ott 2007 (CEST)

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 tutte i più noti principi, leggi o teoremi della logica classica (altrimenti che valore di verità universale avrebbero?). [[Special:Contributions/151.63.94.200|151.63.94.200]]

== dimostrazione errata ==