Propositional and Predicate Logic - seminar

Schedule: Tuesday 15:40-17:10, room S10.
Lecturer: Petr Gregor (gregor(at)ktiml.mff.cuni.cz)
Information on the lecture: 2/2 Zk/Z NAIL062 in SIS, on the page of the lecture.

Exercises

• Seminar 1 - 06. 10. 2015: Statements expressed in formulae of various orders. HW: 7, 8.
• Seminar 2 - 13. 10. 2015: Adequacy, DNF and CNF, semantics of propositional logic. HW: 7, 8 a).
• Seminar 3 - 20. 10. 2015: 2-SAT and Horn-SAT, semantics in a theory, theories over finite languages. HW: 7.
• Seminar 4 - 27. 10. 2015: Tableau method in propositional logic. HW: 2 b,c).
• Seminar 5 - 03. 11. 2015: Tableau method. Resolution method in propositional logic. HW: 11.
• Seminar 6 - 10. 11. 2015: Test 1. Resolution. Hilbert's calculus. HW: 3, choose one of a), b), c).
• Seminar 7 - 24. 11. 2015: Syntax and semantics of predicate logic. HW: 7c), 8.
• Seminar 8 - 01. 12. 2015: Semantics, substructures, theories, extensions. HW: 12 (2 pts).
• Seminar 9 - 08. 12. 2015: Tableau method in predicate logic. HW: 5.
• Seminar 10 - 15. 12. 2015: Tableau method, compactness, prenex form. HW: 8.
• Seminar 11 - 22. 12. 2015: Skolemization, extensions by definition, resolution. HW: 9, 10.
• Seminar 12 - 05. 01. 2016: Test 2. Resolution in predicate logic. HW: 5.
• Seminar 13 - 12. 01. 2016: Complete extensions, categoricity. Exam test (example).

Announcement
On Jan 5th, we will have a second test, this time on predicate logic.

Credits
There will be two tests throughout the semester. For the credit from the seminar you need to obtain at least 2/3 points for the tests. Additional points can be obtained for activity during the seminars or homeworks.