Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Zadarmo
Rýchlejšie ako prehliadači!
 

Reductio ad absurdum (zákon)

Index 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.

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 »

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »