离散数学知识点总结（6）：自然推理系统；13 个推理规则； 如何使用推理规则
文章目录
- 自然推理系统的定义
- 13个推理规则
- 如何在自然推理系统中构造有效论证的方法
- 直接证明法
- 附加前提证明法（cp规则）
- 反证法 / 归谬法（Proofs by Contradiciton）
- 对位证明（Proofs by contraposition）
- 举例
- 直接证明法举例
- 附加前提法举例
- 归谬法举例
自然推理系统的定义
13个推理规则
Note： 国外课本《离散数学及其应用中的表格》
如何在自然推理系统中构造有效论证的方法
直接证明法
- 由前提利用推理规则直接推出结论
附加前提证明法（cp规则）
- 如果结论是一个蕴含式，那么可以把蕴含式的前提移动到整个式子的前提中作为一个附加前提。
Example
想证明：A1∧A2∧...An⊨C→BA_1\wedge A_2 \wedge ...A_n \models C\rightarrow BA1∧A2∧...An⊨C→B
相当于证明：A1∧A2∧...An∧C⊨BA_1\wedge A_2 \wedge ...A_n \wedge C \models BA1∧A2∧...An∧C⊨B
原因是：
反证法 / 归谬法（Proofs by Contradiciton）
- 要证明：A1∧A2∧...An⊨BA_1\wedge A_2 \wedge ...A_n \models BA1∧A2∧...An⊨B
- 就要证明：A1∧A2∧...An∧¬B⊨⊥A_1\wedge A_2 \wedge ...A_n \wedge ¬ B \models \botA1∧A2∧...An∧¬B⊨⊥
- 即：在前提中加入 ¬B¬ B¬B 推出矛盾
- 因为：
对位证明（Proofs by contraposition）
- 证明逆否命题是正确的
举例
直接证明法举例
附加前提法举例
归谬法举例
离散数学知识点总结（6）：自然推理系统；13 个推理规则； 如何使用推理规则相关推荐
- Educoder离散数学实训【自然推理系统】答案
[使用说明] 1.本文主要供分享思路.答疑使用,请勿白一味嫖照搬. 2.本文95%以上为作者本人独立思考的过程,关闭编程平台右侧tab转换后,答案直接复制粘贴,将部分空格转化为tab即可过关. 3.允 ...
- 离散数学，自然推理系统，基于假言推理，不能使用消解法的自然推理系统
离散数学-假言推理系统 文章目录 1. 问题描述 2. 课本中的源码 (1) 抄写课本中的代码 (2) 理解程序的运行逻辑 (3) 优化方案 (4) 测试 3. 我编写的假言推理系统 (1) 程序逻辑 ...
- 总结 离散数学知识点
总结 离散数学知识点 第二章 命题逻辑 1.→,前键为真,后键为假才为假:<->,相同为真,不同为假: 2.主析取范式:极小项(m)之和:主合取范式:极大项(M)之积: 3.求极小项时 ...
- 逻辑学自然科学教育计算机,科学网—【逻辑学知识】自然推理系统 - 黄荣彬的博文...
[逻辑学知识]自然推理系统 一.自然推理是什么? 所谓自然推理,就是从给定的前提命题出发,运用演绎推理的有效式即根据演绎推理规则进行的推理.属"演绎推理",前提命题的合取(∧)蕴涵 ...
- 离散数学知识点总结（详细）
离散数学知识点总结 第二章 命题逻辑 1.→,前键为真,后键为假才为假: <- >,相同为真,不同为假: 2.主析取范式:极小项 (m) 之和:主合取范式:极大项 (M) ...
- 离散数学知识点【复试】
1.极大项是析取,极小项是合取. 2.每个极小项只有一组成真赋值,因此可用于给极小项编码.编码规律为:命题变元与1对应,命题变元的否定与0对应. 3.每个极大项只有一组成假赋值,因此可用于给极大项编码 ...
- 离散数学知识点及错题集合 第一章
离散数学及其应用 第1章 1.1 命题逻辑 1.1.2 命题 复合命题 1.1.3 条件语句 逆命题.逆否命题与反命题 双条件语句 1.1.5 逻辑运算的优先级 1.1.6 逻辑运算和位运算 1.2 ...
- 离散数学知识点总结-命题逻辑
目录 命题 逻辑连接词 命题符号化 命题公式及其赋值 命题公式的等价 重言式与矛盾式 重言蕴含式 范式 主析取范式 主合取范式 命题逻辑推理 直接推理 间接推理 命题 命题是表达判断的陈述句. 判断一 ...
- 离散数学知识点总结（2）：命题公式的类型
文章目录 命题公式 命题常量和命题变元 命题合式公式的递归式定义(well-Formed formula) 联结词的优先级 命题公式的种类 重言式 / 永真式 (常见举例) 矛盾式 / 不可满足式 / ...
最新文章
- 相关子查询中exists后select 加数字的理解
- mysql从一张表更新另外一张表_MySQL 从一张表update字段到另外一张表中
- php中的static,php中的static
- QML笔记-整合C++及单例模式管理QML中控件
- Windows 2000安装和配置RIS服务
- es6 Object.keys()，Object.values()，Object.entries()
- 同一解决方案内的多个项目之间如何引用？
- Perl调用shell命令方法小结
- 对花不准（错版、套版不准、错花）的原因
- 【Oracle】权限
- 当心DevOps虚假指标
- 《华为工作法》6 华为的成功不是一个人的
- Java通过http协议下载文件并写入字节流的方法
- Word转图片（使用Spire.doc）
- PCB_焊盘工艺设计规范
- 一款Python实用神器，5 行 Python 代码 实现一键批量扣图
- c# 傅里叶变换 频域_C# 傅里叶变换 逆变换 调用MathNet包
- 适合团队工作的软件，大家来看看有没有喜欢的吧
- 《学Python，不废话》
- win10安装usb转serial驱动（或Prolific USB-to-Serial Comm Port驱动）