Exercise-ch2
Jump to navigation
Jump to search
Additional Exercises for Chapter 2: Predicate Logic
The syntax of predicate logic
For the following exercises we use names and properties from the The Lord of the Rings novels.
Names: frodo, sam, gandalf, aragorn
1-place predicates: hobbit, wizard
2-place predicates: know, help
Formulae without variables
Formulae with variables
Back to
- the material for chapter 2
- the overview over all chapters