МОДУС ТОЛЛЕНДО ПОНЕНС
МОДУС ТОЛЛЕНДО ПОНЕНС (лат.
modus tollendo ponens) -
термин средневековой логики, обозначающий разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения — разделительное (дизъюнктивное) высказывание; вторая — категорическое высказывание, отрицающее один из двух членов дизъюнкции; заключением является другой ее член:
Или:
Здесь
A и
В — некоторые высказывания, черта стоит вместо слова "следовательно". Другая форма записи:
А или
В.
Не-
А.
Следовательно,
В.
А или
В.
Не-
В.
Следовательно,
A. Напр.: Множество является конечным или оно бесконечно.
Множество не является конечным.__________ Множество бесконечно. Иногда эту схему рассуждения именуют
дизъюнктивным силлогизмом. С использованием
символики логической умозаключение формулируется так (v — дизъюнкция, "или"; ~ — отрицание, "неверно, что"):
Или:
В современной логике М.т. п. называется также
правилом удаления дизъюнкции.
Смотреть больше слов в «Словаре по логике»
МОДУС ТОЛЛЕНС →← МОДУС ПОНЕНС