Отличие утверждающего и отрицающего модуса в логическом умозаключении заключается в направлении рассуждения. 13

Утверждающий модус (modus ponens) характеризуется направленностью от утверждения истинности основания к утверждению истинности следствия. 2 Например: «Если идёт дождь (р), то на асфальте должны быть лужи (q). Сейчас идёт дождь (р). Значит, на асфальте должны быть лужи (q)». 3

Отрицающий модус (modus tollens) строится от отрицания следствия к отрицанию основания. 14 Например: «Если идёт дождь (р), то на асфальте должны быть лужи (q). На асфальте луж нет (┐q). Следовательно, сейчас дождь не идёт (┐р)». 3

Утверждающий и отрицающий модусы являются правильными модусами условно-категорического умозаключения и дают достоверные выводы. 1 Отрицающий модус, в отличие от утверждающего, даёт лишь правдоподобные выводы. 3