离散数学之数理逻辑(2).pptVIP

离散数学之数理逻辑（2） 上海交通大学软件学院 吴刚 2009年6月 内容 命题逻辑 等式的对偶定理 蕴含重言式与命题逻辑推理 范式 命题联结词的归约 回顾命题的公式化 如果我下班早, 就去商店看看, 除非我很累 ?P∧Q→R，其中P代表“我很累”，Q代表“我下班早”，R代表“我去商店看看” 还可表示为：?P →(Q→R) 李四是计算机系的学生, 他住在312室或313室 P∧(Q∨R)∧(?(Q∧R))，其中：P代表“李四是计算机系学生”，Q代表“李四住312室”，R代表“李四住313室” 还可表示为：P∧((Q∧?R)∨(?Q∧R)) 等式的证明 例1： ?P∧Q→R = ?P →(Q→R) 例2： P∧(Q∨R)∧(?(Q∧R))= P∧((Q∧?R)∨(?Q∧R)) 注意：等式A=B代表的含义是A?B永真，不是A永真或B永真 等式的对偶定理 定义：设有公式A，其中仅使用了联结词∧∨?，则将其中的联结词∧∨及命题常量T、F分别换成∨∧和F、T后得到的公式A*称为A的对偶公式 对偶定理：设有等式A=B，且A,B中均只使用了联结词∧∨?，则有A*=B* 即若有一个等式成立，其两边公式的对偶公式的等式也成立 等式的对偶定理 例子： 由P∨(P∧Q)=P可得P∧(P∨Q)=P 由P∧Q= ?(?P∨?Q) 可得 P∨Q= ?(?P∧?Q) 由F∧P =F 可得 T∨P =T 蕴含重言式 基本蕴含重言式 第182页(43)-(61)，可用真值表证明 P∧Q ? P意味着P∧Q → P永真 蕴含重言式 基本蕴含重言式 ?P ? P→Q Q ? P→Q ?P∧(P∨Q) ? Q (P→Q)∧(Q→R) ? P→R 此外等价重言式可生成两个蕴含重言式 因为P?Q = (P→Q)∧(Q→P) 所以若P ? Q (即P=Q)，则有P?Q且Q?P 命题逻辑推理 一般推理模式 一组前提，推出一个结论 前提1,前提2,…,前提n╞ 结论 所有的前提是合取关系，与顺序无关 只有在“当所有前提都为真时，结论为真”成立的情况下，这一推理才是有效的。 定理： “前提1,前提2,…,前提n╞ 结论”有效的充要条件是命题公式“(前提1 ∧前提2 ∧… ∧前提n) →结论”是重言式 命题逻辑推理 若有P?Q，则有P╞ Q 若有P1∧P2∧P3?Q，则有 P1,P2,P3╞ Q 命题逻辑推理 一些推理规则 (183页(63)-(72)) ?P, P∨Q╞ Q 析取三段论 ?P∧(P∨Q) ? Q P, P→Q╞ Q 假言推论 ?Q, P→Q╞ ?P 拒取式 P→Q, Q→R╞ P→R 假言三段论 P∨Q, P→R, Q→R╞ R 两难推论 命题逻辑推理 例子：假设下列推论是正确的 只要姚明上场，火箭就能赢开拓者 如果张三认真听课，姚明就答应上场 只要赢了开拓者，姚明就可以加工资 能否证明：张三不认真听课，姚明就加不上工资了 命题逻辑推理 能否证明：姚明没加上工资，那张三肯定没认真听课 P：张三认真听课；Q：姚明上场打球 R：火箭赢开拓者；S：姚明加工资 证明： 前提条件为 P→Q， Q→R， R→S P→Q, Q→R╞ P→R P→R, R→S╞ P→S P→S, ?S╞ ?P 范式 能否将公式化归到一种标准的形式？ 这种标准形式就叫做范式 析取范式与合取范式 析取范式 公式是一个析取式，每个析取项都是一个合取式，每个合取式中的合取项只是命题变元或命题变元的否定。 不包含蕴含和等价联结词，否定联结词只作用在单个的命题变元前 如?P∨(P∧Q)∨(P∧?Q∧R) 析取范式 任意公式均可化归成析取范式 将蕴含和等价联结词化归成∧∨? 将否定联结词深入至命题变元，并利用??P=P使命题变元前的双否定词消去 利用分配律将公式化归成析取范式 例子：求?(P∨Q)?P∧Q的析取范式 定理：一公式是矛盾的充要条件是其析取范式的每一个析取项中均必同时包含一个命题变元及其否定 合取范式 公式是一个合取式，每个合取项都是一个析取式，每个析取式中的析取项只是命题变元或命题变元的否定。 不包含蕴含和等价联结词，否定联结词只作用在单个的命题变元前 如?P∧(P∨Q)∧(P∨?Q∨R) 合取范式 任意公式均可化归成合取范式 例子：求?(P∨Q)?P∧Q的合取范式 定理：一公式是重言式的充要条件是其合取范式的每一个合取项中均必同时包含一个命题变元及其否定 特异析取范式 析取范式从形式上并不唯一 但可以化约成一种唯一形式的范式 在每个析取项中，公式的所有命题变元均出现，且以其自身或其否定的形式出现一次且仅有一次，那么这种范式就叫特异