离散数学（五）：命题逻辑的推理理论

苗妮

已于 2022-09-24 09:29:08 修改

阅读量9.9k

点赞数 9

分类专栏：离散数学

于 2022-09-19 18:01:05 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/u014655960/article/details/126938188

版权

离散数学专栏收录该内容

14 篇文章 62 订阅

订阅专栏

1、推理的定义

定义：设A和B是两个命题公式，当且仅当A $\rightarrow$ B是重言式时，称从A可推出B或B是前提A的
有效结论，记为A $\Rightarrow$ B .
注意：命题公式A推出B的推理正确当且仅当A $\rightarrow$ B为重言式.

2、推理的形式结构

结构1： $A_{1}\wedge A_{2}\wedge A_{3}\wedge A_{4}\wedge ...\wedge A_{k} \rightarrow B$

结构2：

前提： $A_{1},A_{2},A_{3},A_{4},...A_{k}$

结论：B

推理正确：记作 $A_{1}\wedge A_{2}\wedge A_{3}\wedge A_{4}\wedge ...\wedge A_{k} \Rightarrow B$

3、推理定律

4、判断推理正确的方法

当命题变项比较少时，用前3个方法比较方便, 此时采用形式结构 $A_{1}\wedge A_{2}\wedge A_{3}\wedge A_{4}\wedge ...\wedge A_{k} \rightarrow B$ ，证明命题公式为永真式即可。

而在构造证明时，采用“前提: A1, A2, … , Ak, 结论: B”.

5、构造证明法

构造证明的思路分为三种：直接证明法、附加前提证明法、归谬法。下面分别举例：

（1）直接证明法

（2）附加前提证明法

（3）归谬法

关注

9
点赞
踩
86

收藏

觉得还不错? 一键收藏
1
评论
离散数学（五）：命题逻辑的推理理论

离散数学基础
复制链接

扫一扫

专栏目录

评论 1

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。