• 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 20: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