Exercise-ch2
Jump to navigation
Jump to search
Additional Exercises for Chapter 2: Predicate Logic
First order models
Follow the link.
The syntax of predicate logic
Follow the link to get to a set of exercises on the syntax of predicate logic.
The semantics of predicate logic
Follow the link
Go to exercises for truth tables.
Summarizing exercise sheet for Chapter 2
The exercise sheet was used in the class Introduction to Semantics, Goethe University Frankfurt, summer term 2013.
Back to
- the material for chapter 2
- the overview over all chapters