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

— |
cs-236:predicate-calculus [2015/01/05 13:55] (current) 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\}</math>. Create a truth table for a predicate that satisfies | ||

+ | ** $\forall x\ .\ P(x)$ | ||

+ | ** $\exists x\ .\ P(x)$ |