Exercise-ch2: Difference between revisions
Jump to navigation
Jump to search
Line 3: | Line 3: | ||
== Formulae == | == Formulae == | ||
∀ ∃ & | ∀ ∃ ∧ ∨ | ||
<quiz> | <quiz> |
Revision as of 17:57, 15 March 2013
Additional Exercises for Chapter 2: Predicate Logic
Formulae
∀ ∃ ∧ ∨