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 /> | 1-place predicates: '''hobbit''', '''wizard'''<br /> | ||
2-place predicates: '''know''', '''help''' | 2-place predicates: '''know''', '''help''' | ||
| Line 21: | Line 21: | ||
- '''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. | ||
+ '''help'''('''aragorn''','''frodo''') | |||
Revision as of 19:48, 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, wizard
2-place predicates: know, help