邏輯符號表- 維基百科，自由的百科全書

⇒ → ⊃ ; 命題邏輯 ; A ⇒ B {\displaystyle A\Rightarrow B} {\displaystyle A\Rightarrow B} 意味著如果 A {\displaystyle A} A 為真，則 B {\displaystyle B} B ... 邏輯符號表 維基百科，自由的百科全書 跳至導覽 跳至搜尋 本頁面包含特殊字元，部分作業系統及瀏覽器需要特殊字母與符號支援才能正確顯示，否則可能出現亂碼、問號、空格等其它符號。

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

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

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

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

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

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

  .書名號‹ ›  « »  《 》  ﹏ ︴專名號＿  ︳連字號‐連字暨減號-問號？  ?引號‘ ’  「 」  ' '  " "  「 」『 』分號;  ；斜線/  ⧸  ⁄著重號‧示亡號　隱諱號×分字符間隔號·空格     一般排版符號和號&星號*@@井號#數字符號№反斜線\等號=倒感嘆號¡倒問號¿乘號×除號÷序數標識（英語：ordinalindicator）ºª百分號 %千分號‰萬分號‱加號、減號+−正負號、負正號±∓度數符號°角分符號′  ″  ‴段落符號¶  //  豎線|  ‖  ¦分節符號§參考標記※項目符號•脫字符^波浪號~上橫線‾下橫線_虛缺號□劍標（英語：Dagger）†‡⹋同上符號〃智慧財產權符號版權符號©copyleft錄音版權符號（英語：Soundrecordingcopyrightsymbol）℗註冊商標符號®服務商標℠商標符號™貨幣國際貨幣符號¤ 貨幣符號 ؋​₳​ ฿​₿​ ₵​¢​₡​₢（英語：Braziliancruzeiro）​ $​₫​₯​֏​ ₠​€​ ƒ（英語：Florinsign）​₣​ ₲​ ₴​ ₭​ ₺​₾​ ₼​ℳ​₥​ ₦​ ₧​₱（英語：Philippinepesosign）​₰​£​ 元圓圓​﷼​៛​₽（英語：Rublesign）​₹（英語：Indianrupeesign）₨​ ₪（英語：Shekelsign）​ ৳​₸​₮​ ₩​ ¥円 特殊排版符號asterism（英語：Asterism(typography)）⁂fleuron,hedera（英語：Fleuron(typography)）❧指示符（英語：Index(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」 分類：​邏輯數學表示法數學符號標記法隱藏分類：​使用過時的math標籤格式的頁面 導覽選單 個人工具 沒有登入討論貢獻建立帳號登入 命名空間 條目討論 臺灣正體 已展開 已摺疊 不转换简体繁體大陆简体香港繁體澳門繁體大马简体新加坡简体臺灣正體 查看 閱讀編輯檢視歷史 更多 已展開 已摺疊 搜尋 導航 首頁分類索引特色內容新聞動態近期變更隨機條目資助維基百科 說明 說明維基社群方針與指引互助客棧知識問答字詞轉換IRC即時聊天聯絡我們關於維基百科 工具 連結至此的頁面相關變更上傳檔案特殊頁面靜態連結頁面資訊引用此頁面維基數據項目 列印/匯出 下載為PDF可列印版 其他專案 維基共享資源 其他語言 العربيةEnglishEspañolFrançaisGalegoHrvatskiItaliano日本語한국어LatinaLietuviųМакедонскиPortuguêsРусскийSvenskaไทยУкраїнська 編輯連結