在邏輯中，經常使用一組符號來表達邏輯結構。因為邏輯學家非常熟悉這些符號，他們在使用的時候沒有解釋它們。所以，給學邏輯的人的下列表格，列出了最常用的符號、它們的名字、讀法和有關的數學領域。此外，第三列包含非正式定義，第四列給出簡短的例子。 要注意，在一些情況下，不同的符號有相同的意義，而同一個符號，依賴於上下文，有不同的意義。 基本邏輯符號 符號 名字 解說 例子 符號 讀作 解說 例子 符號 範疇 解說 例子 實質蘊涵 ARightarrow B 意味著如果 A 為真，則 B 也為真；如果 A 為假，則對 B 沒有任何影響。rightarrow 可能意味著同 Rightarrow 一樣的意思（這個符號也可以指示函式的域和陪域；參見數學符號表）。supset 可能意味著同 Rightarrow 一樣的意思（這個符號也可以指示超集）。 x2Rightarrow x24 為真，但 x24Rightarrow x2 不保證成立 因為 x 可以是 2。 蘊涵；如果 那麼 ARightarrow B 意味著如果 A 為真，則 B 也為真；如果 A 為假，則對 B 沒有任何影響。rightarrow 可能意味著同 Rightarrow 一樣的意思（這個符號也可以指示函式的域和陪域；參見數學符號表）。supset 可能意味著同 Rightarrow 一樣的意思（這個符號也可以指示超集）。 x2Rightarrow x24 為真，但 x24Rightarrow x2 不保證成立 因為 x 可以是 2。 命題邏輯 ARightarrow B 意味著如果 A 為真，則 B 也為真；如果 A 為假，則對 B 沒有任何影響。rightarrow 可能意味著同 Rightarrow 一樣的意思（這個符號也可以指示函式的域和陪域；參見數學符號表）。supset 可能意味著同 Rightarrow 一樣的意思（這個符號也可以指示超集）。 x2Rightarrow x24 為真，但 x24Rightarrow x2 不保證成立 因為 x 可以是 2。 實質等價 ALeftrightarrow B 意味著如果 A 為真則 B 為真，和如果 A 為假則 B 為假。 x5y2Leftrightarrow x3y 當且僅當 ALeftrightarrow B 意味著如果 A 為真則 B 為真，和如果 A 為假則 B 為假。 x5y2Leftrightarrow x3y 命題邏輯 ALeftrightarrow B 意味著如果 A 為真則 B 為真，和如果 A 為假則 B 為假。 x5y2Leftrightarrow x3y 邏輯否定 陳述 neg A 為真，當且僅當 A 為假。穿過其他算符的斜線同於在它前面放置的 neg。 neg neg ALeftrightarrow A xneq yLeftrightarrow neg xy 非 陳述 neg A 為真，當且僅當 A 為假。穿過其他算符的斜線同於在它前面放置的 neg。 neg neg ALeftrightarrow A xneq yLeftrightarrow neg xy 命題邏輯 陳述 neg A 為真，當且僅當 A 為假。穿過其他算符的斜線同於在它前面放置的 neg。 neg neg ALeftrightarrow A xneq yLeftrightarrow neg xy 邏輯合取 如果 A 與 B 二者都為真，則陳述 Aland B 為真；否則為假。 n4land n2Leftrightarrow n3 當 n 是自然數的時候。 與；且 如果 A 與 B 二者都為真，則陳述 Aland B 為真；否則為假。 n4land n2Leftrightarrow n3 當 n 是自然數的時候。 命題邏輯 如果 A 與 B 二者都為真，則陳述 Aland B 為真；否則為假。 n4land n2Leftrightarrow n3 當 n 是自然數的時候。 ǀ 邏輯析取 如果 A 或 B 之一為真陳述或 AB 兩者都為真陳述，則 Alor B 為真；如果二者都為假，則陳述為假。 ngeq 4lor nleq 2Leftrightarrow nneq 3 當 n 是自然數的時候。 ǀ 或 如果 A 或 B 之一為真陳述或 AB 兩者都為真陳述，則 Alor B 為真；如果二者都為假，則陳述為假。 ngeq 4lor nleq 2Leftrightarrow nneq 3 當 n 是自然數的時候。 ǀ 命題邏輯 如果 A 或 B 之一為真陳述或 AB 兩者都為真陳述，則 Alor B 為真；如果二者都為假，則陳述為假。 ngeq 4lor nleq 2Leftrightarrow nneq 3 當 n 是自然數的時候。 異或 陳述 Aoplus B 為真，在要麼 A 要麼 B 但不是二者為真的時候為真。Aveebar B 意思相同。 neg Aoplus A 總是真，Aoplus A 總是假。 xor 陳述 Aoplus B 為真，在要麼 A 要麼 B 但不是二者為真的時候為真。Aveebar B 意思相同。 neg Aoplus A 總是真，Aoplus A 總是假。 命題邏輯，布林代數 陳述 Aoplus B 為真，在要麼 A 要麼 B 但不是二者為真的時候為真。Aveebar B 意思相同。 neg Aoplus A 總是真，Aoplus A 總是假。 全稱量詞 forall xP x 意味著所有的 x 都使 P x 都為真。 forall nin mathbb Nn2geq n 對於所有；對於任何；對於每個 forall xP x 意味著所有的 x 都使 P x 都為真。 forall nin mathbb Nn2geq n 謂詞邏輯 forall xP x 意味著所有的 x 都使 P x 都為真。 forall nin mathbb Nn2geq n 存在量詞 exists xP x 意味著有至少一個 x 使 P x 為真。 exists nin mathbb Nn 是偶數。 存在著 exists xP x 意味著有至少一個 x 使 P x 為真。 exists nin mathbb Nn 是偶數。 謂詞邏輯 exists xP x 意味著有至少一個 x 使 P x 為真。 exists nin mathbb Nn 是偶數。 唯一量詞 exists xP x 意味著精確的有一個 x 使 P x 為真。 exists nin mathbb Nn52n 精確的存在一個 exists xP x 意味著精確的有一個 x 使 P x 為真。 exists nin mathbb Nn52n 謂詞邏輯 exists xP x 意味著精確的有一個 x 使 P x 為真。 exists nin mathbb Nn52n 定義 xy 或 xequiv y 意味著 x 被定義為 y 的另一個名字（但要注意 equiv 也可以意味著其他東西，比如恆 等）。PLeftrightarrow Q 意味著 P 被定義為邏輯等價於 Q。 cosh xfrac 12exp xexp xAoplus BLeftrightarrow Alor Blandurcorner Aland B 被定義為 xy 或 xequiv y 意味著 x 被定義為 y 的另一個名字（但要注意 equiv 也可以意味著其他東西，比如恆 等）。PLeftrightarrow Q 意味著 P 被定義為邏輯等價於 Q。 cosh xfrac 12exp xexp xAoplus BLeftrightarrow Alor Blandurcorner Aland B 所有地方 xy 或 xequiv y 意味著 x 被定義為 y 的另一個名字（但要注意 equiv 也可以意味著其他東西，比如恆 等）。PLeftrightarrow Q 意味著 P 被定義為邏輯等價於 Q。 cosh xfrac 12exp xexp xAoplus BLeftrightarrow Alor Blandurcorner Aland B 優先組合 優先進行括號內的運算。 left frac 84 right div 2frac 221 而 8divfrac 42frac 824 優先進行括號內的運算。 left frac 84 right div 2frac 221 而 8divfrac 42frac 824 所有地方 優先進行括號內的運算。 left frac 84 right div 2frac 221 而 8divfrac 42frac 824 推論 xvdash y 意味著 y 推導自 x。 Arightarrow Bvdashneg Brightarrowneg A 推論或推導 xvdash y 意味著 y 推導自 x。 Arightarrow Bvdashneg Brightarrowneg A 命題邏輯，謂詞邏輯 xvdash y 意味著 y 推導自 x。 Arightarrow Bvdashneg Brightarrowneg A BoxL 必然性 Box P 意味著如果 P 不可能，為假。 BoxL 必然的 Box P 意味著如果 P 不可能，為假。 BoxL 模態邏輯 Box P 意味著如果 P 不可能，為假。 DiamondM 可能性 lozenge P 意味著如果 P 可能，為真，不管實際上是真是假。 DiamondM 可能的 lozenge P 意味著如果 P 可能，為真，不管實際上是真是假。 DiamondM 模態邏輯 lozenge P 意味著如果 P 可能，為真，不管實際上是真是假。 參見 數學符號表 Help 數學公式 Category 數學表示法 Category 數學符號 Category 標記法