demonstrace

Logika, soustava důkazových prostředků a postupů, jímž se pomocí této soustavy dokazuje teze z předpokladů. Užívá se též ve formuli Quod erat demonstrandum – což bylo (třeba) dokázat.

Vytvořeno: 14. 3. 2000
Aktualizováno: 5. 12. 2000
Autor: -red-

Odkazující hesla: důkaz.