Exercise-ch2

Additional Exercises for Chapter 2: Predicate Logic

Formulae

∀ ∃ ∨ ∧

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

Klick on the expressions that are well-formed formulae.

∀ x (hobbit(x))