nepřímý důkaz

Latinsky reductio ad absurdum – logika, typ úsudku, při kterém se vychází z předpokladu, že dané tvrzení T je nepravdivé, a dedukcí se z non T odvodí důsledky. Jsou-li nepravdivé, lze usoudit, že T je pravdivé.

Vytvořeno: 14. 3. 2000
Aktualizováno: 27. 9. 2006
Autor: -red-

Odkazující hesla: důkaz.