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

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

Модус Толлендо Поненс    Модус Толленс    Модфа