第章谓词逻辑.pptVIP

2.2.2约束变元与自由变元 【例2.11】对(?x)(?y)(P(x,y)∧Q(y,z))?(?x) R(x,y)中的约束变元y换名。解：用u置换约束变元y。换名后为：(?x)(?u)(P(x,u)∧Q(u,z))?(?x) R(x,y)不能换成： (?x)(?u)(P(x,u)∧Q(y,z))?(?x) R(x, y)也不能换成：(?x)(?z)(P(x, z)∧Q(z,z))?(?x) R(x,y) 【例2.12】对(?x)(P(y)∧R(x,y))→(?y)Q(y) 中的自由变元y进行代入。解：用z代换y，代入后为：(?x)(P(z)∧R(x,z))→(?y)Q(y)不能换成： (?x)(P(x)∧R(x,x))→(?y)Q(y)或(?x)(P(z)∧R(x,y))→(?y)Q(y) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.2.2 约束变元与自由变元 自然数有以下三条公理：1、每个数都有唯一的一个数是它的后继数。2、没有一个数使数1是它的后继数。3、每个不等于1的数都有唯一的一个数是它的直接先驱数。 解：设N(x)：x是自然数。 S(x,y)：y是x的后继(x是y的先驱)。1、 (?x)(N(x)→(?y)(N(y)∧S(x，y)∧?(?z)((z≠y)∧N(z)∧S(x,z)))) 2、 ?(?x)(N(x)∧S(x,1)) 3、 (?x)(N(x)∧? S(x,2) →(?y)(N(y)∧S(y，x)∧(?z)((z≠y)∧N(z)∧S(z,x)))) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.2.3谓词演算的等价式与蕴含式 定义2.3.1 设A是谓词公式，如果对A的任何赋值，A都为真，则称A是有效的或永真的。 定义2.3.2 设A是谓词公式，如果对A的任何赋值，A都为假，则称A是不可满足的或永假的。 定义2.3.3 设A是谓词公式，如果至少有一组赋值使A为真，则称A是可满足的。 定义2.3.4 设A、B是任意两个谓词公式，对A、B的任何赋值，若其真值相同，则称A与B是等价的，记作A?B；若A→B是有效的，则称A蕴含B，记作A?B。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.3谓词演算的等价式与蕴含式 1．命题逻辑中的等价式的推广⑴命题演算中的所有等价式都是谓词演算中的等价式。⑵命题逻辑中的等价式的推广在命题逻辑中，重言式的同一分量出现的每一处都用同一合式公式置换，其结果仍是重言式(定理1.4.2)。在谓词逻辑中可以推广为：在永真的谓词公式中，命题变元出现的每一处都用同一谓词公式置换，其结果仍是永真式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.3谓词演算的等价式与蕴含式 2．消去量词等价式设个体域为有限集?a1，a2，…，an?，A(x)是含自由变元x的任意谓词公式，有下列等价式成立：(?x)A(x)?A(a1)∧A(a2)∧…∧A(an)(?x)A(x)?A(a1)∨A(a2)∨…∨A(an) 例： (?x)(F(x)∧G(x)) 个体域D＝{2,3}F(2)∧G(2)∧F(3)∧G(3) 例：(?x)(F(x) →G(x)) 个体域D＝{2,3} Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 2.3谓词演算的等价式与蕴含式 3．量词否定等价式设A(x)是含自由变元x的任意谓词公式。则(?x)A(x)?(?x)?A(x)(?x)A(x)?(?x)?A(x)约定，量词之前的否定联结词，不是否定该量词，而是否定该量词及其辖域。 Evaluation only. Created with Aspose.Slides for