Reducerea la absurd: definiție

Metoda reducerii la absurd demonstrează o afirmație presupunând că ar fi falsă: din negația concluziei se deduce o contradicție, deci presupunerea era greșită, iar afirmația inițială este adevărată.

Exemplu: Ca să arăți că din a + b > 100 rezultă a > 50 sau b > 50, presupui a ≤ 50 și b ≤ 50; adunând, a + b ≤ 100 — contradicție.

Vezi și: Legile lui De Morgan, Inducția matematică