离散数学(9讲)课件.pptVIP

计算机学院 计算机科学与工程学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 1、谓词公式的蕴涵 2、谓词逻辑的推理方法 3、消解(归结)法 * 计算机学院 * §2.4 谓词公式的蕴涵 一、谓词公式的蕴涵 定义2.16 设A和B是以D为论域的两个谓词公式,如果在任一解释下,当公式A取值真(1)时,公式B也取值真(1),则称A蕴涵B,记作A?B。 定理2.8 A?B iif A?B是永真式。 * 计算机学院 * 定理2.10 √I14: （?x）P(x)∨（?x）Q(x)?（?x）(P(x)∨Q(x)) √I15: （?x）(P(x)∧Q(x))?（?x）P(x)∧（?x）Q(x) I16: (?x)(P(x)→Q(x))?(?x)P(x)→(?x)Q(x) √I17: （?x）P(x)→（?x）Q(x)?（?x）(P(x)→Q(x)) I18: (?x)(P(x)?Q(x))?(?x)P(x)?(?x)Q(x) 二、谓词演算中的蕴涵式(蕴涵定律) * 计算机学院 * I17 的证明1 （?x）P(x)?（?x）Q(x) ?～（?x）P(x)∨（?x）Q(x) ?（?x）～P(x)∨（?x）Q(x) ? （?x）(～P(x)∨Q(x)) ? （?x）( P(x)?Q(x)) * 计算机学院 * 设（?x）P(x)?（?x）Q(x)在某个解释下面取值为1，分二种情况： 1） （?x）P(x)=1必有（?x）Q(x)=1，即对?x∈D， Q(x)=1。所以对?x∈D， 无论P(x)=1（=0），都有P(x)?Q(x)的值为1， 即（?x）( P(x)?Q(x))在此解释下面取值为1； 2） （?x）P(x)=0，即对?x∈D， P(x)=0。 所以对?x∈D， 无论Q(x)=1（=0），都有P(x)?Q(x)的值为1，即（?x）( P(x)?Q(x))在此解释下面取值为1； I17 的证明2（按定义证明） * 计算机学院 * 例4.1 1）设G(x)：x是高才生； H(x)：x是运动健将。 其中：个体域是某班的学生 则(?x)G(x)∨(?x)H(x)表示：“该班的所有学生是高才生或该班的所有学生是运动健将”； (?x)(G(x)∨H(x))表示：“该班的所有学生是高才生或是运动健将”。 显然，前者可推出后者，但反之则不然。即有 I14:(?x)G(x)∨(?x)H(x)?(?x)(G(x)∨H(x))。 * 计算机学院 * 2) 设G(x)：x是高才生； H(x)：x是运动健将。 其中：个体域是某班的学生。 则(?x)(G(x)∧H(x))表示：“该班的一些学生既是高才生又是运动健将”； (?x)G(x)∧(?x)H(x)表示：“该班的一些学生是高才生且该班的一些学生是运动健将”。 显然，前者可推出后者，但反之则不然。即有 I15:(?x)(G(x)∧H(x))?(?x)G(x)∧(?x)H(x) * 计算机学院 * 三、两个量词的蕴涵式 定理2.11 I19 :?x?yP(x,y)??y?xP(x,y) I20 :?y?xP(x,y)??x?yP(x,y) √I21 :?y?xP(x,y)??x?yP(x,y) I22 :?x?yP(x,y)??y?xP(x,y) I23 :?x?yP(x,y)??y?xP(x,y) I24 :?y?xP(x,y)??x?yP(x,y) I25 :?x?yP(x,y)??x?yP(x,y) I26 :?y?xP(x,y)??y?xP(x,y) * 计算机学院 * E41 E40 (?x)(?y) (?y)(?x) I16 I17 (?y)(?x) (?x)(?y) I23 I18 I19 (?x)(?y) (?y)(?x) I22 I20 I21 (?y)(?x) (?x)(?y) 上述结论的量词关系可用如下图表示： * 计算机学院 * 2.5 谓词逻辑的推理方法 同在命题逻辑中一样，谓词逻辑主要的推理规则有： ① P规则（称为前提引用规则） ② Ｔ规则（逻辑结果引用规则） ③ ＣＰ规则（附加前提规则） * 计算机学院 * 推理规则（定理2.9） 量词的四条重要的推理规则： US(全称指定规则)： (?x)G(x)?G(y) ① (Universal Specify) (?x)G(x)?G(c) ② ES(存在指定规则)： (?x)G(x)?G(c) ③ (Existential Specify) UG(全称推广规则)： G(y)?(?x)G(x) ④ (Un