logo

Модус толлендо поненс(лат. Modus tollendo ponens)

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

 

[210]

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

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

В.

Или:

 

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

А.

 

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

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

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

Напр.:

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

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

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

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

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

A v B, ~ A.

В.

Или:

a v b, ~ b

А.

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