модус толленс

(лат. modus tollens)

термин средневековой логики, обозначающий следующую схему рассуждения:

Если A, то В; неверно В.

Неверно А.

Здесь A и В - некоторые высказывания; "если А, то В" и "неверно, что В" ("не-В") - посылки; "неверно, что A" ("не-A") - заключе-ние; горизонтальная черта стоит вместо слова "следовательно". Другая запись:

Если А, то В. Не-В. Следовательно, не-А.

Посредством этой схемы от утверждения условного высказывания и отрицания его следствия (консеквента) осуществляется переход к отрицанию основания (антецедента) данного высказывания. Напр.:Если гелий - металл, он электропроводен.

Гелий неэлектропроводен.

Гелий - не металл.