Revision as of 17:53, 15 March 2013

Additional Exercises for Chapter 2: Predicate Logic

Klick on the expressions that are well-formed formulae. ∀ ∃

@@ Line 3: / Line 3: @@
 == Formulae ==
-Klick on the expressions that are well-formed formulae. &forall; &exists;
+Klick on the expressions that are well-formed formulae. &forall; &exist;
 <quiz>
++ &forall; ''x'' ('''hobbit''(''x''))
 </quiz>

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