Discussione:Ex falso sequitur quodlibet: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 80:
--[[Utente:87.5.106.191|87.5.106.191]] 14:55, 9 nov 2007 (CET)
Propongo:
1) (A e -A) (ipotesi)
2) A
3) -A
4) A o B per la 2
5) -( (-A) E (-B) ) De Morgan
6) -(-B) per la 3
8) B per la doppia negazione.
--[[Utente:AD10492]]
| |||