第一部分数理逻辑第三章命题逻辑的推理理论

Chapter Three - 命题逻辑的推理理论

1 - 要点
推理
证明
推理的形式结构的符号化形式：A₁∧A₂∧…∧A_k→B（*）如果（*）是重言式，则称推理是有效的，或称推理是正确的；如果（*）不是重言式，则称推理是无效的，或称推理是错误的；如果推理是正确地，记（*）为如下形式：A₁∧A₂∧…∧A_k⇒B（**）
判断推理是否争取的方法：
（1）真值表法
（2）等值演算法
（3）主析取范式法
推理定律（重言蕴涵式）
9条重要的推理定理：
（1）附加律A⇒（A∨B）
（2）化简律（A∧B）⇒A
（3）假言推理（A→B）∧A⇒B
（4）拒取式（A→B）∧¬B⇒¬A （5）析取三段论（A∨B）∧¬B⇒A （6）假言三段论（A→B）∧（B→C）⇒（A→C） （7）等价三段论（A↔B）∧（B↔C）⇒（A↔C） （8）构造性二难（A→B）∧（C→D）∧（A∨C）⇒（B∨D） （9）破坏性二难（A→B）∧（C→D）∧（¬B∨¬D）⇒（¬A∨¬C） 自然推理系统P：由字母表、合式公式、推理规则构成
常用的推理规则由以下12条组成：
（1）前提引入规则：
（2）结论引入规则
（3）置换规则
（4）假言推理规则：
A→B
A
------
∴B
（5）附加规则A
------
∴A∨B
（6）化简规则
A∧B
------
∴A
（7）拒取式规则
A→B
¬B
------
∴¬A
（8）假言三段论规则
A→B
B→C
------
∴A→C
（9）析取三段论规则
A∨B
¬B
------
∴¬A
（10）构造性二难规则
A→B
C→D
A∨C
------
∴B∨D
（11）破坏性二难规则
A→B
C→D
¬B∨¬D
------
∴¬A∨¬C
（12）合取引入规则
A
B
------
∴A∧C
在自然推理系统P中构造证明：
（1）推理形式结构*改写成如下形式：
前提：A₁，A₂，…，A_k
结论：B
（2）构造证明的方法：
直接证明法：由前提A₁，A₂，…，A_k出发，应用推理规则推出B
附加前提证明法：当结论为C→B形式时，可以将C列入前提中，然后用直接证明法推出B。
这里称C为附加前提
归谬证明法：将结论B的否定式¬B列入前提中，然后用直接证明法推出矛盾式

第一部分数理逻辑第三章命题逻辑的推理理论相关推荐

04 第三章命题逻辑的推理理论
离散数学与组合数学汇总文章目录 3.1 推理的形式结构推理的形式结构推理定律-重言蕴涵式 3.2 自然推理系统P 形式系统自然推理系统在自然推理系统P中构造证明直接证明法附加前提法归谬 ...
离散数学6__第2章命题逻辑的推理理论
命题的标准化表示称为范式, 它能表达真值表所能提供的一切信息. 仅由有限个文字构成的析取式称作简单析取式. 仅由有限个文字构成的合取式称作简单合取式. 例如: P, ┐Q, P∨┐P, ┐P ∨ Q, ...
离散数学__第2章命题逻辑的推理理论__析取范式和合取范式
看一个命题公式: ￢P∨Q∨R 它既是由3个简单合取式构成的析取范式, 又是由1个简单析取式构成的合取范式. 定理1 范式存在定理: 任一命题公式都存在着与之等值的析取范式与合取范式. 证明: 由 ...
离散数学__第2章命题逻辑的推理理论__真题讲解_(涉及对称差㊉)
2019年10月真题 27. 用等值演算法求命题(P↔Q) ∨ ￢R主合取范式, 并指出公式的类型. 分析: 要解答这个题目, 前提必须熟记 A ↔B ⇔ (￢A∨B) ∧( A∨￢B) A↔B ...
【离散数学】数理逻辑第一章命题逻辑(7) 命题逻辑的推理理论
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
鸟哥的Linux私房菜-第一、二、三章
鸟哥的Linux私房菜-第一.二.三章前言第一章.Linux是什么与如何学习第二章.主机规划与磁盘分区第三章.安装 CentOS7.x 前言这本书很有意思,但是有作者提到很多题外话,看起 ...
离散数学复习：命题逻辑的推理理论
命题逻辑的推理理论 1. 基本推理形式和蕴涵关系 1.1 基本推理形式所谓推理,指的是从一组前提合乎逻辑地推理出结论的过程.在这里我们用命题公式来表达前提和结论. 定义: 设G1,G2,...,Gn ...
C语言学习1——第一、二、三章学习记录
总述大一新生开始学习c语言,记录一下学习过程,本人看的是谭浩强老师的C程序设计,在写这个博客之前已经学习了前三章,这一篇就给前三章做一个总结和记录学习. 注:本博客所有知识点均出自C程序设计(第五版 ...
数据挖掘导论Pangaea-Ning Tan 读书笔记——（第一，二，三章）
<数据挖掘导论>Pang-Ning Tan ,Michael Steinbach,Vipin Kumar 读书笔记, 第一章绪论数据挖掘任务预测任务描述任务分类任务回归任务聚 ...

第一部分数理逻辑第三章命题逻辑的推理理论

第一部分数理逻辑第三章命题逻辑的推理理论相关推荐

最新文章

热门文章

第一部分 数理逻辑 第三章 命题逻辑的推理理论

第一部分 数理逻辑 第三章 命题逻辑的推理理论相关推荐

最新文章

热门文章

第一部分数理逻辑第三章命题逻辑的推理理论

第一部分数理逻辑第三章命题逻辑的推理理论相关推荐