• Analizirati logičke oblike misli i logičke operatore (pojam, sud, zaključak) 
• Izraditi kategoričke, hipotetičke i disjunktivne silogizme
• Analizirati i prevoditi složene iskaze standardnog jezika na jezik iskazne logike 
• Izgraditi istinitosne tablice složenih logičkih oblika (sud, par sudova, zaključak) 
• Provjeriti istinitosnu vrijednost logičkih oblika pomoću metoda istinitosnih tablica i reduction ad absurdum 
   

111098 2020 hr 4 1 Stručni prijediplomski studij Informatika Obavezni predmet

• Ciljevi kolegija su unaprjeđivanje stručnih znanja iz područja formalne logike i jačanje tehničkih kompetencija u području logičkog, analitičkog i kritičkog mišljenja.

2 1 0 0

dr. sc. socio. Sabrina Šuman profesor stručnog studija

5