离散数学 第2版 教学课件 作者 尤枫 第02章 谓词逻辑.PPTVIP

第2章 谓词逻辑 2.1.1 谓词的概念和表示 2.1.2 命题函数和量词 2.2.1 谓词公式 2.2.1 谓词公式 2.2.2 谓词逻辑中命题的翻译 2.2.3 变元的约束 2.3.1 谓词公式的真值 2.3.2 谓词演算的永真式 2.3.3 永真式的变换规则 2.4 前束范式 2.5.1 推理规则 2.5.2 推理应用举例 第2章 谓 词 逻 辑 定义2-17 对谓词公式A(x)来说，在量词?y或?y 的辖域内，如果没有x的自由出现， 则称A(x)对于个体变元y是自由的。 由定义可知，若y在A(x)中不是约束出现的， 则A(x)对于y一定是自由的。 2.2.3 变元的约束 第2章 谓 词 逻 辑 量词对变元的约束，与量词出现的次序有关， 量词出现的次序一般不可随意更改。 例如，?x?y(x+y=0)表示“对于任意的x均存在y， 使得x+y=0”，这是一个真命题， 而 ?y?x(x+y=0)表示 “存在y，使对于任意的x均有x+y=0”， 这是一个假命题，它们具有不同的意义。 第2章 谓 词 逻 辑 一个谓词公式仅仅是由一些抽象符号组成的，只有在对其进行解释后才有真正的意义，对其赋值后才有真值。所谓解释就是抽象符号与个体域上的具体性质、关系、运算间的映射，常用I表示一种解释。解释包括定义个体域、说明谓词符号和运算符号的具体含义等。同样的谓词公式在不同的解释下，所具有的意义是不同的。当给定谓词公式的一种解释后，对公式中的个体变元用其个体域中确定的个体代入，命题变元用确定的命题代入，就称为对谓词公式的赋值。一个谓词公式一经赋值，就成为具有确定真值的命题。 2.3.1 谓词公式的真值 第2章 谓 词 逻 辑 【例2-9】给定解释如下， 讨论S(x),?xS(x),S(x)∧?x S(x)的真值。 (1) I1：个体域D1={3,4}，S(x)表示“x是素数”； (2) I2：个体域D2={3,4}，S(x)表示“x是偶数”； (3) I3：个体域D3={3,5}，S(x)表示“x是素数”； (4) I4：个体域D4={3,5}，S(x)表示“x是偶数”。 2.3.1 谓词公式的真值 第2章 谓 词 逻 辑 解 S(x),?xS(x),S(x)∧?x S(x)的真值为： 解释 x S(x)真值 ?xS(x)真值 S(x)∧?xS(x)真值 3 T T T I1 4 F T F 3 F T F I2 4 T T T 3 T T T I3 5 T T T 3 F F F I4 5 F F F 2.3.1 谓词公式的真值 第2章 谓 词 逻 辑 定义2-10 给定谓词公式A的解释I，x1,x2,…,xn是A中 出现的个体变元，如果x1,x2,…,xn赋值为 t1,t2,…,tn时A为真，则称A在t1,t2,…,tn处 真；当x1,x2,…,xn在解释I中的每个赋值A均 为真，则称A在解释I下为真。 【例2-10】 给定解释I：个体域D={3,4