Modus tollens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 42:
#[(p <math>\rightarrow</math> q) ∧ ¬ q] = 1
Dalla seconda si ricava, per la legge della negazione logica che p = 1 (i)
|
Riga 42:
#[(p <math>\rightarrow</math> q) ∧ ¬ q] = 1
Dalla seconda si ricava, per la legge della negazione logica che p = 1 (i)
|