Discussione:Ex falso sequitur quodlibet: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 40:
No, '''deve''' essere vera una delle due. E b non sappiamo se è vero o falso, ma ne deriva. 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. Siamo ad una contraddizione perchè è vero anche il suo contrario. Quindi a e non a non può essere vera. --[[Utente:Blakwolf|<font color=black size +1>'''BW'''</font>]] [[Discussioni utente:Blakwolf|Insultami]] 10:53, 7 nov 2007 (CET)
capisco meglio la dimostrazione per assurdo (avevo pensato anch'io a qualcosa di simile). L'altra è per me ancora oscura... ma se ti sembra che sia chiara e corretta e che sia solo un problema mio lascia perdere--[[Utente:82.58.56.101|82.58.56.101]] 13:00, 7 nov 2007 (CET)
| |||