Exercise-ch2

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

Points added for a correct answer:
Point for an incorrect answer:
Ignore the questions' coefficients:

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

	gandalf
	hobbit
	know(gandalf)

Points added for a correct answer:
Points for an incorrect answer:
Ignore the questions' coefficients:

Click on the expressions that are well-formed formulae.

	hobbit
	frodo
	hobbit(aragorn)
	frodo ∧ gandalf
	∀x (hobbit(x) ⊃ x = gandalf)