《离散数学》杨争锋ch01-2幻灯片资料.pptVIP

§1.3 Predicates (谓词) and Quantifiers (量词) Introduction (1) Consider the statement “x is greater than 3”. xsubject of the statement “is greater than”predicate (2) P(x) “x is greater than 3” P”greater than 3”(predicate) P(x) is also said to be the value of propositional function P at x. 2. Universal Quantifier Universe of Discourse (or domain)(全体个体域或者定义域） a set containing all the values of a variable (2) Definition 1 (page 34) The universal quantification of P(x) is the proposition “P(