Priamy dôkaz

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

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.

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

Externé odkazy[upraviť | upraviť zdroj]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.