Modus tollens: differenze tra le versioni

Il termintermine <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''".