• 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)$