Наши партнеры

Blagovest-kazan.ru - вытяжной вентилятор для кухни

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

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

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

В.


Или:

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

А.

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

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

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

Напр.:

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

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

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

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

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

A v B, ~ A.

В.

Или:

a v b, ~ b

А.

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

Вернуться к оглавлению

© 2000- NIV