2009全国高中考全国卷2理数答案.pptVIP

* 离散数学 肖志娇 cindyxzj@szu.edu.cn * 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范试 1.6 推理理论 * 1.3 等值演算 等值 等值演算 置换规则 * 等值 定义 若等价式A?B是重言式，则称A与B是等值的，记作A?B 用真值表可验证两个公式是否等值 请验证：p?(q?r) ? (p?q) ?r p?(q?r) (p?q) ?r * 1 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 1 0 1 1 q ? r 1 0 1 0 r 1 1 0 0 p∧q 1 1 0 0 q 1 1 1 1 1 1 0 0 1 1 1 1 (p∧q) ? r p ?(q? r ) p 由真值表可知，两个公式为等值式。 例 判断公式 p?(q?r)与(p ∧ q) ? r 是否等值 * 等值 ?和?的区别 (1) ?不是联结词，是A和B等值的一种简便记法; (2) ?是联结词, P?Q ? (P→Q)?(Q→P) ? (P ?Q) ?