离散数学PPT2.pptVIP

第二章 命题逻辑等值演算 主要内容 等值式与基本的等值式 等值演算与置换规则 2.1 等值式 定义2.1 若等价式A?B是重言式，则称A与B等值，记作A?B，并称A?B是等值式 几点说明： 定义中，A, B, ?均为元语言符号 A或B中可能有哑元出现. 例如 p?q ? ?p?q??r?rr为左边公式的哑元. 用真值表可检查两个公式是否等值 请验证：p?q?r ? p?q ?rp?q?r 不与 p?q ?r 等值 等值式例题 例1 判断下列各组公式是否等值: 1 p?q?r 与 p?q ?r 等值式例题 2 p?q?r 与 p?q ?r 基本等值式 双重否定律 ??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??BA?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 特别提示：必须牢记这1