Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
| Line 15: | Line 15: | ||
+ '''gandalf''' | + '''gandalf''' | ||
+ '''hobbit''' | + '''hobbit''' | ||
- ∃ ''x'' | |||
|| A quantifier, ∀ or ∃, can only be used with a variable and a formula. For example: ∃''x''('''hobbit'''(''x'')) | |||
- '''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. | ||
Revision as of 19:42, 15 March 2013
Additional Exercises for Chapter 2: Predicate Logic
Formulae
∀ ∃ ∧ ∨ ⊂ ⊃ ¬
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
2-place predicates: know, help