• Based on your reading from Section 1.4, state in your own words the difference between a universal quantifier and an existential quantifier.
• Consider a domain of discourse with three elements: $x \in \{A, B, C\}$. Create a truth table for a predicate that satisfies
• $\forall x\ .\ P(x)$
• $\exists x\ .\ P(x)$
cs-236/predicate-calculus.txt · Last modified: 2015/01/05 13:55 by egm