Broj bodova: 12.00

Sadržaj kursa: osnove klasične iskazne i predikatske logike, osnovni pojmovi o sintaksi i semantici, osnovni pojmovi o prirodnoj dedukciji

Cilj izučavanja kursa: Student treba da nauči šta je to formalni jezik predikatske logike, da odlučuje koje su formule tautologije i da dokazuje u formalnom sistemu klasične predikatske logike.

Preduslovi za polaganje: upis na fakultet; preduslov za polaganje ispita je položen ispit iz predmeta Filozofija i kritičko mišljenje

Oblici nastave: Predavanja i vežbe. Vežbe se ne sastoje u tome da asistent radi zadatke na tabli, a studenti prepisuju, nego studenti dobiju zadatke i rade ih sami.