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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

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

Див. також[ред.ред. код]