基本符号

名称	逻辑符号	python等价
逻辑与	a∧ba\wedge ba∧b	`a and b`
逻辑或	a∨ba\vee ba∨b	`a or b`
逻辑非	∼a\sim a∼a	`not a`
属于	a∈Za\in Za∈Z	`a in Z == True`，其中Z是list或tuple等集合结构

复杂推理

名称	逻辑符号	python等价
a推出b	a→ba\rightarrow ba→b 或 a⋅ba\cdot ba⋅b 或 ∼a∨b\sim a\vee b∼a∨b	`not a or b == True`

解读：
非a，则是当a不成立的意思。b就是当b成立的意思。整个逻辑的意思是，当a不成立或者b成立。这到底是什么意思呢？也就是所谓a推出b，当a成立的时候，那么非a就不成立，要使得逻辑或这个表达式成立，就意味着b必须为真；但是反过来却不一样，当b成立的时候，整个逻辑或表达式就为真了，这时候无论a是否为真，都不影响表达式成立，也是就是b成立推不出a必然成立。

名称	逻辑符号
存在（例：存在a推出b）	∃a⋅b\exists a\cdot b∃a⋅b 或 ∼(∀a⋅∼b)\sim\left( \forall a\cdot \sim b \right )∼(∀a⋅∼b)

python等价：

is_exist = False
for a in Z:if not a or b(a):is_exist = Truebreak
assert is_exist

解读：
这里其实是一个简化版。完整的公式一般是这样∃a∈Z⋅b\exists a\in Z\cdot b∃a∈Z⋅b表示在集合Z中存在一个元素a使得b成立。然后，什么叫做使得b成立呢？b一般是一个表达式、等式、函数等等。所以，放在python程序中，b通常是一个函数，输入一个变量，得出一个bool类型（假设一个逻辑，判断存在正整数a使得a>5成立，那么b这个函数就是lambda a: a>5）。由于计算机并不知道存在这个动作怎么定义，那么它就会遍历集合中所有的元素进行查找。由于是存在这个动作，因此只要找到一个，遍历过程就可以结束了，因此break。

逻辑符号第二个比较绕口，意思为不是任意A都推出B不成立（把全集都不成立否定了，说明个例存在），或者说任何（所有的）a都推出非b这个逻辑是错的。

基本数学逻辑学符号（数学知识用程序表达轻松学系列）相关推荐

python不会英语不会数学怎么自学-数学不好、英语不好、非本专业，想学Python数据分析，能安排吗？...
"非本专业想转型做数据分析,有救吗?" "数学不好,英语不好,想学Python数据分析,有救吗?" "不懂Python数据分析到底是什么,有救吗?&q ...
“编程能力差，90%输在了数学上！”CTO：多数程序员都是瞎努力！
01 从未得到过重视的问题一流程序员学数学,二流程序员学算法,低端看高端就是黑魔法. 可能有人以为这就是个段子,但有过工作经验的都知道,这其实就是程序员的真实写照! 想一想,我们学习.求职.工作的场 ...
“编程能力差，90% 输在了数学上！”CTO：多数程序员都是瞎努力！
01 从未得到过重视的问题一流程序员学数学,二流程序员学算法,低端看高端就是黑魔法. 可能有人以为这就是个段子,但有过工作经验的都知道,这其实就是程序员的真实写照! 想一想,我们学习.求职.工作的场 ...
[数学] 智机+视觉+机器学习必要的工程数学（应用数学）知识练习与总结 -- 微积分+高等数学
[数学] 智机+视觉+机器学习必要的工程数学(应用数学)知识练习与总结 – 微积分+高等数学链接: 智机+视觉+机器学习必要的工程数学(应用数学)知识练习与总结 – 线性代数+概率+统计. 注:.i ...
pg 时间戳能与整数比较大小吗_小学数学55组重要知识“顺口溜”+必考题型口诀，一遍就能记住！...
. 一年级二年级三年级四年级五年级六年级 (点击进入) 小学数学需要记住的知识点还是比较多的,看到这些知识点,很多孩子都觉得枯燥,不愿意用心去记.今天,小奥给孩子们汇总了55组"数 ...
Java黑皮书课后题第7章：*7.28（数学：组合）编写一个程序，提示用户输入10个整数，然后显示从这10个数中选出两个数的所有组合
7.28(数学:组合) 题目题目描述破题代码运行示例题目题目描述 *7.28(数学:组合)编写一个程序,提示用户输入10个整数,然后显示从这10个数中选出两个数的所有组合破题声明一个长 ...
Python练习：同符号数学运算
练习:同符号数学运算平台:Python123.io 教师:嵩天描述读入一个整数N,分别计算如下内容: 1. N的绝对值: 2. N与10进行同符号加法.减法和乘法运算,同符号运算指使用N的绝对值 ...
matlab simulink 数学符号,MATLAB符号数学
符号数学定义对符号(不是数字!)进行数学运算.例如, a + a为2a.符号数学函数位于MATLAB的Symbolic Math Toolbox中.工具箱包含相关功能, 并且是MATLAB的附加组件. ...
数学运算符号的英文表达
数学运算符号的英文表达小数.分数.百分数和运算符号 1. 小数表示法 (1) 小数的读法小数点左边的数通常按基数词读,若为三位以上的数,也可按编码式读法读出,即将数字单个读出:小数点右 ...
繁荣国家数学教育，坚持“知识共享”许可原则
上世纪60年代,鲁宾逊创立非标准分析.由此,鲁宾逊与当时的许多数学家坚信非标准数学将会促进传统的标准数学的发展.历史事实也证明了这一点. 进入二十一世纪,于2001年1月15日,&quo ...

基本数学逻辑学符号（数学知识用程序表达轻松学系列）

目录

基本符号

复杂推理

基本数学逻辑学符号（数学知识用程序表达轻松学系列）相关推荐

最新文章

热门文章