Exercise-ch2: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
Line 2: Line 2:


== The syntax of predicate logic ==
== The syntax of predicate logic ==
Follow the [[Exercise_Syntax_of_Predicate_Logic|link]] to get to a set of exercises on the syntax of predicate logic.


<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->
<!-- &forall; &exist; &and; &or; &sub; &sup; &not; -->

Revision as of 09:48, 5 April 2013

Additional Exercises for Chapter 2: Predicate Logic

The syntax of predicate logic

Follow the link to get to a set of exercises on 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

Formulae without variables

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

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

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

hobbit
frodo
hobbit(aragorn)
hobbit(frodo) ∧ wizard(gandalf)
hobbit(frodo) ¬ wizard(sam)


Formulae with variables

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

y
xfrodo
x

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

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



Back to