MODERNA LOGIKA

Nakon što studenti polože ovaj ispit od njih se očekuje da budu u mogućnosti da: 1. Objasne ideju predikatske logike, njene sintakse i njene semantike. 2. Objasne ideju zadovoljivosti i istinitosti formule predikatske logike. 3. Opišu pojmove semantičke posljedice i sintaksne posledice. 4. Koriste logičke zakone koji karakterišu jednakost, egzistencijalni i univerzalni kvantifikator, kao i da te zakone dokažu u prirodno-dedukcijskoj i hilbertovskoj formulaciji predikatske logike. 5. Objasne razloge zbog kojih predikatska logika nije odlučiva. 6. Formulišu teoremu potpunosti predikatske logike i razumiju njen dokaz. 7. Rekonstruišu u predikatskoj logici sve oblike Aristotelovog silogističkog zaključivanja.