Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 3: | Line 3: | ||
== Formulae == | == Formulae == | ||
Klick on the expressions that are well-formed formulae. ∀ & | Klick on the expressions that are well-formed formulae. ∀ ∃ | ||
<quiz> | <quiz> | ||
+ ∀ ''x'' ('''hobbit''(''x'')) | |||
</quiz> | </quiz> |
Revision as of 17:53, 15 March 2013
Additional Exercises for Chapter 2: Predicate Logic
Formulae
Klick on the expressions that are well-formed formulae. ∀ ∃