Словарь логики - модус толлендо поненс

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