Dokaz (logika) – razlika između verzija

Uklonjeni sadržaj Dodani sadržaj
Addbot (razgovor | doprinos)
m Bot: Migrating 38 interwiki links, now provided by Wikidata on d:q186619 (translate me)
m Bot: popravljanje preusmjeravanja
Red 1:
'''Dokaz''' je [[rasuđivanje]] tokom kojeg se ustanovljava [[istinitost]] ili [[pogrešnost]] nekog [[tvrđenje|tvrđenja]] ([[Sud (logika)|suda]], [[iskaz]]a, [[teorema|teoremeteorem]]e). U dokazu teoreme se oslanjamo na [[aksiom]]e, ili na ranije dokazane teoreme pozivajući se pri tome na [[definicija|definicije]] pojmova. Zavisno od [[metodnaučna metoda|metoda]]a dokazi se dele na:
* analitičke ([[analiza]]);
* sintetičke ([[sinteza]]);
* induktivne ([[indukcija]], [[matematička indukcija]]);
* deduktivne(aksiomatske, [[dedukcija]]);
* dokaz od suprotnog, [[reductio ad absurdum|svođenje na protivrečnost]] ([[apsurd]], [[kontradikcija]]).
 
[[Kategorija:Logika]]