离散数学(第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）(