Důkazy 3 - Nepřímý důkaz

Nepřímý důkaz se používá také k dokázání výroků ve tveru implekace, ale narozdíl od přímého důkazu, se tato implikace dokazuje dokázáním tzv. obrácené implikace. Například kdybych chtěl dokázat větu typu: V pondělí vždycky prší, tak jí dokážu tím, že ukážu, že platí věta: Když neprší, tak to znamená, že není pondělí.