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