C三人中选派若干人出国考察需满足下述条件.PPTVIP

第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)若B去，则C不能去 q??r (3) A和B必须去一人且只能去一人 (p??q)?(?p?q) 实际问题推理1 记p: 派A去，q: 派B去，r: 派C去 (1)若A去，则C必须去：p?r (2)若B去，则C不能去：q??r (3)A和B必须且只能去一人：(p??q)?(?p?q) 求下式的成真赋值 A=(p?r)?(q??r)?((p??q)?(?p?q)) 实际问题推理1 A=(p?r)?(q??r)?((p??q)?(?p?q)) ?(?p?r)?(?q??r)?((p??q)?(?p?q)) ?((?p??q)?(?p??r)?(r??q)?(r??r)) ?((p??q)?(?p?q)) ?((?p??q)?(p??q))?((?p??r)?(p??q)) ?((r??q)?(p??q))?((?p??q)?(?p?q)) ?((?p??r)?(?p?q))?((r??q)?(?p?q)) ?(p??q?r)?(?p?q??r) 实际问题推理1 A=(p?r)?(q??r)?((p??q)?(?p?q)) ?(p??q?r)?(?p?q??r) 成真赋值:101,010 结论 方案1：派A、C去 方案2：派B去 实际问题推理2 有A、B、C、D、E五种股票，需要抛出若干种股票。要求如下： 若A抛出，则B也抛出 B和C要留一种股票且只能留一种 C和D要么全抛，要么都不抛 D和E中必然有一种或两种要抛出 若E抛出，则A、B也抛出 问有几种合理的方案供选择 实际问题推理2 符号化问题的条件 若A抛出，则B也抛出；a→b B和C要留一种且只能留一种； (? b∧c) ∨(b∧?c) C和D要么全抛，要么都不抛；c?d D和E中必然有一种或两种要抛出；d∨e 若E抛出，则A、B也抛出; e→(a∧b) 实际问题推理2 问题表示为复合命题 (a→b)∧((?b∧c)∨(b∧?c))∧(c?d)∧(d∨e)∧(e→(a∧b)) 命题转化为如下形式，则可解 (?a∧?b∧c∧d∧?e)∨(a∧b∧?c∧?d∧e) 成真赋值：00110, 11001 方案1：抛股票C、D 方案2：抛股票A、B、E (主)范式 (主)析取范式：合取子式组成的析取式 合取子式 包含所有变量或其否定 示例：例 9 练习：表1-20 (主)范式 (主)合取范式：析取子式组成的合取式 析取子式 示例：例 9 练习：表1-20 (主)范式 (主)析取范式的成真赋值 极小项??使范式为真的赋值 极小项内：命题?1、否定命题?0 (主)合取范式的成假赋值 极大项??使范式为假的赋值 极小项内：命题?0、否定命题?1 (主)范式 (主)范式的构造方法 真值表 等值演算 对偶原理 实际问题推理3 某次研讨会，3名与会者根据王教授的口音对他是哪个省市的人进行了判断 甲说王教授不是苏州人，是上海人 乙说王教授不是上海人，是苏州人 丙说王教授既不是上海人，也不是杭州人 王教授笑着说：他们3人中有一人说的全对，有一人说对了一半，另一人说的全不对 王教授到底是哪里人？ 实际问题推理3 p：王教授是苏州人，q：王教授是上海人， r：王教授是杭州人 甲：不是苏州人，是上海人 ┐p∧q 乙：不是上海人，是苏州人 p∧┐q 丙：既不是上海人，也不