命题逻辑lly1.ppt

1 离散数学 主讲教师：刘立月 E-mail: lly_nwpu@163.com 办公室：7046261 成绩评定 离散数学概述 离散数学是现代数学的一个重要分支,是研究离散量及其相互关系的科学,是计算机科学与技术的理论基础,又称计算数学. 数理逻辑: 用数学方法研究推理 5 集合论: 主要针对数集进行研究 4 代数结构: 抽象代数研究的中心问题 3 图论: 以图为研究 4 第一章 命题逻辑 重点： 命题符号化与联结词 真值表与等值公式 主析取范式与主合取范式 推理证明 难点： 极大项与极小项 二、与命题相关的几个概念 3. 析取联结词“ ?”，读作“ 析取”，写作“ P?Q”，一般指代自然语言中的“ 或”，“ 要么…，要么…”，“ 不是…，就是”等。P ? Q为真当且仅当P与Q中至少一个为真. 注意: 自然语言“或”的二义性( 相容或与排斥或) 如：(3) 林芳学过英语或日语（?或） (4) 派小刘或小李一人去开会（ ?或） (5) 小刘在宿舍或食堂（ ?或） 5. 等价联结词“ ?” ，读作“ 等价”，写法：P?Q。常指自然语言中“ …当且仅当…” ，P ? Q为真当且仅当P与Q值相同. 。 注意: 等价式的理解 (7) 2+2=4，当且仅当1+1=2 （当且仅当） P ? Q 与P ? Q的关系 前后部分之间无必然关系.(2+2=5,当且仅当太阳从西边出来) 极小项： 含有n个命题变项的简单合取式； 每个命题变项及其否定不能同时存在，但二者必居其一； 命题变项必须按字典顺序排列； 极小项为成真赋值（极小项的简化表示）； 以3命题变项p, q, r 构成的8极小项为例说明。命题变项看作1，命题变项的否定看作0，每个极小项对应一个二进制数（二进制数为极小项为成真赋值），也对应一个十进制数，可将对应的极小项表示为mi 思考：简单合取式为极小项强调两点？（举例 n个，顺序） 极大项： 含有n个命题变项的简单析取式； 每个命题变项及其否定不能同时存在，但二者必居其一； 命题变项必须按字典顺序排列； 极大项为成假赋值； 以3命题变项p, q, r 构成的8极大项为例说明。命题变项看作0，命题变项的否定看作1，每个极大项对应一个二进制数（二进制数为极大项为成假赋值），也对应一个十进制数，可将对应的极大项表示为Mi 思考： 极大项与极小项的关系？ Mi = ? mi 如何求命题公式的极大项或极小项？ §1.6 推 理 理 论 推理的形式化结构： (A1? A2? … ? An)?B 重言蕴涵式（补充） 判定 前提（A） 推 理 结论（B） 的正确，即判定A?B 为重言蕴涵式。 重言蕴涵式（推理定理）：A?B 为重言式，记A ? B. 例如：前提： A1 ，A2， … An 结论： B 要证明前提推理结论的正确，即(A1? A2? … ? An ) ? B 重言蕴涵式的证明 真值表，等值演算，范式法，构造证明法。 重言蕴涵式的判定： 前件真推导后件真法 如： A ? B ? A 后件假推导前件假法 如： （A? B ) ?(B?C) ? (A?C) 重要的推理定理（重言蕴涵式） p46（理解+记忆） 重要的推理规则（重言蕴涵式） p47 二、自然推理系统P 形式系统分类： 自然推理系统：从任意给定前提出发，应用系统中推理规则进行推理演算，最后得到的命题公式是推理的结论。 公理推理系统：从若干条给定定律出发，应用系统中推理规则进行推理演算，最后得到的结论是系统中重言式。 不同方法证明比较 前提：A?B，C?D，A?C 结论：B ? D 构造法证明 利用构造性二难规则证明（若不用？？课后思考！！） 附加前提证明（如何证？） 归谬法 归谬法思想 前提： A1? A2? … ? An 结论： B 分析 ： 要证明(A1? A2? … ? An ) ? B 为重言式， 若证明(A1? A2? … ? An ? ? B ) 为永假式，则结论 正确（why？） 作业 课堂作业 用命题逻辑证明下列推理正确 “如果他是计算机系本科生或研究生，那么他一定学过C 语言与Java语言。只要他学过C 语言或Java语言，那么他就会编程。因此如果他是计算机系本科生，那么他就会编程。” 2. 不用构造性二难规则，附加前提及归谬法，证明。前提：A?B，C?D，A?C 结论：B ? D 课后作业： (等值演算与正值表两种