## Propositional and Predicate Logic - seminar

*Winter semester 2015/16*
**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.