如果A为假，则蕴含A-B恒为真

最近看卓里奇的数学分析，遇到这个问题，第一次看还真的不懂。

知乎大神的解释真的通俗易懂。https://www.zhihu.com/question/345295530/answer/821969610

解释如下：

这个结论初看上去似乎有点反直觉，但事实上仍可得到理解。试想我们要进行一个推理或者论证，有效的论证形式是这样的：

前提1：ppp -> qqq 真；
前提2：ppp 真；
结论： qqq 真。

这个（肯定前件式）论证形式是如此平凡，以至不需要我们作更多的解释。现在，请注意，假如我们要利用 ppp -> qqq 这个前提进行推理，就需要 ppp 是真的，那么当 ppp 为假时，我们就不能利用ppp -> qqq 进行推理，这样的话，即使我们规定 ppp -> qqq为真，也不会得出什么有用的结论，因为前提2永不能满足之。

我们再换一个角度来理解这个问题。试想一天你的老板告诉你：「如果你完成了这项工作，我就马上给你晋升。」你在什么情况下才能指责老板撒了谎？显然，只有当你完成了工作、他却没有给你升职时，你才能指责老板是个骗子，这就相当于 ppp 真、qqq 假、 ppp -> qqq 为假的情形。除此而外，无论你是没完成工作却被升了职，还是没完成工作也没被升职，你都不能说老板撒了谎，相反你应该认为他还是说了真话，这也就相当于说，ppp 假时，ppp -> qqq 是真的。

最后，要注意将「语言含义」和「逻辑含义」区分开来。「若雪是红的，则鸡会打鸣。」这句话如果从日常语言的角度来理解，是无论如何解释不通的，生活中也几乎没有人会这样说话，毕竟雪的颜色和鸡打不打鸣又能有什么关系？然而，站在逻辑学的立场上，这是一个真命题。

如果A为假，则蕴含A-B恒为真相关推荐

02 命题逻辑的基本概念
离散数学与组合数学汇总文章目录 1.1 命题与联结词定义1.1 定义1.2 定义1.3 定义1.4 定义1.5 小结 1.2 命题公式其赋值定义1.6 定义1.7 定义1.8 定义1.9 定义1 ...
C语言如何表示“真”和“假”，系统如何判断一个量的“真”和“假”？
在C语言中,对于逻辑表达式,若其值为"真",则以"1"表示.若其值为"假",则以"0"表示. 对于系统来说,判断一个逻辑 ...
20210510_AI方面常见试题
记录下自己开始学AI方面的一些日常习题目录第一天_2021.5.10 1,为什么要对特征做归一化 2,什么是组合特征?如何处理高维组合特征? 3,请比较欧式距离与曼哈顿距离? 4,为什么一些场景中 ...
【离散数学】数理逻辑第一章命题逻辑(7) 命题逻辑的推理理论
本文属于「离散数学」系列文章之一.这一系列着重于离散数学的学习和应用.由于内容随时可能发生更新变动,欢迎关注和收藏离散数学系列文章汇总目录一文以作备忘.此外,在本系列学习文章中,为了透彻理解数学知识, ...
Python数据分析高薪实战第十二天网络服务用户流失预测分析和国产电视剧评分预测分析
29 综合实战:网络服务用户流失预测与分析绝大多数互联网公司都面临一个非常重要的问题:用户流失问题.随着互联网和移动互联网的充分发展,发展新用户(也就是一般所说的拉新)的成本越来越高,往往要几块或者 ...
[离散数学]命题逻辑P_7：范式
[离散数学]命题逻辑P_7:范式前言 1. 范式定义基本术语范式定义例子 2. 范式求解范式存在定理证明例子范式与真值总结前言第七讲:范式数理逻辑,就是用数学的方法研究逻辑推理 ...
ZUCC_离散数学基础__简单期末复习整理
离散数学基础__简单期末复习整理文章目录离散数学基础__简单期末复习整理第一次课命题逻辑基本概念命题及其真值简单命题与复合命题联结词与复合命题第二次课公式的赋值命题公式的分类第三 ...
【离散数学】1. 数理逻辑
1.数理逻辑 2. 集合论 3. 代数系统 4. 图论离散数学:研究离散量结构及相互关系的学科数理逻辑集合论代数系统图论逻辑:研究推理的科学数学方法:引进一套符号系统的方法数理逻辑是用 ...
离散数学-数理逻辑-命题逻辑的基本概念（1）
命题逻辑的基本概念一.命题的相关概念二.命题符号化三.命题公式及其赋值一.命题的相关概念 1.命题:具有非真即假的陈述句称为命题.而命题根据真假可以分为"真命题" 和&qu ...
离散数学知识点及错题集合第一章
离散数学及其应用第1章 1.1 命题逻辑 1.1.2 命题复合命题 1.1.3 条件语句逆命题.逆否命题与反命题双条件语句 1.1.5 逻辑运算的优先级 1.1.6 逻辑运算和位运算 1.2 ...

如果A为假，则蕴含A-B恒为真

如果A为假，则蕴含A-B恒为真相关推荐

最新文章

热门文章