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