离散数学(杨圣洪版)-第2章-复习总结解析.pptVIP

离散数学 第2章 复习总结 1. 基本概念 1、谓词 用W表示“要喝水”，用H表示“喜欢帅哥”。 这些表示谓语部分的大写字母，称为“谓词”。 2、个体常元 如a表示“刘翔”，c表示“姚明”， 表示具体个体的小写字母，称为“个体常元”或个体常量，用字母表中靠前的字母表示常量。 3、个体变元 “某某要喝水”表示为W(x)，x泛指所有的人，这些小字字母称为“个体变元”。 4、全称量词 符号“?”，表示“所有”，称为全称量词。 5、存在量词 符号“?”，表示“存在，有些、有部分”等的含义。 6、谓词公式 将单个谓词公式如W(x)，带量词的谓词如?zM(z)，统称为“谓词公式”。 例题 例5 表示“所有人都要变老的，杨圣洪是人，所以杨圣洪也会变老的”。 解：个体域为全总个体域，即对个体变元的取值不做任何限。 H(x)表示对象x是人类， O(x)表示对象x变老， c表示个体常元“杨圣洪”，则 H(c)表示个体常元杨圣洪是人类， O(c)表示个体常元杨圣洪要变老，原句表示 (?x(H(x)?O(x))?H(c))?O(c)。 1. 基本概念 7、项的定义：个体常元与变元及其函数式为项。 (1)个体常元和个体变元是项。 (2)若?(x