Nepřímý důkaz

Dokázáním implikace ${\displaystyle \neg T\rightarrow \neg P}$ je již skutečně dokázáno i ${\displaystyle P\rightarrow T}$. Pokud totiž ${\displaystyle P}$ platí, musí platit i ${\displaystyle T}$, jinak by totiž platilo ${\displaystyle \neg T}$ a podle dokázané implikace ${\displaystyle \neg P}$, tedy by neplatilo ${\displaystyle P}$.

Nepřímý důkaz je úzce spjatý s důkazem sporem. Každý nepřímý důkaz lze převést na důkaz sporem. Dokazujeme-li totiž implikaci ${\displaystyle P\rightarrow T}$ nepřímo, tj. dokazujeme-li ${\displaystyle \neg T\rightarrow \neg P}$, lze před celý důkaz tohoto tvrzení přidat větu „Předpokládejme pro spor, že platí ${\displaystyle P}$ neplatí ${\displaystyle T}$.“ a po dokázání ${\displaystyle \neg P}$ zakončit důkaz konstatováním „…, což je spor s předpokladem.“ Tím je nepřímý důkaz převeden na důkaz sporem.

Nepřímý důkaz tvrzení „Pro každá dvě celá čísla ${\displaystyle \,a}$, ${\displaystyle \,b}$, pokud ${\displaystyle a\cdot b=0}$, pak ${\displaystyle \,a=0}$ nebo ${\displaystyle \,b=0}$“ lze provést následovně:

• Nechť platí negace závěru, tj. ${\displaystyle \,a}$ i ${\displaystyle \,b}$ jsou nenulové.
• Pak ${\displaystyle \,|a|}$ i ${\displaystyle \,|b|}$ jsou ${\displaystyle >0}$.
• Tedy ${\displaystyle |a\cdot b|=|a|\cdot |b|>0}$.
• A proto ${\displaystyle a\cdot b\neq 0}$.

• Matematický důkaz
• Přímý důkaz
• Důkaz sporem
• Důkaz matematickou indukcí
• Nepřímý důkaz v kriminalistice a soudním dokazování