离散数学教学课件 作者 郝晓燕 第1章逻辑.ppt

第一章小结 1.命题的符号化：简单命题，复合命题，逻辑连接词 2.公式的真值表：真值指派，公式的真值 3.公式的类型：重言式，矛盾式及可满足公式 4.公式间的等价：定义，基本等价式，等价代换 5.公式的范式：合取范式，析取范式，主合取范式，主析取范式的求法 6.公式间的蕴含：定义，基本蕴含式，蕴含的性质 7.论证及其有效性：论证形式及其有效性的证明 8.命题逻辑半形式化推导系统 例1-6-2.1求证?Q?(P?Q)? ?P。 证明 ①前件真推导后件真方法：设?Q?(P?Q)为T，则?Q，(P?Q)皆为T，于是Q为F，P?Q为T，则必须P为F，故?P为T。 ②后件假推导前件假方法：假定?P为F，若Q为F，则P?Q为F，?Q?(P?Q)为F；若Q为T，则?Q为F，?Q?(P?Q)为F，故?Q?(P?Q)? ?P。 §1-6-3 基本蕴涵式 由以上方法可证明得到常用的蕴涵式如下： 1. A ? (A?B) 附加律 2. (A?B) ? A 化简律 3. (A?B)?A ? B 假言推理 4. (A?B) ?? B ? ?A 拒取式 5. (A?B) ?? B ? A 析取三段论 §1-6-3 基本蕴涵式 6. (A?B)?(B?C) ? (A?C) 假言三段论 7. (A?B)?(B?C) ? (A?C) 等价三段论 8. (A?B)?(C?D)?(A?C) ? (B?D) 构造性二难推理 (A?B)?(C?D)?( ?B??D) ? (?A??C) 破坏性二难推理 §1-7命题逻辑的推理理论§1-7-1 论证的有效性 定义1-7-1.1设A1, A2, …, Ak, B为命题公式. 若对于每组赋值，A1?A2?…? Ak 为假，或当A1?A2?…?Ak为真时，B也为真，则称由前提A1, A2, …, Ak推出结论B的推理是有效的, 并称B是有效结论。 实际上，有效推理的过程就是证明永真蕴含式的过程，即令A1?A2?…? Ak是已知的命题公式(前提)，若有A1?A2?…?Ak ? B 则称B是A1, A2, …, Ak的有效结论。 可见无效论证为：若前提皆是真命题而结论是假命题。 在命题逻辑推理中应注意区分“有效“和“真“是截然不同的概念：有效的推理不一定产生真实的结论；产生真实结论的推理过程未必是有效的；有效的推理中可能包含假的前提；而无效的推理却可能包含真的前提；如果前提全是真，则有效结论也应该真而绝非假。 §1-7-2 有效论证的判断方法 判断推理是否有效的方法： （1）真值表法 （2）等值演算法 （3）主析取范式法 （4）逻辑推演法 例1-7-2.1判断下面推理是否正确。 (1) 若今天是1号，则明天是5号。 今天是1号，所以明天是5号。 (2) 若今天是1号，则明天是5号。 明天是5号， 所以今天是1号。 (3) 若今天是1号，则明天是5号。 明天不是5号， 所以今天不是1号。 解: 令 p：今天是1号。q：明天是5号。 (1) 推理的形式结构: (p?q)?p?q 用等值演算法 (p?q)?p?q ? ?((?p?q)?p)?q ? ? (?p?p ?q?p) ?q ? ? (q?p) ?q ? ?p??q?q ? 1 可知推理有效。 (2) 推理的形式结构:(p?q)?q?p 用主析取范式法 (p?q)?q?p ? (?p?q)?q?p ? ? ((?p?q)?q)?p ? (?p??q)?(p??q)? (p??q)?(p?q) ? m0?m2?m3 结果不含m1, 故01是成假赋值，所以推理无效。 (3) 推理的形式结构: (p?q)??q??p 用逻辑推演法 ①前件真推导后件真方法：设(p?q)? ?q为T，则(p?q)， ?q皆为T，于是q为F，p?q为T，则p必须为F，故?p为T。 ②后件假推导前件假方法：假定?p为F，若q为F，则p?q为F，?q?(p?q)为F；若q为T，则?q为F，?q?(p?q)为F。 两种方法均可知(p?q)??q??p, 所以推理有效。 §1-7-3 自然推理系统 定义1-7-3.1自然推理系统定义如下: 1.字母表 ① 命题变元符号：p, q, r, …… ② 联结词符号：?, ?, ?, ?, ? ③ 括号与逗号：(, ), ， 2. 合式公式（同定义1-3-1.3） 3.推理规则 (1) P规则(也称前提引入规则)：在推导过程中，前提可随推导的需要随时引入使用。 (2)Ｔ规则(