符号的由来和意义
∧ 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