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