Exercise-ch2: Difference between revisions

From Lexical Resource Semantics
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

1 Click on the items that are well-formed expressions of the semantic representation language.

gandalf
hobbit
sauron
frodogandalf
x
know(gandalf)
help(aragorn,frodo)

2 Click on the expressions that are well-formed formulae.

hobbit
frodo
hobbit(aragorn)
x (hobbit(x) ⊃ x = gandalf)
y(hobbit(x) ∨ wizard(gandalf))