数学证明/附录/本书中使用的符号

这是本书中使用的所有数学符号列表。

---

$[a,b]$

闭区间表示法。表示从 a 到 b 之间的所有数字的集合（包括 a 和 b）

---

$\lor$

逻辑“或”连接词。一个真值语句，如果两个给定语句中的任何一个为真，则其真值为真，如果两个语句都为假，则其真值为假。 $P\lor Q$

---

$\land$

逻辑“与”连接词。一个真值语句，只有当两个给定语句都为真时其真值为真，否则为假。 $P\land Q$

---

$\lnot$

逻辑“非”一元运算符。一个真值语句，其值为与给定语句相反。 $\lnot P$

---

{ }

集合分隔符。集合可以显式定义（例如 $A=\{1,2,3,4\}$），或通过给出模式来伪显式定义（例如 $B=\{2,4,6,8,\ldots \}$. 它也可以用给定的规则定义（例如 $C=\{x|P(x)\}$，所有使得P(x) 为真的x 的集合）。

---

$\in$

“元素 of”二元运算符。这表示元素包含在集合中。如果x 是A 的元素，我们写 $x\in A.$

---

$\subset$

“集合包含”或“子集”二元运算符。如果A 的所有元素都在B 中，那么我们说A 是B 的子集，并写 $A\subset B.$ 注意，在本手册中，$A\subset B$ 当 $A=B.$

---

$\cup$

两个集合的并集。一个包含两个给定集合所有元素的集合。 $A\cup B=\{x|(x\in A)\lor (x\in B)\}.$

---

$\cap$

两个集合的交集。一个包含两个给定集合中所有元素的集合。 $A\cap B=\{x|(x\in A)\land (x\in B)\}.$