Modus tollens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Esempio di modus tollens: corretta formattazione |
m errore di notazione |
||
Riga 31:
== Dimostrazione di assoluta verità del modus tollens tramite il controesempio ==
Per dimostrare che le conclusioni del modus tollens possono essere errate, dobbiamo dimostrare che
:<math>\nvdash [(p \rightarrow q) \land \neg q] \rightarrow \neg p
Da cui deriva, per la legge delle implicazioni logiche che
# <math>\vdash [(p \rightarrow q) \land \neg q]</math>
# <math>\nvdash \neg p
Dalla seconda si ricava, per la legge della negazione logica che <math>\vdash p</math> (i)
Riga 45:
ed il suo valore è 1 soltanto quando entrambe le proposizioni j e k, sono entrambe vere.
:<math>\vdash \neg q</math> e quindi <math>
Abbiamo quindi ricavato i due valori di verità delle preposizioni atomiche per cui il ragionamento di Modus tollens può essere falso.
|