Modus tollens: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
GnuBotmarcoo (discussione | contributi)
m Bot: Fix tag <math>
Riga 7:
[(p <math>\rightarrow</math> q) ∧ ¬ q] <math>\rightarrow</math> ¬p
 
Il termine <math>p\,\!</math> prende il nome di '''antecedente''', <math>q\,\!</math> è detto '''conseguente'''. Entrambe le lettere rappresentano [[Proposizione (logica)|proposizioni logiche]]. <math>\neg\,\!</math> è un [[connettivo logico]], detto [[Negazione (matematica)|negazione]]. La proposizione <math>q\,\!,</math> negata tramite il connettivo <math>\neg\,\!,</math> è la proposizione opposta a <math>q\,\!</math> e si indica alternativamente con <math>\bar{q}\,\!,</math> e si legge "''non q''" o "''q negato''".
 
Inoltre:
 
* <math>p\,\!</math> è ''condizione sufficiente'' per <math>q\,\!;</math>
* <math>q\,\!</math> è ''condizione necessaria'' per <math>p\,\!.</math>
 
''q (se vero)'' può essere implicato da un termine diverso da'' p'', mentre ''q (se vero)'' è necessario per ''p vero''.