Discussione:Ex falso sequitur quodlibet: differenze tra le versioni

Versione delle 22:35, 12 nov 2007

Versione delle 22:44, 12 nov 2007

Riga 83:

Propongo:

1) #<math>(A \wedge-A) </math> (ipotesi)

#<math> A </math>

2) #<math>\neg A </math>

6) #<math>(A \neg\negvee B) </math> per la 32

3) #<math>\neg (\neg A \wedge \neg B) </math> De Morgan

5) #<math>\neg (\neg A \wedge \neg B) </math>per Dela Morgan3

4) #<math>(A \vee B) </math> per la 2doppia negazione.

5) <math>\neg (\neg A \wedge \neg B) </math> De Morgan

6) <math>\neg\neg B</math>per la 3

8) <math> B </math> per la doppia negazione.

--[[Utente:AD10492]]