Dokaz (logika)

From 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).