Правило непрямого вывода - рассуждение “от противного” (противоречащего)

Доказательство “от противного” применяется тогда, когда нет аргументов для прямого доказательства. В математике неред­ко теоремы доказываются методов “от противного” (противо­речащего).

Суть рассуждения “от противного” подробно будет показана в главе VI “Логические основы теории аргументации”, в разде­ле “Косвенное доказательство” (§ 2).

Итак, мы рассмотрели правила прямых и правила непрямых (косвенных) выводов и убедились, что как те, так и другие ши­роко применяются в мышлении. При этом было показано, как та или иная формула (форма) прямого или непрямого (косвенного) вывода наполняется конкретным содержанием, взятым из об­ластей педагогики, математики, физики, этики и других облас­тей науки и обыденного мышления, а также в процессе препода­вания в школьных курсах, в педучилище и педвузе.

Индуктивные умозаключения и их виды