Модус толлендо поненс

Этим термином средневековые логики обозначали разделительно‑категорическое умозаключение: первое или второе; не первое; значит, второе. Первая посылка умозаключения — разделительное (дизъюнктивное) высказывание, вторая — категорическое высказывание, отрицающее один из членов дизъюнкции; заключением является другой её член:

Или:

Другая форма записи:

А или В. Не‑ А Следовательно, В.

А или В. Не‑ В. Следовательно, А.

Например:

Множество является конечным или оно бесконечно.

Множество не является конечным.

Множество бесконечно.

Иногда эту схему рассуждения именуют дизъюнктивным силлогизмом.

С использованием логической символики умозаключение формулируется так:

Или:

В современной логике модус толлендо поненс называется также правилом удаления дизъюнкции. Ему соответствует логический закон:

(A v B) & ~ A → B,

если А или В и ~ А, то В.