Modus tollens: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
correggo formattazione |
m typo |
||
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>[(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>\neg p \
Dalla seconda si ricava, per la legge della negazione logica che <math>
La prima la scindiamo in
Riga 45:
ed il suo valore è 1 soltanto quando entrambe le proposizioni j e k, sono entrambe vere.
:<math>\vdash \neg q
Abbiamo quindi ricavato i due valori di verità delle preposizioni atomiche per cui il ragionamento di Modus tollens può essere falso.
|