Priamy dôkaz

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 $P⟶T.$Priamy dôkaz spočíva v nájdení série výrokov $A_1,A_1,...,A_n$tak aby platilo$(P\to A_1)\wedge (A_1\to A_2)\wedge \cdots \wedge (A_{n-1}\to A_n)\wedge (A_n\to T).$

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

Externé odkazy

• Šablóna:Filit
• Priamy dôkaz na pohodovamatematika.sk