Exercise-ch2: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
Line 16: Line 16:
+ '''gandalf'''
+ '''gandalf'''
+ '''hobbit'''
+ '''hobbit'''
- '''sauron'''
|| The name '''sauron''' is not included in the non-logical vocabulary.
- '''frodo''' ∧ '''gandalf'''
- '''frodo''' ∧ '''gandalf'''
|| The connectors "∧" and "∨" can only be used to combine two formulae.
|| The connectors "∧" and "∨" can only be used to combine two formulae.

Revision as of 20:04, 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

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

gandalf
hobbit
sauron
frodo ∧ gandalf
∃x
know(gandalf)
help(aragorn,frodo)


  

Click on the expressions that are well-formed formulae.

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

Retrieved from "http:///wiki/index.php?title=Exercise-ch2&oldid=3647"