Modus tollens: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
FrescoBot (discussione | contributi)
errore nel riportare il lemma
Riga 60:
 
Abbiamo quindi ricavato i due valori di verità delle preposizioni atomiche per cui il ragionamento di Modus tollens può essere falso.
Analizzando attentamente kj, però, notiamo che può essere vera, essendo q=0, soltanto se p=0, ma ciò è in contraddizione con i.
 
Non esiste, pertanto, nessun valore di verità assegnabile alle proposizioni p e q che renda la conclusione di Modus tollens falsa.