модус толлендо поненс

(лат. modus tollendo ponens)

термин средневековой логики, обозначающий разделительно-кате-

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

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

В.

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

А.

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

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

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

Напр.:

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

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

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

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

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

A v B, модус толлендо поненс A.

В.

Или:

A V B, модус толлендо поненс B

А.

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