Modus tollens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m a capo in eccesso |
Nessun oggetto della modifica |
||
Riga 41:
Da cui deriva, per la legge delle implicazioni logiche che
#[(p <math>\rightarrow</math> q) ∧ ¬ q]
#¬p = 0
Riga 48:
La prima la scindiamo in
(p <math>\rightarrow</math> q)
e
| |||