Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
| Line 15: | Line 15: | ||
+ '''gandalf''' | + '''gandalf''' | ||
+ '''hobbit''' | + '''hobbit''' | ||
- '''frodo''' ∧ '''gandalf''' | |||
|| 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'')) | ||
| Line 26: | Line 28: | ||
- '''frodo''' | - '''frodo''' | ||
+ '''hobbit'''('''aragorn''') | + '''hobbit'''('''aragorn''') | ||
+ ∀''x'' ('''hobbit'''(''x'') ⊃ x = '''gandalf''') | + ∀''x'' ('''hobbit'''(''x'') ⊃ x = '''gandalf''') | ||
+ ∃''y''('''hobbit'''(''x'') ∨ '''wizard'''(''gandalf'')) | + ∃''y''('''hobbit'''(''x'') ∨ '''wizard'''(''gandalf'')) | ||
Revision as of 19:46, 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