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

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 27. 9. 2006
Autor: -red-

Odkazující hesla: důkaz.

Reklama: