Nakon što studenti polože ovaj ispit, biće u mogućnosti da: 1. Objasne ideju formalnog jezika na primjeru iskazne logike i jasno razlikuju njegovu sintaksu od njegove semantike. 2. Definišu sintaksne pojmove i primjenljuju matematičku indukciju u dokazivanju svojstava tih pojmova. 3. Objasne osnovna svojstva veznika iskazne logike i logičke zakone koji ih karakterišu. 4. Objasne potpunost i odlučivost formalnog sistema. 5. Dokažu osnovni oblik teoreme potpunosti iskazne logike.