Logika i matematika su egzaktne nauke specifične po tome što se u njima sve opšte tvrdnje u principu mogu deduktivno dokazati iz skupa početnih stavova, koji se nazivaju aksiome, i usvojenih logičkih pravila. Zbog ove osobine logike i matematike, one se mogu urediti kao aksiomatski sistemi. Aksiomatski sistem je sistem naučnih tvrdnji i dokaza za […]

U indirektnom deduktivnom dokazu tezu, odnosno, teoremu, dokazujemo tako što dokazujemo da negacija teze nije istinita. Ovaj isti postupak primenjivali smo kada smo metodom svođenja na protivrečnost dokazivali da je neka formula tautologija. Sada taj postupak možemo primeniti na bilo koju tezu. Da je negacija teze netačna dokazujemo tako što pokažemo da iz nje logički […]

Već smo u početnoj lekciji ovog odeljka rekli da, osim deduktivnog dokaza, postoji i induktivno dokazivanje i induktivni dokaz. Rekli smo i da je samo prvi, deduktivni dokaz, dokaz u striktno logičkom smislu, odnosno, samo u deduktivnom dokazu važi da ako su argumenti istiniti, teza ili teorema mora biti istinita, što znači da je striktno […]