四川大学离散数学第一章.pdfVIP

主要内容 ? 1.1 命题与逻辑联结词 ? 1.2 命题公式与其赋值 ? 1.3 命题公式的等价 ? 1.4 联结词的完备集 ? 1.5 命题公式的范式表示 ? 1.6 命题公式的蕴涵 ? 1.7 命题逻辑的推理方法 1.6 命题公式的蕴涵 1.定义： ? 设A和B是两个合适公式，如果在任何解释下A取值1 时B也取值1，则称为公式A(永真)蕴涵公式B，记为 A?B。 例：证明 (P→Q) ∧(Q→R) ? (P→R) （方法：列出真值表，根据定义确定） 1.6 命题公式的蕴涵 ? 定理11：设A和B是两个命题公式，则A?B当且仅当 A→B是永真式。 证明： 已知A?B，根据定义，任何使公式A取值1的解释，B取值 1，则在此解释下有A→B为1；在任何解释下公式A取值为0，则 条件命题A→B为1。所以A→B为永真式。 反之，如果A→B是永真式，则任何使公式A取值1的解释也必 定使B取值1，根据蕴涵关系的定义应有A ? B。 ? 蕴涵关系?和条件联结词→是完全不同的符号： ? →是命题联结词，A→B是一个条件命题公式； ? ? 是公式间关系符，A?B不是一个命题公式，仅表示A，B间的蕴涵关系。 1.6 命题公式的蕴涵 例20：用等值演算法证明下面蕴含式P∧Q ? (P→Q)成立。 证明：【分析：由定理，要证明P∧Q ?(P→Q)，即证明 P∧Q→(P→Q)?T。】 P∧Q→(P→Q) ? ?(P∧Q) ∨(?P∨Q) ? ?P∨?Q∨?P∨Q ? ?P∨T ? T 由定理知 P∧Q ?(P→Q) 成立。 1.6 命题公式的蕴涵 2. 基本蕴涵式（蕴涵定律） 1.6 命题公式的蕴涵 I1：P∧Q?P ， P∧Q?Q 简化法则 I2: ～(P→Q)?P ，～(P→Q)?～Q 解释：利用P→Q的真值表， P→Q不成立只有一种情况，前件 即P成立；同样，P→Q不成立只有一种情况，后件即Q不成 立。 I3：P?P∨Q ， Q?P∨Q 扩充法则 I4：～P?P→Q ， Q?P→Q 解释：类似I1，I2，自己思考。 1.6 命题公式的蕴涵 I5：P∧(P→Q)? Q 假言推论 I6：～Q∧(P→Q)? ～P 拒取式（否定式假言推论） 解释：类似I1，I2，自己思考。 I7：～P∧(P∨Q)? Q 析取三段论 I8：P∧(～P∨Q)? Q I9：(P→Q)∧(Q→R)?P→R 假言三段论 解释：假如我是川大的学生，则我拥有川大的学籍；假如我拥 有川大的学籍，则我有川大的学生证。所以，假如我是川 大的学生，则我有川大的学生证。 1.6 命题公式的蕴涵 I10：(P∨Q)∧(P→R)∧(Q→R)?R 二难推论 解释：和假言推论联系起来思考 I11：(P→Q)∧(R→S)?(P∧R)→(Q∧S) 解释：假如我是川大的学生，则我拥有川大的学籍；同时，假 如小华是川大的学生，则小华拥有川大的学籍。所以，假如我 和小华都是川大的学生，则我和小华都拥有川大的学籍。 1.6 命题公式的蕴涵 I11：(P?Q)∧(Q?R)? P?R 等价三段论 I12：(P∨Q)∧(～P∨R)? Q∨R 归结原理 [解释：等价转化(～P→Q)∧(P→R)? Q∨R] 1.6 命题公式的蕴涵 3. 蕴涵式的性质 ① 自反性 A ? A ② 反对称性: 如果A ? B，B ? A， iff A ? B ③A ? B 且A为永真式，则B必为永真式 1.6 命题公式的蕴涵 ④ 传递性，如果A?B，B?C，则A?C 【证明】 由已知条件A ? B，且 B ? C， 根据定理11 (A→B）∧（B→C） 是永真式； 再由假言三段论，应有 （A→B）∧（B→C）? A→C ； 再根据性质3