MODERNA LOGIKA

After students pass this exam they are expected to be able to: 1. Explain the idea of predicate logic, its syntax and its semantics. 2. Explain the idea of satisfiability and truth of the formula of predicate logic. 3. Describe the concepts of semantic consequences and syntactic consequences. 4. They use logical laws that characterize equality, existential and universal quantifiers, as well as to prove these laws in the natural-deductive and Hilbertian formulation of predicate logic. 5. Explain the reasons why predicate logic is not decidable. 6. Formulate the completeness theorem of predicate logic and understand its proof. 7. They reconstruct all forms of Aristotles syllogistic reasoning in predicate logic.