第22讲 逻辑等值的命题公式.pptVIP

离散数学 第22讲 逻辑等值的命题公式 第3章 命题逻辑 3.4 逻辑等值的命题公式 本讲内容 3.4 逻辑等值的命题公式 命题 “四边形的对边平行” 与命题 “四边形的对边相等”是逻辑等值的, 它们在逻辑上说的是同一回事. 上述两个命题的真值是相同的. 下面讨论两个命题公式逻辑等值. 小结与作业 Any Questions * * 逻辑等值的定义 1 基本等值式 2 等值演算法 3 对偶原理 4 1. 逻辑等值的定义 Def 给定两个命题公式A和B, 若在任何真值指派下A和B的真值都相同, 则称命题公式A和B逻辑等价或逻辑等值(logically equal)或简称为等值或相等, 记为 A = B. Remark “=”是命题公式之间的关系符号. A ? B? Theorem 3-2 A = B的充要条件是A ? B永真. Proof Clearly. 下面的例子说明如何利用真值表(第一种方法)证明两个命题公式等值. 例3-11 证明: 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 1 ?p?q ?p p?q p q Theorem 3-3 例如, Theorem 逻辑等值是命题公式间的等价关系:(1)自反, (2)对称, (3)传递. Problem 等价类是什么? 2. 基本等值式 (I)与?, ?, ?有关的等值式 Theorem 3-5 (1) (2) (3) (4) (5) (6) (7)(8)(9)(10) Remarks (1)与集合的有关性质类似. (2)每条性质均可证明. (II)其他重要的等值式 Theorem (1) (2) (3) (4) (5) (6) Proof(?) 3. 等值演算法 基本等值式有很多用途, 如化简命题公式、判断命题公式的类型、证明等值式、计算命题公式的范式、命题逻辑中的推理等, 要求大家要熟记, 特别是定理3-5中的等值式. 在使用等值式时,常用下列的等值置换定理RR (Rule of Replacement). 等值置换定理 设C是命题公式A的子公式,若C = D, 则将A中的C部分或全部替换为D所得到的命题公式与A等值. 利用基本等值式以及等值置换定理求解问题的方法称为“等值演算法”. 例3-13 化简(?)下列命题公式并将最后结果用只含?和?表示. (1) (2) Solution (1) 数字逻辑、计算机组成中经常化简单! 利用等值演算法, 判断一个命题公式的类型是比较方便的. 例3-14 设A, B, C是任意的命题公式, 判断下列命题公式的类型: (1) (2) Solution (2) 证明两个命题公式等值的第二种方法: 等值演算法. 例3-15 设A, B, C是任意的命题公式,证明下列等值式. (1) (2) Proof (2) 4. 对偶原理 在与?, ?, ?有关的基本等值式中,除性质(1)外,其它性质都是成对出现的,两者间有一定的联系. 先给出命题公式的对偶式的定义. Def 3-4 设命题公式A中至多含有3个逻辑联结词?, ?, ? , (1)将A中的?换成? ；(2)A中的?换成? ；(3)A中的1换成0；(4) A中的0换成1, 所得到的命题公式称为是A的对偶式(dual formula), 记为A*. 例如 Remark 一般来说 对偶原理 设A和B是命题公式, 若A = B, 则A* = B*. 有了对偶原理后, 定理3-5中除性质(1)外的等值式,只需要记住其中一个就可以了. 有了对偶原理,我们可以求出任意命题公式的对偶式. A = B定义 基本等值式 等值演算法 对偶原理 习题3.4 5(双), 6, 9(双), 11 作业 *