數學證明/附錄/本書中使用的符號

這是本書中使用的所有數學符號列表。

---

$[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)\}.$