离散数学笔记2022-10-05

符号的由来和意义

∧ AND
∨ OR
∪ Unite
∩ intersection
∀ All
∃ Exist

----------------------------------------------------------

为什么布尔运算与集合运算十分相似？

参考网络资料。

链接：https://www.jianshu.com/p/e6c0dcc0a334

含有有限个元素的布尔代数总是与集合代数同构。具体来说，基于{0, 1}的布尔代数与{Φ, {1}}的集合代数同构。许多逻辑运算中的概念可以在集合运算中找到对应概念。这里列举出几个常见的对应关系：

逻辑运算的概念	对应的集合论的概念
与	交集
或	并集
非	补集
异或	对称差
→	⊆
（0→0=1)∧(0→1=1)	空集是任何集合的子集

 

量词

任意”：∀；“存在”：∃

全称量词：短语“对所有的”，“对任意的”在陈述中表示整体或全部的含义，逻辑中通常叫做全称量词，并用符号“∀”表示。

存在量词：短语“存在一个”，“至少有一个”在陈述中表示个别或者一部分的含义，在逻辑中通常叫做存在量词，并用符号“∃”表示。
常见的存在量词还有“有些”、“有一个”、“对某个”、“部分”等。
特称命题“存在M中的一个x，使p(x）成立”。简记为：∃x ∈ M，p（x）。读作：存在一个x属于M，使p（x）成立。

原文链接：https://blog.csdn.net/shixin_0125/article/details/118491469