1. 结论

先说结论！！！（此结非彼结）
一个成立的前提有且仅有一个结论，而且它是成立的结论。（规定）
一个不成立的前提可以有任意的结论，包括成立和不成立的结论。
所以
1->1是对的
1->0是错的
0->1是对的
0->0是对的
（可以理解成基于真话只有定论，基于假话，可以说的真真假假）

2. 问题

之前一直不理解为什么0->1=1，0->0=1?

3. 解决

->(蕴涵)是命题A是否可以推出命题B的结果。
如果用自然语言描述的话，发现命题A和命题B存在一定联系时，其蕴涵表达式才有意义。
对于逻辑上毫无关系的两件事，蕴涵表达式仅仅起计算作用，或者你也可以认为是你的计算使得
这两件事有了关联！！！

1. 先摆上真值表

A	B	F
0	0	1
0	1	1
1	0	0
1	1	1

2. 我们反过来看

1. 后两个

A=1，B=1，F=1，前提成立，结论成立时，我们规定这个推理是正确的。
A=1，B=0，F=0，前提成立，结论不成立，怎么理解呢，这是上个推理的对立事件，因为一个成立的前提只能推出一种结论，而结论只有成立或者不成立，当我们规定上个推理正确时，那么这个推理就是错误的。

2. 前两个

A=0，B=0，F=1 和 A=0，B=1，F=1
我们可以发现，他们两者的前提都不成立，那么，根据之前写到的

前提成立，结论成立时，我们规定这个推理是正确的。

那我们是否可以认为前提不成立，结论不成立的推理也是正确的呢?

然而我们并没有规定，

这需要我们思考一下

前提不成立时，你也可以得到结论有两种状态，要么成立要么不成立 ，废话，这不就是没有前提时也可以得出的结果？？！是的，当前提不成立时，前提就和我们的推理无关了，那么这时候的推理不就随便推，你可以说它推出正确的结论，也可以说它推出错误的结论。所以都是对的！！！

这正好是前两种情况。

总之，当你有了错误的前提，可以推出任何结论！！！
而当你有了正确的前提，结论就唯一了！！！

这也让我们认识到->计算返回的是推理的正确与否，它在乎的是推理的过程是否正确，不是其他的东西。

4. 新的认识

->蕴涵，不适合翻译为：如果…那么…，它更像是一条基本运算，真值表就是这个，没有理由。什么是基本运算，比如你可以定义A#B，然后定义它的真值表，然后一个崭新的逻辑连接词就形成了。

至于为什么这样定义真值表，逻辑学家在考虑如何表示：P是Q的充分条件。
当P出现，一定导致Q出现，（因为P前提可以推出结论Q）。
当P不出现，Q可出现，Q可不出现，（因为可能存在其他前提推出结论Q）。
对应到真值表，就P->~Q是推不出的。

即之前说的话，可以直接跳过，只需记住
P->Q是指P是Q的充分条件，
有P，Q成立，没P，还有A，B，C，D...

数学-蕴涵-＞真值表理解相关推荐

如何用数学函数去理解机器学习？
本文主要分享了如何基于数学函数原理去理解机器学习的本质,并简要介绍了机器学习的过程. 近期也是在做项目的过程中发现,其实AI产品经理不需要深入研究每一种算法,能了解机器学习的过程,这其中用到哪些常用算 ...
webservice无法理解soap头action_数学是对理解的追求，而不仅仅是追求计算
作者:Dr. Dilts 俄勒冈大学数学博士,其埃尔得什数等于3. 翻译,MathIsAll,哆嗒数学网翻译组成员. 关注哆嗒数学网每天获得更多数学趣文大多数人的数学观念是在小学时被灌输的. 根 ...
鄂维南：从数学角度，理解机器学习的「黑魔法」，并应用于更广泛的科学问题...
作者 | Hertz 来源 | 科学智能AISI 北京时间2022年7月8日晚上22:30,鄂维南院士在2022年的国际数学家大会上作一小时大会报告(plenary talk).今天我们带来鄂老师演讲 ...
机器学习数学本质的理解
Datawhale干货作者:鄂维南院士,来源:科学智能AISI 北京时间2022年7月8日晚上22:30,鄂维南院士在2022年的国际数学家大会上作一小时大会报告(plenary talk).今天我 ...
数学英语题目理解模型记录(1)
前言我们时常能看见一些英语或者数学的ai例子.这里做一下记录数学 JiuZhang JiuZhang: A Chinese Pre-trained Language Model for Mathe ...
Buffon投针实验 · 数学的直观理解 · 基础知识很重要
从Matrix67博客的一个数学问题说起 http://www.matrix67.com/blog/archives/2494 M大牛语录-- "数学学习真正悲哀的就是,记住了某个神 ...
三维重建学习(5)：简单地从数学原理层面理解双目立体视觉
前言这是我前段时间学习双目视觉时做的笔记,这一篇文章不会进行过于细致的推导,仅仅会在一些理想情况下做一些简单的推导,目标是得到一个直观上的认识:双目视觉是如何得到三维立体坐标的.以后的博客还会再放上 ...
数学期望的理解和计算
1.数学期望指的就是大家经常说的平均数,通常用"E"来表示. 实例说明: 某城市有10万个家庭,没有孩子的家庭有1000个,有一个孩子的家庭有9万个,有两个孩子的家庭有6000个, ...
数学：简单理解指数、对数、乘方、开方
a x = y a ^ x = y ax=y 底数.指数和幂就呈现了如下可能: 知道底数和指数求结果的是幂,也就是说的乘方知道幂和指数求底数就是开方知道幂和底数求指数就是对数运算定义指数: y ...

数学-蕴涵-＞真值表理解