Přímý důkaz
Z Wikipedie, otevřené encyklopedie
Přímý důkaz se v matematice používá k dokázání matematických vět tvaru implikace 
, tj. vět tvaru „Jestliže platí předpoklad P, pak platí také tvrzení T“. Spočívá v tom, že z platnosti výroku P se řadou platných implikací odvodí platnost výroku T, tj. postupuje se metodou „Jestliže…, pak…“ či „…, tedy …“.
Přímý důkaz tedy spočívá v nalezení řady výroků 
tak, aby platilo:
[editovat] Příklady
Přímý důkaz tvrzení 
můžeme provést následovně:
- Protože a > 1, je také a > 0.
- Protože a > 0, získáme přenásobením nerovnosti a > 1 nerovnost a2 > a.
- Protože a2 > a a a > 1, je také a2 > 1.
