Модусом толленсом называется следующая схема рассуждения:
Если A, то B; неверно B
Неверно A
Здесь высказывания «если А, то В» и «неверно В» являются посылками, а высказывание «неверно А» – заключением. Другая запись:
Строгий мир логики с практическими упражнениями
·
Александр Ивин
