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