Exercise-ch2

From Lexical Resource Semantics
Revision as of 17:54, 15 March 2013 by Manfred (talk | contribs) (Formulae)
Jump to navigation Jump to search

Additional Exercises for Chapter 2: Predicate Logic

Formulae

∀ ∃

  

Klick on the expressions that are well-formed formulae.

x (hobbit(x))