Модус Толленс

(лат. modus tollens) — термин средневековой логики, обозначающий следующую схему рассуждения: (Если A, то В; неверно В. = Неверно А). Здесь A и В — некоторые высказывания; "если А, то В" и "неверно, что В" ("не-В") — посылки; "неверно, что A" ("не-A") — заключение; горизонтальная черта стоит вместо слова "следовательно". Другая запись: Если А, то В. Не-В. Следовательно, не-А. Посредством этой схемы от утверждения условного высказывания и отрицания его следствия (консеквента) осуществляется переход к отрицанию основания (антецедента) данного высказывания.