Priamy dôkaz
z Wikipédie, slobodnej encyklopédie
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ť]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
 |
Tento článok je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |
