离散数学(虞慧群)1-2predicatelog.pptxVIP

1;2;1、谓词与量词;;命题 = 主语+谓语+宾语;谓词 表示命题的谓语部分的符号或符号串 常用表示：大写字母，A,B,C,… 带有下标的大写字母，A1,A2,A3,… 以大写字母为首的字符串，Human,… 谓词的元数: 谓词中包含个体的数目。 1元谓词描述个体的性质，2元或多元谓词描述两个或多个个体间的关系。 0元谓词中无个体，理解为就是命题;个体词 用于表示命题中主语部分的符号或符号串。 通常用小写字母，或带小标的小写字母表示。 个体常元 表示确指个体。 例：Human(s)中s指苏格拉底，是个体常元。 个体变元 表示不确指个体。 例：Human(x)中的x。 个体域(domain): 个体变元的取值范围，常用D表示。 ;量词：限定个体数量特性的词。;存在量词(Existential quantifer) ?，有些，there Exist; 例：将下列语句符号化： （1）不是所有的鸟都能飞。 ? (? x)(B(x) ? F(x)) （2）所有的人都能做那件事。 (? x)(M(x) ? D(x)) （3）有些人是笨的。 (? x)(M(x) ?