FILIT
Obsah
Chronológia
Registre
Vyhľadávanie
Diskusia
Správa

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.