第一章节 命题逻辑等值演算.pptVIP

1.3 命题逻辑等值演算 等值式 基本等值式 等值演算 置换规则 等值式 基本等值式 双重否定律 : ??A?A 等幂律： A?A?A, A?A?A 交换律: A?B?B?A, A?B?B?A 结合律: (A?B)?C?A?(B?C) (A?B)?C?A?(B?C) 分配律: A?(B?C)?(A?B)?(A?C) A?(B?C)? (A?B)?(A?C) 基本等值式(续) 德·摩根律: ?(A?B)??A??B ?(A?B)??A??B 吸收律: A?(A?B)?A, A?(A?B)?A 零律: A?1?1, A?0?0 同一律: A?0?A, A?1?A 排中律: A??A?1 矛盾律: A??A?0 基本等值式(续) 蕴涵等值式: A?B??A?B 等价等值式: A?B?(A?B)?(B?A) 假言易位: A?B??B??A 等价否定等值式: A?B??A??B 归谬论: (A?B)?(A??B) ??A 注意: A,B,C代表任意的命题公式 牢记这些等值式是继续学习的基础 等值演算与置换规则 等值演算: 由已知的等值式推演出新的等值式的过程 置换规则：若A?B, 则?(B)??(A) 等值演算的基础： (1) 等值关系的性质：自反、对称、传递 (2) 基本的等值式 (3) 置换规则 应用举例——证明两个公式等值 例1 证明 p?(q?r) ? (p?q)?r 证 p?(q?r) ??p?(?q?r) （蕴涵等值式，置换规则） ?(?p??q)?r （结合律，置换规则） ??(p?q)?r （德?摩根律，置换规则） ?(p?q) ?r （蕴涵等值式，置换规则）? 应用举例——证明两个公式不等值 应用举例——判断公式类型 例3 用等值演算法判断下列公式的类型 (1) q??(p?q) 解 q??(p?q) ? q??(?p?q) （蕴涵等值式） ? q?(p??q) （德?摩根律） ? p?(q??q) （交换律，结合律） ? p?0 （矛盾律） ? 0 （零律） 由最后一步可知，该式为矛盾式. 例3 (续) (2) (p?q)?(?q??p) 解 (p?q)?(?q??p) ? (?p?q)?(q??p) （蕴涵等值式） ? (?p?q)?(?p?q) （交换律） ? 1 由最后一步可知，该式为重言式. 问：最后一步为什么等值于1？ 例3 (续) (3) ((p?q)?(p??q))?r) 解 ((p?q)?(p??q))?r) ? (p?(q??q))?r （分配律） ? p?1?r （排中律） ? p?r （同一律） 这不是矛盾式，也不是重言式，而是非重言式的可 满足式.如101是它的成真赋值,000是它的成假赋值. 1.4 联结词全功能集 复合联结词 排斥或 与非式 或非式 真值函数 联结词全功能集 复合联结词 排斥或: p?q?(p??q)?(?p?q) 与非式: p?q??(p?q) 或非式: p?q??(p?q) 真值函數 命题公式与真值函数 联结词的全功能集 定义 在一个联结词的集合中，如果一个联结词可 由集合中的其他联结词定义，则称此联结词为冗余 的联结词，否则称为独立的联结词. 例如,在联结词集{?, ?, ?, ?, ?}中，由于 p?q??p?q, 所以，?为冗余的联结词; 类似地，?也是冗余的 联结词. 又在{?, ?, ?}中，由于 p?q??(?p??q)， 所以，?是冗余的联结词. 类似地，?也是冗余的联 结词. 联结词的全功能集(续) 定义 设S是一个联结词集合，如果任何n(n?1) 元 真值函数都可