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

(лат. modus ponendo tollens) тер­мин средневековой логики, обозначающий следующие схемы рас­суждения: Здесь A и В — некоторые высказывания; «либо A, либо » и «A» — посылки; «неверно, что B» («не-») — заключение; горизонталь­ная черта стоит вместо слова «следовательно». Другая запись: Либо A, либо В. А. Следовательно, не-В. Либо A, либо В. В. Следовательно, не-А.

Посредством этих схем от утверждения двух взаимоисключа­ющих альтернатив и установления того, какая из них имеет мес­то, осуществляется переход к отрицанию второй альтернативы: либо первое, либо второе, но не оба вместе; есть первое, значит, второго нет. Напр.:   Достоевский родился либо в Москве, либо в Петербурге. Он родился в Москве.

От истинных посылок оно может вести к ложному заключению. Напр.: На Южном полюсе был Амундсен или был Скотт. На Южном полюсе был Амундсен. Неверно, что там был Скотт. Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно. Правильным является умозаклю­чение: На Южном полюсе первым был Амундсен или Скотт.