Логика

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

Посредством этой схемы от утверждения условного высказывания и отрицания его следствия осуществляется переход к отрицанию основания. Например: «Если гелий – металл, он электропроводен. Гелий неэлектропроводен. Следовательно, гелий – не металл».

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

Если A, то B; неверно B

Неверно A

Здесь высказывания «если А, то В» и «неверно В» являются посылками, а высказывание «неверно А» – заключением.

от подтверждения основания к подтверждению следствия рассуждать допустимо, от подтверждения следствия к подтверждению основания – нет

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

«Модусом» в логике называется разновидность некоторой общей формы рассуждения

Например: «Идет дождь и идет снег» означает «Неверно, что нет дождя или нет снега»; «Сегодня холодно или сыро» означает «Неверно, что сегодня не холодно и не сыро»

«А и В» означает «неверно, что не-А или не-В»,

«А или В» означает «неверно, что не-А и не-В».

Неверно, что ученик знает арифметику или знает геометрию, если и только если он не знает ни арифметики, ни геометрии».

Если не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно

Или другой пример: «Если нет дыма, когда нет огня, то если есть огонь, есть и дым

Например: «Если верно, что рукопись, не получившая положительного отзыва, не публикуется, то верно, что публикуемая рукопись имеет положительный отзыв».