某单位要从ABC三人中选派若干人出国考察需满足下述条件.PPT

第1章 基础：逻辑和证明 1.2 命题等价 1.2 命题等价(equivalence) 1.2.1 引言 复合命题的类型 重言式(tautology)：永真式 矛盾式(contradiction)：永假式 可能式(contingency)：不永真，也不永假 1.2.2 逻辑等价(equivalence) 若 p ? q 是永真式，则 p与 q 逻辑等价 记号：p ≡ q、p ? q 判定命题等价的方法 真值表 恒等式变换 重要的等价关系 表1-15、表1-16、表1-17 最基本的逻辑等价关系：逻辑推理的规则 用于构造其他等价关系 逻辑等价的命题可相互替换和传递 重要的等价关系 { ┐、∧、∨ } 是功能完备的逻辑算符集合 判断命题等价 真值表 恒等式变换 比真值表验证简单 含 n 个命题变量的真值表有 2n 行，随着 n 的增长行数呈现指数(几何级数)增长 练习(逻辑等价) 利用真值表 P19 7 a) b)；13 利用恒等式变换 P19 7 a) b)；13 实际问题推理1 求解实际问题 例：某单位要从A、B、C三人中选派若干人出国考察, 需满足下述条件 (1)若A去，则C必须去 (2) 若B去，则C不能去 (3) A和B必须去一人且只能去一人 问有几种可能的选派方案？ 实际问题推理1 解：记p: 派A去，q: 派B去，r: 派C去 (1)若A去，则C必须去 p?r (2)