Priamy dôkaz je konečná postupnosť správnych krokov, z ktorých každý vyplýva z prechádzajúcich, pričom prvý krok dôkazu je overenie platnosti predpokladu a výsledkom posledného kroku je záver dokazovaného tvrdenia. V matematike sa používa pri dokazovaní teorém v tvare implikácie ${\displaystyle P\longrightarrow T.}$Priamy dôkaz spočíva v nájdení série výrokov ${\displaystyle A_{1},A_{1},...,A_{n}}$tak aby platilo${\displaystyle (P\rightarrow A_{1})\land (A_{1}\rightarrow A_{2})\land \cdots \land (A_{n-1}\rightarrow A_{n})\land (A_{n}\rightarrow T).}$

Inými slovami: ak platí A ≥ B, tak platí B

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
• Priamy dôkaz na pohodovamatematika.sk

Tento článok je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš.