##### Differences

This shows you the differences between two versions of the page.

 — cs-236:predicate-calculus [2015/01/05 20:55] (current)egm created 2015/01/05 20:55 egm created 2015/01/05 20:55 egm created Line 1: Line 1: + * 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\}​. ​ Create a truth table for a predicate that satisfies + ** $\forall x\ .\ P(x)$ + ** $\exists x\ .\ P(x)$