Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
| Line 22: | Line 22: | ||
- '''frodo''' ∧ '''gandalf''' | - '''frodo''' ∧ '''gandalf''' | ||
|| The connectors "∧" and "∨" can only be used to combine two formulae. | || The connectors "∧" and "∨" can only be used to combine two formulae. | ||
- '''know'''('''gandalf''') | - '''know'''('''gandalf''') | ||
|| '''know''' is a 2-place predicate. Therefore it must combine with two arguments. | || '''know''' is a 2-place predicate. Therefore it must combine with two arguments. | ||
| Line 34: | Line 32: | ||
- '''frodo''' | - '''frodo''' | ||
+ '''hobbit'''('''aragorn''') | + '''hobbit'''('''aragorn''') | ||
+ | + '''hobbit'''('''frodo''') ∧ '''wizard'''('''gandalf''') | ||
- '''hobbit'''('''frodo''') ¬ '''wizard'''('''sam''') | |||
|| | || "¬" combines with '''one''' formula only, not with two. | ||
</quiz> | </quiz> | ||
Revision as of 21:12, 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