Důkaz sporem (reductio ad absurdum) je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke sporu), což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace. Jelikož důkaz sporem je založen na 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ých logikách či v intuicionistické logice.
| Property | Value |
|---|
| prop-cs:druhý
|
- formálním sporu jako o pojmu matematické logiky
|
| prop-cs:stránka
| |
| prop-cs:tento
|
- důkazu sporem jako o neformálním důkazu ve smyslu běžně používaném v matematice, logice i v běžném uvažování
|
| prop-cs:wikiPageUsesTemplate
| |
| dbpedia-owl:abstract
|
- Důkaz sporem (reductio ad absurdum) je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke sporu), což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace. Jelikož důkaz sporem je založen na 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ých logikách či v intuicionistické logice.
|
| dbpedia-owl:wikiPageID
| |
| dbpedia-owl:wikiPageLength
| |
| dbpedia-owl:wikiPageOutDegree
| |
| dbpedia-owl:wikiPageRevisionID
| |
| dbpedia-owl:wikiPageWikiLink
| |
| dbpedia-owl:wikiPageWikiLinkText
|
- Důkaz sporem
- spor
- důkaz sporem
- dokázat sporem
- sporem
- důkazu sporem
- logický spor
- pro spor
- sporné tvrzení
- důkazem sporem
- reductio ad absurdum
- sporné
- sporných
|
| dcterms:subject
| |
| rdfs:comment
|
- Důkaz sporem (reductio ad absurdum) je typ logického důkazu, ve kterém se prokáže, že předpoklad vede k nesmyslnému výsledku (ke sporu), což znamená, že předpoklad je nepravdivý, a tedy platí jeho negace. Jelikož důkaz sporem je založen na 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ých logikách či v intuicionistické logice.
|
| rdfs:label
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbpedia-owl:wikiPageDisambiguates
of | |
| is dbpedia-owl:wikiPageRedirects
of | |
| is dbpedia-owl:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
