Nakon što studenti polože ovaj ispit, biće u mogućnosti da: 1. Objasni ideju formalnog jezika na primjeru iskazne logike i jasno razlikuje njegovu sintaksu od njegove semantike. 2. Opiše induktivnost definicija sintaksnih pojmova i primjenljuje matematičku indukciju u dokazivanju svojstava tih pojmova. 3. Objasni osnovna svojstva svih iskaznih logičkih veznika i logičke zakone koji ih karakterišu. 4. Objasni probleme potpunosti, kompletnosti i odlučivosti formalnog sistema. 5. Ispituje valjanost zaključka; 6. Logički oblikuje nastavne sadržaje.