Dôkaz nepriamy

dôkaz nepriamy

- apagogický dôkaz, dôkaz opaku - konečná postupnosť správnych krokov, z ktorých každý vyplýva z predchádzajúcich, pričom prvým krokom je negácia záveru tvrdenia a výsledkom posledného kroku je negácia predpokladu alebo iného platného tvrdenia.