Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
| Line 21: | Line 21: | ||
|| The connectors "∧" and "∨" can only be used to combine two formulae. | || The connectors "∧" and "∨" can only be used to combine two formulae. | ||
- ∃''x'' | - ∃''x'' | ||
|| A quantifier, ∀ or ∃, can only be used with a variable and a formula. For example: ∃''x''('''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 20:51, 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