2024年5月6日发(作者：)

离散数学等价符号

1. 相等符号：=

数学基本符号之一，表示左右两边的值相等。

2. 逆否命题符号：≡（三条横线）

逆否命题是由原命题的否定，和原命题的逆向推导得到的新

命题。符号≡表示两个命题在逻辑上等价。

3. 否定符号：¬ 或 ~（波浪线）

表示否定，将命题取反。比如¬p表示“非p”，即p的否定命

题。

4. 合取命题符号： ∧ 或 ·（点号）

合取命题指的是同时成立的多个命题，符号∧表示“且”或

“并”。

5. 析取命题符号： ∨ 或 +（加号）

析取命题指的是其中至少有一个成立的命题，符号∨表示

“或”。

6. 蕴含符号：→ （箭头）

蕴含命题指的是一个命题在另一个命题成立的情况下一定成

立，符号→表示“蕴含”。

7. 等价符号：↔︎ （双向箭头）

等价命题指的是在双方成立的情况下，两个命题的真假相同，

符号↔︎表示“等价”。

8. 全称量词符号： ∀ （倒的“E”）

全称量词指的是对于集合中的所有元素，命题都成立，符号

∀表示“对于所有的”。

9. 存在量词符号： ∃ （倒的“E”加横线）

存在量词指的是在集合中存在一个元素，使得命题成立，符

号∃表示“存在一个”。

10. 空集符号： ∅（空心的集合符号）

空集指的是没有任何元素的集合，符号∅表示空集。