Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
|||
Line 55: | Line 55: | ||
</quiz> | </quiz> | ||
<hr /> | |||
Back to | |||
* the material for [[extbook-chapters#Chapter_2:_Predicate_logic|chapter 2]] | |||
* the overview over [[Textbook-chapters|all chapters]] |
Revision as of 22:25, 15 March 2013
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