Priamy dôkaz: Rozdiel medzi revíziami

'''Priamy dôkaz''' je konečná postupnosť správnych krokov, z ktorých každý vyplýva z prechdzajúcich, pričom prvý krok dôkazu je overenie platnosti predpokladu a výsledkom posledného kroku je záver dokazovaného tvrdenia. V [[Matematika|matematike]] sa používa pri [[Dokazovanie (logika)|dokazovaní]] [[Teoréma|teorém]] v tvare [[Implikácia|implikácie]] <math>P \longrightarrow T.</math>Priamy dôkaz spočíva v nájdení série výrokov <math>A_1,A_1,...,A_n </math>tak aby platilo<math>(P \rightarrow A_1) \land (A_1 \rightarrow A_2) \land \cdots \land (A_{n-1} \rightarrow A_n) \land (A_n \rightarrow T).</math>