Dokaz (logika)
From Wikipedia, the free encyclopedia
Remove ads
Dokaz je rasuđivanje tokom kojeg se ustanovljava istinitost ili pogrešnost nekog tvrđenja (suda, iskaza, teoreme). U dokazu teoreme se oslanjamo na aksiome, ili na ranije dokazane teoreme pozivajući se pri tome na definicije pojmova. Zavisno od metoda dokazi se dele na:
- analitičke (analiza);
- sintetičke (sinteza);
- induktivne (indukcija, matematička indukcija);
- deduktivne(aksiomatske, dedukcija);
- dokaz od suprotnog, svođenje na protivrečnost (apsurd, kontradikcija).
Remove ads
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads