离散数学(第四章)选编.pptVIP

第二章 谓词逻辑;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;原因：命题逻辑不能将命题之间的内在联系 和数量关系反映出来。 解决办法：将命题进行分解。;个体词和谓词 在谓词逻辑中，可将原子命题划分为个体词和谓词两部分。 个体词：可以独立存在的具体事物的或抽象的概念。例如，电子计算机、李明、玫瑰花、黑板、实数、中国、思想、唯物主义等，客体也可称之为主语。;谓词：用来刻划个体词的性质或个体词之间的相互关系的词。 例如在下面命题中： （1）张明是个劳动模范。 （2）李华是个劳动模范。 刻划个体词的性质 （3）王红是个大学生。 （4）小李比小赵高2cm。 （5）点a在b与c之间。 刻划个体词之间的相互关系 （6）阿杜与阿寺同岁。 “是个劳动模范”、“是个大学生”、“…比…高2cm”、 “… 在…与…之间”都是谓词。;刻划一个个体性质的词称之为一元谓词,刻划n个个体之间关系的词称之为n元谓词. 一般我们用大写英文字母表示谓词，用小写英文字母表示客体名称，例如，将上述谓词分别记作大写字母F、G、H、R，S则上述命题可表示为： (1) F(a) a：张明 (2) F(b) b：李华 (3) G(c) c：王红 (4) H(s,t) s：小李 t：小赵 (5) R(a,b,c) (6) S(a,b) a:阿杜 b:阿寺 其中(1)、(2)、 (3)为一元谓词， (4) 、 (6)为二元谓词， (5)为三元谓词。;注: (1)单独一个谓词并不是命题，在谓词字母后填上个体所得到的式子称之为谓词填式。 (2)在谓词填式中，若个体确定，则A(a1，a2...an)就变成了命题 (3)在多元谓词表达式中，个体字母出现的先后次序与事先约定有关,一般不可以随意交换位置(如,上例中H(s,t) 与H(t, s)代表两个不同的命题) 。; 设谓词H表示“是劳动模范”, a表示个体名称 张明, b表示个体名称李华,c表示个体名称这只老 虎，那么H(a) 、 H(b)、 H(c)表示三个不同的命 题,但它们有一个共同的形式,即H(x).一般地， H(x)表示客体x具有性质H。这里x表示抽象的或 泛指的客体，称为个体变元，常用小写英文字母x, y, z, …表示。相应地，表示具体或特定的客体的词称为个体常项，常用小写英文字母a,b,c, …表示。;同理，个体变元x，y具有关系L，记作L(x,y);个体变元x, y, z具有关系A，记作A(x,y,z).;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;例如: H(x,y)∧H(y ,z)?H(x,z) 若H(x,y)解释为: x大于y,当x,y,z都在实数中取值时,则这个式子表示“若x大于y 且y 大于z，则x大于z” 。这是一个永真式。 如果H(x,y)解释为: “x是y的儿子”, 当x,y,z都指人时，则这个式子表示“若x为y的儿子 且y 是z的儿子，则x是z的儿子” 。这是一个永假式。 如果H(x,y)解释为: “x距y10米”, 当x,y,z为平面上的点，则这个式子表示“若x距y10米且y距z10米，则x距z10米” 。这个命题的真值将由x,y,z的具体位置而定，它可能是1，也可能是0。;在命题函数中，个体变元的取值范围称为个体域，又称之为论域。个体域可以是有限事物的集合，也可以是无限事物的集合。 全总个体域：宇宙间一切事物组成的个体域称为全总个体域。;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;§2.1 一阶逻辑命题符号化;有时需要同时使用多个量词。 例6. 命题“对任意的x,存在y, 使得x+y=5”, 取个 体域为实数集合,则该命题符号化为: ?x ?y H(x,y). 其中H(x,y): x+y=5. 这是个真命题.;3. 使用量词时应注意的问题 （1）在不同的个体域，同一命题的符号化形式可能相同也可能不同。 （2）在不同的个体域，同一命题的真值可能相同也可能不同。(如,R（x）表示x为大学生。如果个体域为大学里的某个班级的学生，则 ?x R（x）为真；若个体域为中学里的某个班级的学生，则?x R（x）为假.).;（3）约定以后如不指定个体域，默认为全总个体域。对每个客体变元的变化范