Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
Names: '''frodo''', '''sam''', '''gandalf''', '''aragorn'''<br /> | Names: '''frodo''', '''sam''', '''gandalf''', '''aragorn'''<br /> | ||
1-place predicates: '''hobbit'''<br /> | |||
2-place predicates: '''know''', '''help''' | |||
<quiz points="1/ | <quiz points="2/1"> | ||
{ | {Click on the items that are well-formed expressions of the semantic representation language.} | ||
+ '''gandalf''' | |||
+ '''hobbit''' | |||
- '''know'''('''gandalf''') | |||
|| '''know''' is a 2-place predicate. Therefore it must combine with two arguments. | |||
</quiz> | |||
<quiz points="2/3"> | |||
{Click on the expressions that are well-formed formulae.} | |||
- '''hobbit''' | - '''hobbit''' | ||
- '''hobbit'''('' | - '''frodo''' | ||
+ '''hobbit'''('''aragorn''') | |||
- '''frodo''' ∧ '''gandalf''' | |||
+ ∀''x'' ('''hobbit'''(''x'') ⊃ x = '''gandalf''') | + ∀''x'' ('''hobbit'''(''x'') ⊃ x = '''gandalf''') | ||
</quiz> | </quiz> | ||
Revision as of 19:36, 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