Доведення від супротивного

Доведення від супротивного (зведення до абсурду, лат. Reductio ad absurdum) — один із поширених методів доведення тверджень в математичній логіці. Метод ґрунтується на вірності формули $((A\Rightarrow B) \land \neg B) \Rightarrow \neg A$ в численні висловлень та законі подвійного заперечення.

Припускаємо, що A є істиним твердженням, і доводимо, що, по-перше, з A виводиться B, а по-друге, що з A виводиться ¬B, що неможливо; отже, A невірно, тобто вірно ¬A.

Дивіться також

• Доведення теорем,
• Дедукція, індукція.