- 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: <math>x \in \{A, B, C\}</math>. Create a truth table for a predicate that satisfies
- $\forall x\ .\ P(x)$
- $\exists x\ .\ P(x)$