Modus tollens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Aggiungo: simple:Modus tollens |
|||
Riga 59:
¬ q = 1 e quindi q=0
Abbiamo quindi ricavato i due valori di verità delle preposizioni atomiche per cui il ragionamento di Modus
Analizzando attentamente k, 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
== Voci correlate ==
|