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

Матеріал з Вікіпедії — вільної енциклопедії.

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

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

[ред.] Дивіться також

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

Ця стаття не містить посилань на джерела. Ви можете допомогти поліпшити цю статтю, додавши посилання на надійні джерела. Матеріал без джерел може бути підданний сумніву та вилучений.

Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її.