Verze z 3. 10. 2018, 17:07 editovat 217.30.71.183 (diskuse) přidání odkazu na stránku s heslem "reductio ad absurdum" značky: odkaz do cizojazyčné Wikipedie editace z Vizuálního editoru ← Přejít na předchozí porovnání		Verze z 3. 10. 2018, 17:08 editovat zrušit editaci 217.30.71.183 (diskuse) Bez shrnutí editace značka: editace z Vizuálního editoru Přejít na další porovnání →
Řádek 1: {{Různé významy\|tento=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í\|druhý=formálním sporu jako o pojmu [[matematická logika\|matematické logiky]]\|stránka=bezesporná teorie}} '''Důkaz sporem''' (''[[~~:en:Reductio_ad_absurdum\|~~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ř. ve [[vícehodnotová logika\|vícehodnotových logikách]] či v [[intuicionistická logika\|intuicionistické logice]]. == Použití ve formální logice ==

Důkaz sporem: Porovnání verzí