Transcription of Predicate Logic - Stanford University
{{id}} {{{paragraph}}}
Example: dental hygienist
Predicate Logic - Stanford University
CHAPTER14FF FFPredicateLogicWe now turn our attention to a generalization of propositional Logic , called predi-cate, or first-order, Logic . predicates are functions ofzero or more variables thatreturn Boolean values. Thus predicates can be true sometimes and false sometimes,depending on the values of their arguments. For example, we shall find in predicatelogic atomic operands such ascsg(C, S, G). Here,csgis the Predicate name, andC,S, andGare arguments. We can think of this expression as a representationin Logic of the database relation Course-Student-Grade of Fig. It returns thevalueTRUE whenever the values ofC,S, andGare such that studentSgot gradeGin courseC, and it predicates as atomic operands, instead of propositional variables, givesus a more powerful language than expressions involving onlypropositions.
We could go on like this, inventing propositions to talk about every individual X we know of and stating the hypotheses that relate the proposition r to the new propositions uX and wX, namely, r → uX, uX → w¯X, and ¯r → w¯X
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: