Modus tollens: differenze tra le versioni

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>\neg q</math> è la proposizione oppostache anega <math>q</math>, negata tramite il connettivo <math>\neg\,\!,</math> e si indica alternativamente con <math>\bar{q}\,\!,</math> e si legge "non q" o "q negato".