Например, правильным является умозаключение:

Если висмут – металл, он проводит электрический ток.

Висмут – металл.

Висмут проводит электрический ток.

Но внешне сходное с ним умозаключение:

Если висмут – металл, он проводит электрический ток.

Висмут проводит электрический ток.

Висмут металл.

логически некорректно. Рассуждая по последней схеме, можно от истинных посылок прийти к ложному заключению. Например:

Если человек собирает марки, он коллекционер.

Человек – коллекционер.

Человек собирает марки.

Далеко не все коллекционеры собирают именно марки; из того, что человек коллекционер, нельзя заключать, что он собирает как раз марки. Истинность посылок не гарантирует истинности заключения.

Против смешения правила модус поненс с указанной неправильной схемой предостерегает совет: от подтверждения основания к подтверждению следствия заключать можно, от подтверждения следствия к подтверждению основания – нет.

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

Так средневековые логики называли следующую схему рассуждения:

<РИСУНОК В ЭЛЕКТРОННОМ ВИДЕ ОТСУТСТВУЕТ>

Другая запись:

Если A, то B. Не-B. Следовательно, не-A.

Эта схема часто называется принципом фальсификации: если из какого-то утверждения вытекает следствие, оказывающееся ложным, это означает, что и само утверждение ложно. Посредством схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания данного высказывания. Например:

Если гелий – металл, он электропроводен.

Гелий неэлектропроводен.

Гелий – не металл.

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

Этим именем средневековые логики обозначали следующие схемы рассуждения:

<РИСУНОК В ЭЛЕКТРОННОМ ВИДЕ ОТСУТСТВУЕТ>

Другая запись:

Либо A, либо В. А. Следовательно, не-B.

Либо A, либо В. В. Следовательно, не-А.

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