Discussione:Ex falso sequitur quodlibet: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
→dimostrazione errata: nuova sezione |
||
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)
== dimostrazione errata ==
temo che la dimostrazione sia errata: la proprietà distributiva è male applicata o no?
1) (a e b) o c
2) (a e c) o (b e c)
1) equivale a 2)?
abc 1)2)
000 0 0 NO
001 1 0 NO
010 0 0
011 1 1
100 0 0
101 1 1
110 1 0 NO
111 1 1
(nel caso specifico: a=a, b=non a, c=b)--[[Utente:193.205.213.166|193.205.213.166]] 08:31, 6 nov 2007 (CET)
| |||