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

Link to this comparison view

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)$
cs-236/predicate-calculus.txt · Last modified: 2015/01/05 13:55 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0