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

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

МОДУС ТОЛЛЕНДО ПОНЕНС (лат.modus tollendo ponens)-тер­мин средневековой логики, обозначающий разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения — разделительное (дизъ­юнктивное) высказывание; вторая — категорическое высказыва­ние, отрицающее один из двух членов дизъюнкции; заключением является другой ее член:

АилиВ;неверноA.
В.
Или:
AилиВ;неверноВ.
А.
ЗдесьAиВ —некоторые высказывания, черта стоит вместо слова "следовательно". Другая форма записи:АилиВ.Не-А.Следовательно,В.АилиВ.Не-В.Следовательно,A. Напр.: Множество является конечным или оно бесконечно.Множество не является конечным.__________ Множество бесконечно. Иногда эту схему рассуждения именуютдизъюнктивным силлогизмом. С использованиемсимволики логическойумозаключение форму­лируется так (v — дизъюнкция, "или"; ~ — отрицание, "неверно, что"):
AvB,~ A.
В.
Или:
avb,~ b
А.
В современной логике М.т. п. называется такжеправилом удаления дизъюнкции.


  1. модус толлендо поненс—лат. modus tollendo ponens термин средневековой логики обозначающий разделительнокатегорическое умозаключение первое или второе не первое значит второе. Первая посылка ум...Словарь логики