13 离散数学(精品·公开课件).pptVIP

1.3 命题逻辑等值演算 等值式 基本等值式 等值演算 置换规则 基本等值式(续) 基本等值式(续) 等值演算与置换规则 应用举例——证明两个公式等值 * 等值式 定义 若等价式A?B是重言式，则称A与B等值， 记作A?B，并称A?B是等值式 说明：定义中，A,B,?均为元语言符号, A或B中可能有哑元出现. 例如，在 (p?q) ? ((?p?q)? (?r?r))中，r为左边公式的哑元. 判断下面两个公式是否等值 (p ?q) ? (p ? ? q)与p 用真值表可验证两个公式是否等值 请验证：p?(q?r) ? (p?q) ?r是否正确。 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??B ?(A?B)??A??B 吸收律: A?(A?B)?A, A?(A?B)?A 零 律: A?1?1, A