МОДУС ТОЛЛЕНДО ПОНЕНС

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



Словарь по логике 

МОДУС ТОЛЛЕНС →← МОДУС ПОНЕНС

T: 0.114566569 M: 3 D: 3