命题逻辑的推理理论.ppt
《命题逻辑的推理理论.ppt》由会员分享,可在线阅读,更多相关《命题逻辑的推理理论.ppt(13页珍藏版)》请在装配图网上搜索。
漳州师范学院计算机科学与工程系 第三章命题逻辑的推理理论 2020年3月21日2时53分 第二章命题逻辑等值演算 推理的形式结构自然推理系统P知识点 推理的形式结构 推理理论 自然系统P 推理规则教学要求 深刻理解和掌握命题逻辑中的基本推理方法教学重点 推理理论 推理规则学时 2 2020年3月21日2时53分 3 1推理的形式结构 论证是指由一些前提出发得到某个结论 在数理逻辑中需要讨论论证的有效性提出正确的推理规则和可行的推理方法A1 A2 An为前提 B为结论称 A1 A2 An B为推理的形式结构定理3 1命题公式A1 A2 An推B是正确的当且仅当A1 A2 An B为重言式 即A1 A2 An B并称B为前提A1 A2 An的有效结论或称B为前提A1 A2 An的逻辑结果当前提为真时结论也为真 但推理正确并不能保证有效结论B一定为真例如 设p为 太阳从西边升起 q为 太阳从东边落下 p q为 如果太阳从西边升起则太阳从东边落下 推理 p p q q是正确的 即q是前提的有效结论 但q是个假命题 2020年3月21日2时53分 3 1推理的形式结构 推理的形式结构 前提 A1 A2 An结论 B重要的推理定律A B A A B B 化简律 A A B B A B 附加律 A B A B 假言推论 A B B A 拒取式 A B B A 析取三段论 A B B C A C 假言三段论 A B B C A C 等价三段论 A B C D A C B D 构造性二难 A B A B B构造性二难 特殊形式 A B C D B D A C 破坏性二难 2020年3月21日2时53分 3 1推理的形式结构 论证的方法真值表法等值演算法将推理过程形式化 证明公式A1 A2 An B是重言式即证明 A1 A2 An B 1 形式系统一般分为两类一类是自然推理系统 它的特点是从任意给定的前提出发 应用系统中的推理规则进行推理演算 得到的最后命题公式是推理的结论 有时称为有效的结论 它可能是重言式 也可能不是 一类是公理推理系统 它只能从若干给定的公理出发 应用系统中推理规则进行推理演算 得到的结论是系统中的重言式 称为系统中的定理 2020年3月21日2时53分 3 2自然推理系统P 定义3 2一个形式系统I由下面四个部分组成 1 非空的字符表集 记作A I 2 A I 中符号构造的合式公式集 记作E I 3 E I 中一些特殊的公式组成的公理集 记作AX I 4 推理规则集 记作R I 可以将I记为其中是I的形式语言系统为I的形式演算系统 定义3 3自然推理系统P定义如下 1 字母表 1 命题变项符号 p q r pi qi ri 2 联结词符号 3 括号和逗号 2 合式公式同定义1 63 推理规则 2020年3月21日2时53分 3 2自然推理系统P 定理3 1 A1 A2 An Ai i 1 2 n证明因为A1 A2 An A1 A2 Ai 1 Ai 1 An Ai Ai所以 A1 A2 An Ai定理3 2若 A1 A2 An Bi i 1 2 m且 B1 B2 Bm C 则 A1 A2 An C证明由重言蕴涵的性质和题设可知A1 A2 An B1 B2 Bm再由重言蕴涵的传递性可知A1 A2 An C 即 A1 A2 An C定理3 3若 A1 A2 An B C 则 A1 A2 An B C 证明因为 A1 A2 An B C 所以1 A1 A2 An B C A1 A2 An B C A1 A2 An B C A1 A2 An B C A1 A2 An B C 即 A1 A2 An B C 2020年3月21日2时53分 3 2自然推理系统P P规则在推演过程中可以随时引用前提T规则在推演过程中可以随时引用前面已经得到的结论CP规则若 A1 A2 An B C则 A1 A2 An B C B称为附加前提在推理过程中可以随时使用重言等价式 E 在推理过程中可以随时使用重言蕴涵式 I 在推理过程中可以随时引用置换规则和代入替则 2020年3月21日2时53分 3 2自然推理系统P 直接证明法 由一组前提遵循P规则和T规则 根据已知的重言等价式和重言蕴涵式推演出有效结论的论证方法例1前提 p q q r p s s结论 r p q 证明 p s前提引入 s前提引入 p 拒取式 p q前提引入 q 析取三段论 q r前提引入 r 假言推理 r p q 合取此证明的序列长为8 最后一步为推理的结论 所以推理正确 r p q 是有效结论 2020年3月21日2时53分 3 2自然推理系统P 例2 在自然推理系统P中构造下面推理的证明 若数a是实数 则它不是有理数就是无理数 若a不能表示成分数 则它不是有理数 a是实数且它不能表示成分数 所以a是无理数 解首先将简单命题符号化 证明 p s前提引入 p 化简律 s 化简律 p q r 前提引入 q r 假言推理 s q前提引入 q 假言推理 r 假言推理 设p a是实数 q a是有理数 r a是无理数 s a能表示成分数推理的形式结构为 p q r s q p s r 2020年3月21日2时53分 3 2自然推理系统P 间接证明法 由一组前提遵循P规则 T规则和CP规则推演出有效结论 或者将否定结论作为附加前提 利用P规则和T规则得出矛盾式的论证方法 后一种情形又称为反证法在构造形式结构为 A1 A2 Ak B的推理证明中 如果将 B作为前提能推出矛盾来 比如说得出 A A 则说明推理正确 其原因如下 A1 A2 Ak B A1 A2 Ak B A1 A2 Ak B 若 A1 A2 Ak B 为矛盾式 正说明 A1 A2 Ak B为重言式 即 A1 A2 Ak B原故推理是正确 2020年3月21日2时53分 3 2自然推理系统P 例3在自然推理系统P中构造下面推理的证明 如果小张和小王去看电影 则小李也去看电影 小赵不去看电影或小张去看电影 小王去看电影 所以 当小赵去看电影时 小李也去看电影 解将简单命题符号化 前提 p q r s p q结论 s r证明 用附加前提证明法 s附加前提引入 s p前提引入 p 析取三段论 p q r前提引入 q前提引入 p q 合取 r 假言推理 设p 小张去看电影 q 小王去看电影 r 小李去看电影 s 小赵去看电影 2020年3月21日2时53分 3 2自然推理系统P 例4 在自然推理系统A中构造下面推理的证明 如果小张守第一垒并且小李向B队投球 则A队将取胜 或者A队未取胜 或者A队获得联赛第一名 A队没有获得联赛的第一名 小张守第一垒 因此 小李没有向B队投球 证明 q结论的否定引入 r s前提引入 s前提引入 r 析取三段论 p q r前提引入 p q 假言推理 p q 置换 p前提引入 q 析取三段论 q q 合取由于最后一步q q 0 即原推理正确 先将简单命题符号化设p 小张守第一垒q 小李向B队投球r A队取胜s A队获得联赛第一名推理的形式结构 p q r r s s p q- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 命题逻辑 推理 理论
装配图网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
关于本文