离散第2章.pptVIP

第二章 命题逻辑等值演算 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式 等值式 §2.1 等值式 两公式什么时候代表了同一个命题呢？ 抽象地看，它们的真假取值完全相同时即代表了相同的命题。 设公式A,B共同含有n个命题变项，可能对A或B有哑元，若A与B有相同的真值表，则说明在2n个赋值的每个赋值下，A与B的真值都相同。于是等价式A?B应为重言式。 等值式 定义2.1 若等价式A?B是重言式，则称A与B等值，记作A?B，并称A?B是等值式. 几点说明： 定义中，A, B, ?均为元语言符号. A或B中可能有哑元出现. 例如 (p?q) ? ((?p?q)?(?r?r)) r为左边公式的哑元. 用真值表可检查两个公式是否等值. 等值式 例1 判断下列各组公式是否等值: (1) p?(q?r) 与 (p?q) ?r 等值式 (2) p?(q?r) 与 (p?q) ?r 等值式 基本等值式 等值式 8.零律 ???? ? A∨1 ? 1,A∧0 ? 0 9.同一律??????? ? A∨0 ? A，A∧1 ? A 10.排中律?????? ? A∨┐A ? 1 11.矛盾律? ? A∧┐A ? 0 12.蕴涵等值式?? ? A→B ? ┐A∨B 13.等价等值式??? A?B ? (A→B)∧(B→A) 14.假言易位???? ? A→B ? ┐B→┐A 15.等价否定等值式?????? A?B ? ┐A?┐B 16.归谬论?????? (A→B)∧(A→┐B) ? ┐A 等值演算 等值演算与置换规则 等值演算 关于等值演算的说明 等值演算 等值演算 例3 证明 p?(q?r) ? (p?q)?r 证 p?(q?r) ? ?p?(?q?r) （蕴涵等值式） ? (?p??q)?r （结合律） ? ?(p?q)?r （德摩根律） ? (p?q)?r （蕴涵等值式） 等值演算 等值演算 等值演算 (2) (p?q)?(?q??p) ? (?p?q)?(q??p) （蕴涵等值式） ? (?p?q)?(?p?q) （交换律） ? 1 重言式 等值演算 例6 在某次研讨会的中间休息时间，3名与会者根据王教授的口音对他是哪个省市的人进行了判断： 甲说王教授不是苏州人，是上海人。 乙说王教授不是上海人，是苏州人。 丙说王教授既不是上海人，也不是杭州人。 听完以上3人的判断后，王教授笑着说，他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对。试用逻辑演算法分析王教授到底是哪里人？ 等值演算 p,q,r中必有一个真命题，两个假命题，要通过逻辑演算将真命题找出来。 设 甲的判断为A1=┐p∧q 乙的判断为A2=p∧┐q 丙的判断为A3=┐q∧┐r 等值演算 由王教授所说 E = (B1∧C2∧D3)∨(B1∧C3∧D2)∨(B2∧C1∧D3) ∨(B2∧C3∧D1)∨(B2∨C1∧D2)∨(B3∧C2∧D1) 为真命题。 经过等值演算后,可得 E ? (┐p∧q∧┐r)∨(p∧┐q∧r) 由题设，王教授不能既是上海人，又是杭州人，因而p,r中必有一个假命题，即p∧┐q∧r?0，于是 E ? ┐p∧q∧┐r 为真命题，因而必有p,r为假命题，q为真命题，即王教授是上海人。甲说的全对，丙说对了一半，而乙全说错了。 范式的概念和性质 §2.1 析取范式和合取范式 基本概念 (1) 文字(letters) ：命题变项及其否定的总称 (2) 简单析取式：有限个文字构成的析取式 p, ?q, p??q, p?q?r, … (3) 简单合取式：有限个文字构成的合取式 p, ?q, p??q, p?q?r, … 范式的概念和性质 说明： 单个文字既是简单析取式，又是简单合取式 为讨论方便，有时用A1,A2,…,As表示s个简单析取式或s个简单合取式。 设Ai是含n个文字的简单析取式，若Ai中既含某个命题变项pj，又含它的否定式┐pj， 即pj∨┐pj，则Ai为重言式。 反之，若Ai为重言式，则它必同时含某个命题变项和它的否定式。 类似的讨论可知，若Ai是含n个命题变项的简单合取式，且Ai为矛盾式，则Ai中必同时含某个命题变项及它的否定式，反之亦然。 范式的概念和性质 定理2.1 (1)