Obsah
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.
Pozrieť Reductio ad absurdum a Dôkaz sporom
Nepriamy dôkaz (logika)
Nepriamy dôkaz je v logike dôkaz pomocou schémy usudzovania modus tollens, teda dôkaz podľa vzorca: ak platí "z A vyplýva B" a súčasne vieme, že platí opak B, tak platí opak A. Príklad: Ak platí "ak mám peniaze, tak si kúpim auto" a auto si nekúpim, tak nemám peniaze.
Pozrieť Reductio ad absurdum a Nepriamy dôkaz (logika)
Reductio ad absurdum (zákon)
Reductio ad absurdum je v logike zákon tohto znenia: (A ⇒ B) ⇒ ((A ⇒ non-B) ⇒ non-A) Vyjadrené slovami: Ak platí "z A vyplýva B", potom ak vieme, že "z A vyplýva opak B", tak platí opak A. Používa sa napríklad v dôkaze sporom.