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