Логика

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

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

Или:

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

(A v B) & ~ A → B,

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

Законы де Моргана

Широкое применение находят законы, названные именем американского логика А. де Моргана и позволяющие переходить от утверждений с союзом "и" к утверждениям с союзом "или", и наоборот:

— (A & B) → (~ A v ~ В),

если неверно, что есть и первое, и второе, то неверно, что есть первое, или неверно, что есть второе;

(~ A v ~ В) → ~ (А & В),

если неверно, что есть первое, или неверно, что есть второе, то неверно, что есть первое и второе. Используя эти законы, от высказывания "Неверно, что изучение логики и трудно, и бесполезно" можно перейти к высказыванию "Изучение логики не является трудным, или же оно не бесполезно". Объединение этих двух законов дает закон (↔ — эквивалентность, "если и только если"):

— (A & B) ↔ (~ A v ~ B).

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

Еще один закон де Моргана утверждает, что отрицание дизъюнкции эквивалентно конъюнкции отрицаний:

— (A v В) ↔ (~ А & ~ В),

неверно, что есть первое или есть второе, если и только если неверно, что есть первое, и неверно, что есть второе. Например: "Неверно, что ученик знает арифметику или знает геометрию, тогда и только тогда, когда он не знает ни арифметики, ни геометрии". На основе законов де Моргана связку "и" можно определить, используя отрицание, через "или", и наоборот:

— "А и B" означает "неверно, что не-A или не-B",

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

К примеру: "Идет дождь и идет снег" означает "Неверно, что нет дождя или нет снега"" "Сегодня холодно или сыро" означает "Неверно, что сегодня не холодно и не сыро".

Закон приведения к абсурду

Редукция к абсурду (приведение к нелепости) — это рассуждение, показывающее ошибочность какого-то положения путем выведения из него абсурда, т. е. логического противоречия. Если из высказывания А выводится как высказывание В, так и его отрицание, то верным является отрицание А. Например, из высказывания "Треугольник — это окружность" вытекает с одной стороны то, что треугольник имеет углы (быть треугольником значит иметь три угла), с другой, что у него нет углов (поскольку он окружность); следовательно, верным является не исходное высказывание, а его отрицание "Треугольник не является окружностью".

Закон приведения к абсурду представляется формулой:

(А → В) & (А → ~ В) → ~ А,

если (если А, то В) и (если А, то не-B), то не-А

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

Частный закон приведения к абсурду представляется формулой:

(А → ~ А) → ~ А,

если (если А, то не-A), то не-А. Например, из положения "Всякое правило имеет исключения", которое само является правилом, вытекает высказывание "Есть правила, не имеющие исключений"" значит, последнее высказывание истинно.

Закон косвенного доказательства

Закон косвенного доказательства позволяет заключить об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Например: "Если из того, что 17 не является простым числом, вытекает как то, что оно делится на число, отличное от самого себя и единицы, так и то, что оно не делится на такое число, то 17 есть простое число".

Символически закон косвенного доказательства записывается так:

(~ А → В) & (~ А → ~ В) → А,

если (если не-А, то В) и (если не-А, то не-В), то А.

Законом косвенного доказательства обычно называется и формула:

(~ А → (В & ~ В)) → А,

если (если не-А, то В и не-B), то А. К примеру: "Если из того, что 10 не является четным числом, вытекает, что оно делится и не делится на 2, то 10 — четное число".

Закон Клавия