Set Theory & Logic Symbols

集合论与逻辑

用于计算机科学、高等数学和形式逻辑。

符号	名称	含义 / 用法
$\emptyset$ 或 $\{\}$	空集	不包含任何元素的集合。
$\in$	属于	属于集合（ $a \in A$ ）。
$\notin$	不属于	不属于集合（ $a \notin A$ ）。
$\cup$	并集	集合 A 或集合 B 中的元素（ $A \cup B$ ）。
$\cap$	交集	集合 A 和集合 B 中的元素（ $A \cap B$ ）。
$\subset$	子集	A 包含在 B 中（ $A \subset B$ ）。
$\forall$	对所有	全称量词（对每个实例都成立）（ $\forall x \in \mathbb{R}$ ）。
$\exists$	存在	存在量词（至少对一个实例成立）（ $\exists x$ ）。
$\Rightarrow$	蕴含	如果 A 为真，则 B 为真（ $A \Rightarrow B$ ）。
$\Leftrightarrow$	当且仅当	A 和 B 逻辑等价（ $A \Leftrightarrow B$ ）。
$\therefore$	因此	用于陈述结论。
$\because$	因为	用于陈述原因。