蕴含命题遇到的疑惑和解答
很多逻辑学初学者学习命题逻辑时,都有疑惑。有的初学者甚至不知道疑惑在哪里。我写这篇文章的目的就是带领大家拨开这片迷雾见真知。
先上蕴含命题的真值表
你朋友对你说:如果天下雨,那么地面潮湿
如果…那么…,这个是蕴含命题。你想应用一下真值表,于是设其为命题A
1号,天下雨,地面潮湿。命题A为真。
2号,天下雨,地面不潮湿。哈哈,朋友你说错了,命题A为假。
3号,天不下雨,地面潮湿。命题A好像无法确定?甚至不知道有没有意义。
4号,天不下雨,地面不潮湿。同样的,命题A好像无法确定??
于是,你疑惑了,3、4号明明无法确定,为什么真值表能判断出来!而且都还是为真?!
很好,认识到了疑惑,你已经前进了一大步。
这种疑惑很多人都有,学术界就将其命名为“实质蕴含怪论”。
实质蕴涵是为了区分严格蕴含。。它们的区别是,严格蕴含的前件和后件的内容是有联系的。实质蕴含没有,但形式逻辑,是不关心内容的,实质蕴涵还是有存在的必要的。
回到正题,3、4号这些情况,有没有意义呢?有意义,结论为什么为真?
先回答后面的问题,3、4号为什么为真?
论证:
论题:前提是荒谬的,结论再荒谬(不管真假),蕴含命题推论都是成立的。
论据:题设和已知都可以作为前提。
论证方法:如果题设是假前提,那么假前提+已知真前提=矛盾
说明一下,假前提+真前提都作为前提,这是荒谬的,有种违反排中律的味道(像在辩论时,辩题两边你都要)。这种情况,岂不是你想怎样就怎样?那有什么后件你推不出来的呢?
所以,3、4号时,蕴含命题为真。
有没有意义?罗素说是有的,实质蕴含是罗素提出来的。
其实,在数学里面或在日常生活的大多推理里面,根据实质蕴涵确定的推理就够用了,不会出错。
体测过了就行了,你跑得再快也没有什么。
蕴含命题遇到的疑惑和解答相关推荐
- 语音信号处理疑惑与解答
语音信号处理疑惑与解答 什么是梅尔倒谱 声道形状如何描述 频谱是什么 什么是声谱图 什么共振峰 倒谱的求解过程 mel频率是什么 如何求解梅尔倒谱系数 1. 什么是语音识别 2. 什么是信道 3. 什 ...
- 关于 android 的 view.getLeft(), getRight(), getTop(), getBottom() 的一些疑惑(坑)解答
(原创) 今天在做下滑刷新的时候碰到 view 的四个 get 函数有点特别,具体遇到的问题如下,经反复测试和查找资料,填坑如下: 1,为什么我有时候在使用getLeft(), getRight(), ...
- 风尚云网学react-React的一些疑惑及解答
目录 一:请问为什么选择使用框架而不是原生? 二:请问虚拟DOM实现原理? 三:请问React的请求应该放在哪个生命周期中? 四:请问setState到底是异步还是同步? 五:请问Render Pro ...
- 关于量化交易的种种疑惑与解答
Q1:什么是量化投资/量化交易/量化金融,这三个概念有什么区别吗? 这三个概念有个共同词,就是量化,而量化就是用计算机语言来实现数学和统计模型来解决金融问题,因此区分三个概念只需区分金融.投资和交易. ...
- C++疑惑解答总结(一)
C++现在是我很常用的一门编程语言,不过使用也限于oj.leetcode等描述算法的方面,真正用于工程的时候较少,导致对C++的部分用法并不熟悉,下面就是我在用C++常常会有的疑惑及解答吧:(参考&l ...
- 蕴含存在的意义到底是什么
大学里学离散数学的时候就一直没搞懂蕴含的意义,现在又碰到同样的问题. 先看定义(教材用的是机械工业出版社的<离散数学及其应用>): 蕴含的定义 令p和q为命题,蕴含p->q是这样一个 ...
- 2014电大计算机基础考核册答案,电大计算机本科【计算机数学基础(1)】形成性考核册答案(附完整题目)...
资源描述: 电大[计算机数学基础(1)]形成性考核册答案[计算机数学基础(1)]形考作业一: 第1章 命题逻辑 一.单项选择题 1. 下列语句是真命题为( ). A. 我正在说谎 B. 如果1+2=3 ...
- 计算机英语形成性考核册答案,电大计算机本科【计算机数学基础(1)】形成性考核册答案(附完整题目)...
电大计算机本科[计算机数学基础(1)]形成性考核册答案(附完整题目) (26页) 本资源提供全文预览,点击全文预览即可全文预览,如果喜欢文档就下载吧,查找使用更方便哦! 19.90 积分 电大[计算机 ...
- 调试寄存器(debug registers, DRx)理论及实践
导读: 标 题:DRx寄存器的使用(待续) (4千字) 发信人:hume 时 间:2003-06-18 17:33:11 详细信息: 调试寄存器(DRx)理论与实践 By Hume/冷雨飘心 前言 ...
最新文章
- ab ApacheBench web测试工具
- DSP2812程序执行过程
- 2018.11.01 NOIP训练 cost数(搜索+容斥原理)
- 缓存中常见的概念及解决方案
- mysql实例化_mysql多实例实例化数据库
- WebSocket和Java
- 数十万应用结点全息监控,ARMS新上线的应用监控神器到底有多牛?
- unity算法面试_Unity面试题汇总
- 一级计算机基础试题答案,计算机一级计算机基础试题及答案
- 强连通分量的一种类 Tarjan 算法以及Tarjan算法推导初探
- mfp服务器控制中心,固网1008MFP驱动
- 决策树应用实例③——银行借贷模型
- 敏捷其实很简单(7) Scrum Master的7种武器之长生剑和孔雀翎
- Unity烘焙时UV Overlap的解决办法
- 《学会提问》读书笔记
- ristretto255 point压缩和解压缩算法(1)——affine坐标系下
- 休闲阅读——《只是为了好玩:Linux之父林纳斯自传》
- 一款基于Latex语法和MathJax渲染的零基础公式编辑器,数学公式插件
- 微信小程序自定义导航
- php %3f,url=http%3A%2F%2Fbbs.byr.edu.cn%2Fpc%2Findex.php%3Fid%3Dgootyking 豆瓣音乐humanSmall站...