Этим термином средневековые логики обозначали разделитель-но-категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения - разделительное (дизъюнктивное) высказывание, вторая - категорическое высказывание, отрицающее один из членов дизъюнкции; заключением является другой ее член:
А или В; неверно А
В
Или:
А или В; неверно В
А
Другая форма записи:
А или В. Не-А. Следовательно, В.
А или В. Не-В. Следовательно, А.
Например:
Множество является конечным или оно бесконечно.
Множество не является конечным.
Множество бесконечно.
Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом.
С использованием логической символики умозаключение формулируется так:
A v В, ~ А
В
Или:
А v В, ~ В
А
В современной логике модус толлендо поненс называется также правилом удаления дизъюнкции. Ему соответствует логический закон:
(А v В) & ~ А ® В,
если А или В и ~ А, то В.