逻辑符号表- 维基百科，自由的百科全书

在逻辑中，经常使用一组符号来表达逻辑结构。

因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。

所以，给学逻辑的人的下列表格，列出了最常用的符号、它们 ... 邏輯符號表 维基媒体列表条目 語言 監視 編輯 本頁面包含特殊字元，部分作業系統及瀏覽器需要特殊字母與符號支援才能正確顯示，否則可能出現亂碼、問號、空格等其它符號。

在邏輯中，經常使用一組符號來表達邏輯結構。

因為邏輯學家非常熟悉這些符號，他們在使用的時候沒有解釋它們。

所以，給學邏輯的人的下列表格，列出了最常用的符號、它們的名字、讀法和有關的數學領域。

此外，第三列包含非正式定義，第四列給出簡短的例子。

要注意，在一些情況下，不同的符號有相同的意義，而同一個符號，依賴於上下文，有不同的意義。

邏輯符號表一般標點符號撇號’  '括號[ ]  ( )  { }  ⟨ ⟩  （ ）冒號:逗號，  ,  ،  、頓號、連接號‒ – — ―破折號 ──省略號…  ...  ⋯  ᠁  ฯ嘆號！  !句號。

  .書名號‹ ›  « »  《 》  ﹏ ︴專名號＿  ︳連字號‐連字暨減號-問號？  ?引號‘ ’  “ ”  ' '  " "  「 」『 』分號;  ；斜線/  ⧸  ⁄著重號‧示亡號　隱諱號×分字符間隔號·空格     一般排版符號和號&星號*@@井號#數字符號№反斜線\等號=倒感嘆號¡倒問號¿乘號×除號÷序數標識（英語：ordinalindicator）ºª百分號 %千分號‰萬分號‱加號、減號+−正負號、負正號±∓度數符號°角分符號′  ″  ‴段落符號¶  //  豎線|  ‖  ¦分節符號§參考標記※項目符號•脫字符^波浪號~上橫線‾下橫線_虛缺號□劍標†‡⹋同上符號〃智慧財產權符號版權符號©copyleft錄音版權符號（英語：Soundrecordingcopyrightsymbol）℗註冊商標符號®服務商標℠商標符號™貨幣國際貨幣符號¤貨幣符號 ؋​₳​ ฿​₿​ ₵​¢​₡​₢（英語：Braziliancruzeiro）​ $​₫​₯​֏​ ₠​€​ ƒ（英語：Florinsign）​₣​ ₲​ ₴​ ₭​ ₺​₾​ ₼​ℳ​₥​ ₦​ ₧​₱（英語：Philippinepesosign）​₰​£​ 元圓圓​﷼​៛​₽（英語：Rublesign）​₹（英語：Indianrupeesign）₨​ ₪（英語：Shekelsign）​ ৳​₸​₮​ ₩​ ¥円 特殊排版符號asterism（英語：Asterism(typography)）⁂fleuron,hedera（英語：Fleuron(typography)）❧標示號☞疑問驚嘆號‽反諷號（英語：ironypunctuation）⸮菱形◊連音符⁀相關符號 附加符號邏輯符號 空白字符（英語：Whitespacecharacter）其他語言標點符號希伯來語標點符號日語標點符號（英語：Japanesepunctuation）韓語標點符號（英語：Koreanpunctuation）閱論編基本邏輯符號編輯 符號 名字 解說 例子 讀作 範疇 ⇒→⊃ 實質蘊涵 A ⇒ B {\displaystyleA\RightarrowB}  意味著如果 A {\displaystyleA}  為真，則 B {\displaystyleB}  也為真；如果 A {\displaystyleA}  為假，則對 B {\displaystyleB}  沒有任何影響。

→ {\displaystyle\rightarrow}  可能意味著同 ⇒ {\displaystyle\Rightarrow}  一樣的意思（這個符號也可以指示函數的域和陪域；參見數學符號表）。

⊃ {\displaystyle\supset}  可能意味著同 ⇒ {\displaystyle\Rightarrow}  一樣的意思（這個符號也可以指示超集）。

x = 2 ⇒ x 2 = 4 {\displaystylex=2\Rightarrowx^{2}=4}  為真，但 x 2 = 4 ⇒ x = 2 {\displaystylex^{2}=4\Rightarrowx=2}  不保證成立(因為 x {\displaystylex}  可以是 − 2 {\displaystyle-2}  )。

蘊涵；如果..那麼 命題邏輯 ⇔↔ 實質等價 A ⇔ B {\displaystyleA\LeftrightarrowB}  意味著如果 A {\displaystyleA}  為真則 B {\displaystyleB}  為真，和如果 A {\displaystyleA}  為假則 B {\displaystyleB}  為假。

x + 5 = y + 2 ⇔ x + 3 = y {\displaystylex+5=y+2\Leftrightarrowx+3=y}   若且唯若;iff 命題邏輯 ¬˜ 邏輯否定 陳述 ¬ A {\displaystyle\negA}  為真，若且唯若 A {\displaystyleA}  為假。

