1 vzťah: Dôkaz sporom.
Dôkaz sporom
Dôkaz sporom alebo dôkaz per absurdum je dôkaz pomocou zákona reductio ad absurdum, teda dôkaz podľa vzorca: ak platí "z A vyplýva B", potom ak vieme, že "z A vyplýva opak B", tak platí opak A. Inými slovami je dôkaz sporom toto: ak "z A vyplýva B" a zároveň "z A vyplýva opak B", tak platí opak A. Alebo slovne: Ak z nejakého predpokladu A vyplýva výrok B a súčasne jeho negácia, potom musí platiť negácia A. Je to obmena/špeciálna forma nepriameho dôkazu.
Nový!!: Reductio ad absurdum (zákon) a Dôkaz sporom · Pozrieť viac »