МОДУС ТОЛЛЕНС (лат. modus tollens)

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

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

Неверно А.

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

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

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

Если гелий – металл, он электропроводен.

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

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