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: