{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Lecture10Predicates - Lecture 10 CS 2603 Applied Logic for...

Info icon This preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 1 Lecture 10 — CS 2603 Applied Logic for Hardware and Software Predicate Calculus Propositions Plus Plus
Image of page 1

Info icon This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document Right Arrow Icon
CS2603 Applied Logic for Hardware and Software Rex Page – University of Oklahoma 2 What is a Predicate? Predicate Parameterized collection of propositions P(x) 9 Typically a different proposition for each x 9 Universe of discourse Values that x may take Universe of discourse Must be specified 9 Otherwise, all bets off — muchas contradicciónes Non-empty 9 Empty universe calls for special handling 9 Default assumption: non-empty universe
Image of page 2