Dôkaz priamy

dôkaz priamy

- 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.