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

– термин средневековой логики, обозначающий разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения – разделительное (дизъюнктивное) высказывание; вторая – категорическое высказывание, отрицающее один из двух членов дизъюнкции; заключением является другой ее член:

А или В; неверно A.

В.

Или:

A или В; неверно В.

А.

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

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

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

Напр.:

Множество является конечным или оно бесконечно.

Множество не является конечным.__________

Множество бесконечно.

Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом.

С использованием символики логической умозаключение формулируется так (v – дизъюнкция, «или»;   – отрицание, «неверно, что»):

A v B,   A.

В.

Или:

a v b,   b

А.

В современной логике М.т. п. называется также правилом удаления дизъюнкции.