Број бодова: 12.00

Садржај курса: основе класичне исказне и предикатске логике, основни појмови о синтакси и семантици, основни појмови о природној дедукцији

Циљ изучавања курса: Студент треба да научи шта је то формални језик предикатске логике, да одлучује које су формуле таутологије и да доказује у формалном систему класичне предикатске логике.

App.preduslovi_za_polaganje: упис на факултет; предуслов за полагање испита је положен испит из предмета Филозофија и критичко мишљење

Облици наставе: Предавања и вежбе. Вежбе се не састоје у томе да асистент ради задатке на табли, а студенти преписују, него студенти добију задатке и раде их сами.