Dokaz (logika)
Izvor: Wikipedia
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).
