# Propositional and Predicate Logic

This year, my logic tutorials take place on Mondays at 10:40 in the room S11.

### Credit requirements

You need to get 140 points during the semester to get the credit. There are four ways how to get the credit:

- homework assignments - there will be two assignments for 5 points each
- SAT solver project - there will be project on using a SAT solver to solve a problem, you can get up to 35 points for the project
- tests - we will write two tests, you can get up to 100 points for each of them, at the same time, you need at least 40 points from each to pass
- activity - you can get up to 5 points for activity in the classes - if you are active in two different lessons, you will get a point

What does it mean to **be active**? The main goal is to motivate you to ask questions and answer my questions. Activity is thus defined quite broadly, e.g. solving and exercise, answering a question (regardless of the correctness of the answer, if you at least try to answer correctly, i.e. you are not just trolling), or even asking a question related to the discussed matter.

### Additional Resources

- Petr Gregor’s webpage on logic
- Jakub Bulín’s lecture notes (work in progress)
- My lecture notes

### Exercises from the seminar

We will mostly use the exercises from Petr Gregor’s seminar.

Date | Topic |
---|---|

September 30, 2024 | Introduction, syntax vs. semantics, propositional formulas vs first-order and higher-order formulas (PG seminar 1 exercise 2a) |

October 7, 2024 | Semantics of propositional logic, universal sets of connectives (PG seminar 2 exercises 1, 7, partially 6) |