离散数学·命题逻辑【范式、推理】
析取范式、合取范式
简单就是划到最简
极小项、极大项
合取——极小项(便于记忆——合取式得到真值的概率较析取式低,所以是极小项)(一定要包含所有的命题变元)
析取——极大项 (同理)
求主析取范式的步骤
求主合取范式的步骤
例子
(p∧q)∨r
(p∧q∧(r∨┐r))∨((p∨┐p)∧(q∨┐q)∧r)
(p∧q∧r)∨(p∧q∧┐r)∨(p∧q∧r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)
(p∧q∧r)∨(p∧q∧┐r)∨(p∧┐q∧r)∨(┐p∧q∧r)∨(┐p∧┐q∧r)
此即所求的主析取范式
(p∧q)∨r
(p∨r)∧(q∨r)
(p∨(q∧┐q)∨r)∧((p∧┐p)∨q∨r)
(p∨q∨r)∧(p∨┐q∨r)∧(p∨q∨r)∧(┐p∨q∨r)
(p∨q∨r)∧(p∨┐q∨r)∧(┐p∨q∨r)
最后一式即为所求的主合取范式
极大项要让式子内的元素成假(p析取q析取r——p=0,q=0,r=0——M下标为0)
极小项要让式子内的元素成真(p合取q合取r——p=1,q=1,r=1——m下标为7)
快速求法
例子
简而言之——就是把每一项都单独提取出来计算,最后整合在一起(比较常用)
由主析取范式求主合取范式
意思就是当由主析取(合取)范式求主合取(析取)范式时,被求的范式的项的下标就是已知范式中未出现的项的下标
例子
基本命题的等值公式
这两页基本同命题变项
第一条中B为F,第二条中B为T
其中,二难类没用过
推理规则
简而言之——推理规则就是在步骤要特别说明的,不是直接用置换
例
合取相当于逗号‘,’
归谬法
例
最后的结果要得出类似(12)这种永假式
附加证明法(间接证明法)
例
这个第7步,看看
离散数学·命题逻辑【范式、推理】相关推荐
- 【离散数学】数理逻辑 第一章 命题逻辑(7) 命题逻辑的推理理论
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
- [离散数学]命题逻辑P_7:范式
[离散数学]命题逻辑P_7:范式 前言 1. 范式定义 基本术语 范式定义 例子 2. 范式求解 范式存在定理 证明 例子 范式与真值 总结 前言 第七讲:范式 数理逻辑,就是用数学的方法研究逻辑推理 ...
- 离散数学复习:命题逻辑的推理理论
命题逻辑的推理理论 1. 基本推理形式和蕴涵关系 1.1 基本推理形式 所谓推理,指的是从一组前提合乎逻辑地推理出结论的过程.在这里我们用命题公式来表达前提和结论. 定义: 设G1,G2,...,Gn ...
- [离散数学]命题逻辑P_6:命题等价公式及应用
[离散数学]命题逻辑P_6:命题等价公式及应用 前言 1. 基本等价关系 定理 2. 判断公式类型 例1:证明公式类型 例2:证明复杂公式间的等价关系 3. 开关电路化简 4. 逻辑电路化简 5. 智 ...
- 第一部分 数理逻辑 第三章 命题逻辑的推理理论
Chapter Three - 命题逻辑的推理理论 1 - 要点 推理 证明 推理的形式结构的符号化形式:A₁∧A₂∧-∧Ak→B(*)如果(*)是重言式,则称推理是有效的,或称推理是正确的:如果(* ...
- [离散数学]命题逻辑P_5:命题公式分类和等价
[离散数学]命题逻辑P_5:命题公式分类和等价 前言 1. 真值表告诉我们什么? 例子 2. 命题公式分类 定义 例子 3. 公式的逻辑等价 定义 定理 证明 总结 前言 第五讲:命题公式分类和等价 ...
- 离散数学—命题逻辑知识点整理
命题逻辑 1.能判断真假但不能既真又假的陈述句称作为命题 2.,作为命题的陈述句所表达的判断只有两种结果,正确的或错误的,称这种判断结果是命题的真值 3.真值只能取两个值,真或假.真值为真的叫真命题, ...
- [离散数学]命题逻辑P_4:命题公式和真值表
[离散数学]命题逻辑P_4:命题公式和真值表 前言 1. 命题变元 常值命题定义 例子 命题变量定义 注意 2. 命题公式 定义 关于命题公式的说明 例子 3. 公式的解释 定义 例子 注意 4. 真 ...
- [离散数学]命题逻辑P_3:命题符号化及其应用
[离散数学]命题逻辑P_3:命题符号化及其应用 前言 1. 命题联结词的总结 命题联结词 命题联结词的真值表 例子 2. 命题联结词的优先级 优先级顺序 例子 3. 复合命题符号化 例子 4. 联结词 ...
- 离散数学 - 谓词逻辑的推理
谓词逻辑的推理 在前面学习了命题逻辑的推理,但是用其却无法证明苏格拉底论证的有效性,这是由于原子命题包含的信息量太少,无法将苏格拉底论证的条件和结论准确的表示出来,因此,我们引入了谓词与量词.借助 ...
最新文章
- c oracle long raw,初次用Oracle,不会用Long Raw类型,请大家帮忙看看
- 10个方法让程序员更加优秀
- linux汇编和x86汇编,linux平台学x86汇编(四):从“hello world!”开始
- 1-4 数组元素的区间删除 (20 分)
- 最详细的git( Github和Gitee )入门使用(上传与克隆)
- swing学习一(swing介绍、swing样例、布局管理器)
- 理解 static 关键字
- JS学习总结(3)——运算符/字符串
- 斗鱼注册服务器没有返回,斗鱼遭遇服务器大面积崩溃事故上热搜 大量主播直播间统统不见了...
- ★中国富豪掘第一桶金的九大方式 ★
- 以太坊网络重启并开启rpc
- canvas 将两张图片叠加
- 车载网络测试 - 车载以太网 - ICMP详细解析
- open judge1.7.14
- 收集需求的方法:群体创新技术
- opencv 读取NV12格式(.yuv)文件,并转为RGB格式保存为JPG
- 中国碳酸氢钠市场趋势报告、技术动态创新及市场预测
- 求1!+2!+....+10!
- (原創) 楚漢相爭之我見 (日記)
- 计算机视觉(六):深度学习正则化
热门文章
- 哈夫曼树的构建及应用
- Qt5 实现文件复制并在指定路径下创建文件夹
- 企业微信聊天框中点击自建应用获取当前聊天外部联系人userid,wx.agentConfig调用
- dataV 自定义组件开发(个人信息展示 自动轮播)
- GBA探索日记(-)
- 一个关于家具的横幅广告
- 搞编程选什么方向好?前端还是后端?阿里程序员和你聊聊就业心得
- 《第一堂棒球课》:王牌二垒手·棒球4号位
- 大整数加法基本思路和代码(C++实现)
- 原生Android设置sim卡锁定,如何为更安全的Android手机设置SIM卡锁 | MOS86