很多逻辑学初学者学习命题逻辑时,都有疑惑。有的初学者甚至不知道疑惑在哪里。我写这篇文章的目的就是带领大家拨开这片迷雾见真知。

先上蕴含命题的真值表

你朋友对你说:如果天下雨,那么地面潮湿
如果…那么…,这个是蕴含命题。你想应用一下真值表,于是设其为命题A
1号,天下雨,地面潮湿。命题A为真。
2号,天下雨,地面不潮湿。哈哈,朋友你说错了,命题A为假。
3号,天不下雨,地面潮湿。命题A好像无法确定?甚至不知道有没有意义。
4号,天不下雨,地面不潮湿。同样的,命题A好像无法确定??
于是,你疑惑了,3、4号明明无法确定,为什么真值表能判断出来!而且都还是为真?!

很好,认识到了疑惑,你已经前进了一大步。
这种疑惑很多人都有,学术界就将其命名为“实质蕴含怪论”。
实质蕴涵是为了区分严格蕴含。。它们的区别是,严格蕴含的前件和后件的内容是有联系的。实质蕴含没有,但形式逻辑,是不关心内容的,实质蕴涵还是有存在的必要的。

回到正题,3、4号这些情况,有没有意义呢?有意义,结论为什么为真?
先回答后面的问题,3、4号为什么为真?
论证:
论题:前提是荒谬的,结论再荒谬(不管真假),蕴含命题推论都是成立的。
论据:题设和已知都可以作为前提。
论证方法:如果题设是假前提,那么假前提+已知真前提=矛盾
说明一下,假前提+真前提都作为前提,这是荒谬的,有种违反排中律的味道(像在辩论时,辩题两边你都要)。这种情况,岂不是你想怎样就怎样?那有什么后件你推不出来的呢?
所以,3、4号时,蕴含命题为真。

有没有意义?罗素说是有的,实质蕴含是罗素提出来的。
其实,在数学里面或在日常生活的大多推理里面,根据实质蕴涵确定的推理就够用了,不会出错。
体测过了就行了,你跑得再快也没有什么。

蕴含命题遇到的疑惑和解答相关推荐

  1. 语音信号处理疑惑与解答

    语音信号处理疑惑与解答 什么是梅尔倒谱 声道形状如何描述 频谱是什么 什么是声谱图 什么共振峰 倒谱的求解过程 mel频率是什么 如何求解梅尔倒谱系数 1. 什么是语音识别 2. 什么是信道 3. 什 ...

  2. 关于 android 的 view.getLeft(), getRight(), getTop(), getBottom() 的一些疑惑(坑)解答

    (原创) 今天在做下滑刷新的时候碰到 view 的四个 get 函数有点特别,具体遇到的问题如下,经反复测试和查找资料,填坑如下: 1,为什么我有时候在使用getLeft(), getRight(), ...

  3. 风尚云网学react-React的一些疑惑及解答

    目录 一:请问为什么选择使用框架而不是原生? 二:请问虚拟DOM实现原理? 三:请问React的请求应该放在哪个生命周期中? 四:请问setState到底是异步还是同步? 五:请问Render Pro ...

  4. 关于量化交易的种种疑惑与解答

    Q1:什么是量化投资/量化交易/量化金融,这三个概念有什么区别吗? 这三个概念有个共同词,就是量化,而量化就是用计算机语言来实现数学和统计模型来解决金融问题,因此区分三个概念只需区分金融.投资和交易. ...

  5. C++疑惑解答总结(一)

    C++现在是我很常用的一门编程语言,不过使用也限于oj.leetcode等描述算法的方面,真正用于工程的时候较少,导致对C++的部分用法并不熟悉,下面就是我在用C++常常会有的疑惑及解答吧:(参考&l ...

  6. 蕴含存在的意义到底是什么

    大学里学离散数学的时候就一直没搞懂蕴含的意义,现在又碰到同样的问题. 先看定义(教材用的是机械工业出版社的<离散数学及其应用>): 蕴含的定义 令p和q为命题,蕴含p->q是这样一个 ...

  7. 2014电大计算机基础考核册答案,电大计算机本科【计算机数学基础(1)】形成性考核册答案(附完整题目)...

    资源描述: 电大[计算机数学基础(1)]形成性考核册答案[计算机数学基础(1)]形考作业一: 第1章 命题逻辑 一.单项选择题 1. 下列语句是真命题为( ). A. 我正在说谎 B. 如果1+2=3 ...

  8. 计算机英语形成性考核册答案,电大计算机本科【计算机数学基础(1)】形成性考核册答案(附完整题目)...

    电大计算机本科[计算机数学基础(1)]形成性考核册答案(附完整题目) (26页) 本资源提供全文预览,点击全文预览即可全文预览,如果喜欢文档就下载吧,查找使用更方便哦! 19.90 积分 电大[计算机 ...

  9. 调试寄存器(debug registers, DRx)理论及实践

    导读: 标 题:DRx寄存器的使用(待续) (4千字) 发信人:hume   时 间:2003-06-18 17:33:11 详细信息: 调试寄存器(DRx)理论与实践 By Hume/冷雨飘心 前言 ...

最新文章

  1. ab ApacheBench web测试工具
  2. DSP2812程序执行过程
  3. 2018.11.01 NOIP训练 cost数(搜索+容斥原理)
  4. 缓存中常见的概念及解决方案
  5. mysql实例化_mysql多实例实例化数据库
  6. WebSocket和Java
  7. 数十万应用结点全息监控,ARMS新上线的应用监控神器到底有多牛?
  8. unity算法面试_Unity面试题汇总
  9. 一级计算机基础试题答案,计算机一级计算机基础试题及答案
  10. 强连通分量的一种类 Tarjan 算法以及Tarjan算法推导初探
  11. mfp服务器控制中心,固网1008MFP驱动
  12. 决策树应用实例③——银行借贷模型
  13. 敏捷其实很简单(7) Scrum Master的7种武器之长生剑和孔雀翎
  14. Unity烘焙时UV Overlap的解决办法
  15. 《学会提问》读书笔记
  16. ristretto255 point压缩和解压缩算法(1)——affine坐标系下
  17. 休闲阅读——《只是为了好玩:Linux之父林纳斯自传》
  18. 一款基于Latex语法和MathJax渲染的零基础公式编辑器,数学公式插件
  19. 微信小程序自定义导航
  20. php %3f,url=http%3A%2F%2Fbbs.byr.edu.cn%2Fpc%2Findex.php%3Fid%3Dgootyking  豆瓣音乐humanSmall站...

热门文章

  1. C语言程序设计李,C语言程序设计4--李2012.ppt
  2. mysql-community-server是什么?
  3. FFmpeg源码分析-直播延迟-内存泄漏
  4. C++游戏天堂——经典型(1)
  5. nas文件服务器改造,nas 文件服务器的配置
  6. css文件处理,安装 less-loader
  7. 分析会计选择在税收筹划中的运用
  8. 浙大 | FcaNet:频域通道注意力机制(keras实现)
  9. windows bat系列4:for处理案例一 逐行处理字段分割
  10. 04【结构面】 面试之结构面,什么是结构面?结构面的准备,常见问题分析?