Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
| Line 11: | Line 11: | ||
2-place predicates: '''know''', '''help''' | 2-place predicates: '''know''', '''help''' | ||
<quiz points=" | <quiz points="1/1"> | ||
{Click on the items that are well-formed expressions of the semantic representation language.} | {Click on the items that are well-formed expressions of the semantic representation language.} | ||
+ '''gandalf''' | + '''gandalf''' | ||
| Line 17: | Line 17: | ||
- '''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. | ||
{Click on the expressions that are well-formed formulae.} | {Click on the expressions that are well-formed formulae.} | ||
- '''hobbit''' | - '''hobbit''' | ||
Revision as of 19:40, 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