穿過其他算符的斜線同於在它前面放置的" ¬ {\displaystyle\neg}  "。

¬ ( ¬ A ) ⇔ A {\displaystyle\neg(\negA)\LeftrightarrowA}   x ≠ y ⇔ ¬ ( x = y ) {\displaystylex\neqy\Leftrightarrow\neg(x=y)}   非 命題邏輯 ∧•& 邏輯合取 如果 A {\displaystyleA}  與 B {\displaystyleB}  二者都為真，則陳述 A ∧ B {\displaystyleA\landB}  為真；否則為假。

n < 4 ∧ n > 2 ⇔ n = 3 {\displaystylen<4\landn>2\Leftrightarrown=3}  當 n {\displaystylen}  是自然數的時候。

與;且 命題邏輯 ∨+ǀ 邏輯析取 如果 A {\displaystyleA}  或 B {\displaystyleB}  之一為真陳述或 A B {\displaystyleAB}  兩者都為真陳述，則 A ∨ B {\displaystyleA\lorB}  為真；如果二者都為假，則陳述為假。

n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 {\displaystylen\geq4\lorn\leq2\Leftrightarrown\neq3}  當 n {\displaystylen}  是自然數的時候。

或 命題邏輯 ⊕⊻ 異或 陳述 A ⊕ B {\displaystyleA\oplusB}  為真，在要麼 A {\displaystyleA}  要麼 B {\displaystyleB}  但不是二者為真的時候為真。

A ⊻ B {\displaystyleA\veebarB}  意思相同。

( ¬ A ) ⊕ A {\displaystyle(\negA)\oplusA}  總是真， A ⊕ A {\displaystyleA\oplusA}  總是假。

xor 命題邏輯,布爾代數 ∀ 全稱量詞 ∀ x : P ( x ) {\displaystyle\forallx:P(x)}  意味著所有的 x {\displaystylex}  都使 P ( x ) {\displaystyleP(x)}  都為真。

∀ n ∈ N : n 2 ≥ n {\displaystyle\foralln\in\mathbb{N}:n^{2}\geqn}   對於所有；對於任何；對於每個 謂詞邏輯 ∃ 存在量詞 ∃ x : P ( x ) {\displaystyle\existsx:P(x)}  意味著有至少一個 x {\displaystylex}  使 P ( x ) {\displaystyleP(x)}  為真。

∃ n ∈ N : n {\displaystyle\existsn\in\mathbb{N}:n}  是偶數。

存在著 謂詞邏輯 ∃! 唯一量詞 ∃ ! x : P ( x ) {\displaystyle\exists!x:P(x)}  意味著精確的有一個 x {\displaystylex}  使 P ( x ) {\displaystyleP(x)}  為真。

∃ ! n ∈ N : n + 5 = 2 n {\displaystyle\exists!n\in\mathbb{N}:n+5=2n}   精確的存在一個 謂詞邏輯 :=≡:⇔ 定義 x := y {\displaystylex:=y}  或 x ≡ y {\displaystylex\equivy}  意味著 x {\displaystylex}  被定義為 y {\displaystyley}  的另一個名字（但要注意 ≡ {\displaystyle\equiv}  也可以意味著其他東西，比如全等）。

P :⇔ Q {\displaystyleP:\LeftrightarrowQ}  意味著 P {\displaystyleP}  被定義為邏輯等價於 Q {\displaystyleQ}  。

cosh ⁡ x := 1 2 exp ⁡ x + exp − x {\displaystyle\coshx:={\frac{1}{2}}\expx+\exp-x}   A ⊕ B :⇔ ( A ∨ B ) ∧ ⌝ ( A ∧ B ) {\displaystyleA\oplusB:\Leftrightarrow(A\lorB)\land\urcorner(A\landB)}   被定義為 所有地方 () 優先組合 優先進行括號內的運算。

( 8 4 ) ÷ 2 = 2 2 = 1 {\displaystyle\left({\frac{8}{4}}\right)\div2={\frac{2}{2}}=1}  ,而 8 ÷ 4 2 = 8 2 = 4 {\displaystyle8\div{\frac{4}{2}}={\frac{8}{2}}=4}   所有地方 ├ 推論 x ⊢ y {\displaystylex\vdashy}  意味著 y {\displaystyley}  推導自 x {\displaystylex}  。

A → B ⊢ ¬ B → ¬ A {\displaystyleA\rightarrowB\vdash\negB\rightarrow\negA}   推論或推導 命題邏輯,謂詞邏輯 ◻ {\displaystyle\Box}  L 必然性 ◻ P {\displaystyle\BoxP}  意味著如果 P {\displaystyleP}  不可能，為假。

必然的 模態邏輯 ◊ {\displaystyle\Diamond}  M 可能性 ◊ P {\displaystyle\lozengeP}  意味著如果 P {\displaystyleP}  可能，為真，不管實際上是真是假。

可能的 模態邏輯 參見編輯 數學符號表 Help:數學公式 取自「https://zh.wikipedia.org/w/index.php?title=逻辑符号表&oldid=59260395」