CPSC 121 Lecture 10: Predicate Logic #1
38
CPSC 121 Full Course Notes
Verified Note
38 documents
Document Summary
Ud (descriptive style): the set of tas of phil220. Michael is taller than sue and sue is taller than henry. Michael is easy going if and only if it is not the case that rita is easygoing. *ud: the set of michael"s co-workers doesn"t include michael, not allowed! *ud: the set of people who work in michael"s office - includes michael, yes! Lxy: x likes y m: michael s: sue h: henry r: rita. *singular terms are lower case while predicates are upper case. Michael is taller than sue and sue is taller than. If rita likes henry, then rita is taller than henry. Michael is easy going if and only if it is not the case that rita is easy going. Everyone likes michael (each x is such that x likes michael) Michael likes everyone (each x is such that. Someone likes michael (there is some x such that x likes michael.
