Verze z 17. 2. 2007, 17:48 editovat Honza Záruba (diskuse \| příspěvky) Prověření uživatelé 17 898 editací m →‎Použití ve [[filosofie\|filosofii]]: POV příklad pryč ← Přejít na předchozí porovnání		Verze z 23. 3. 2007, 19:08 editovat zrušit editaci Glivi (diskuse \| příspěvky) 3 556 editací m šablona různé významy Přejít na další porovnání →
Řádek 1: ~~''Tento článek je~~{{Různé výzamy\|tento=o důkazu sporem jako o neformálním důkazu ve smyslu běžně používaném v [[matematika\|matematice]], [[logika\|logice]] i v běžném uvažování~~. O~~ \|druhý=formálním sporu jako o pojmu [[matematická logika\|matematické logiky]] ~~se můžete dozvědět [[~~\|stránka=spor (matematická logika)~~\|zde]].''~~}} '''Důkaz sporem''' (''reductio ad absurdum'') je typ [[logika\|logického]] [[důkaz]]u, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke [[logický spor\|sporu]]), což znamená, že předpoklad je nepravdivý, a tedy platí jeho [[negace]]. Jelikož důkaz sporem je založen na [[zákon o vyloučení třetího\|zákonu o vyloučení třetího]], lze jej použít pouze v těch logických systémech, ve kterých tento zákon platí. Důkaz sporem tedy nelze využít např. v [[vícehodnotová logika\|vícehodnotových logikách]] či v [[intuicionistická logika\|intuicionistické logice]].

Důkaz sporem: Porovnání verzí