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
Predicates: hobbit

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