Discussione:Ex falso sequitur quodlibet: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 38:
due) (A e B) oppure (non A e B) => FALSO
quindi uno e due non sono equivalenti.Non riesco a capire cosa sbaglierei--[[Utente:193.205.213.166|193.205.213.166]] 11:40, 6 nov 2007 (CET)
No, '''deve''' essere vera una delle due. Te ne do una alternativa, ma equivalente. La dimostrazione è per assurdo. Si '''suppone''' che (A e non A) sia vero, quindi a prescindere dal valore di c, (a e non a) o c è sempre vera. E da (a e non a) -> c si ha non (a e non a) o c. Ma la prima è vera, quindi è vera c. Fine.
| |||