邏輯符號表 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 邏輯符號表.

邏輯符號表

維基百科,自由的百科全書

邏輯中,經常使用一組符號來表達邏輯結構。因為邏輯學家非常熟悉這些符號,他們在使用的時候沒有解釋它們。所以,給學邏輯的人的下列表格,列出了最常用的符號、它們的名字、讀法和有關的數學領域。此外,第三列包含非正式定義,第四列給出簡短的例子。

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

邏輯符號表
一般標點符號
撇號  '
括號 [ ]  ( )  { }  ⟨ ⟩  ( )
冒號 :
逗號  ,  ،  
頓號
連接號 ‒  –  —  ―
破折號  ──
省略號  ...      
嘆號  !
句號  .
書名號 ‹ ›  « »  《 》  ﹏ ︴
專名號 _  
連字號
連字暨減號 -
問號  ?
引號 ‘ ’  「 」  ' '  " "  「 」『 』
分號 ;  
斜線 /    
着重號
示亡號  
隱諱號 ×
分字符
間隔號 ·
空格     
一般排版符號
和號 &
星號 *
@ @
井號 #
數字符號
反斜線 \
等號 =
倒感嘆號 ¡
倒問號 ¿
乘號 ×
除號 ÷
序數標識英語ordinal indicator º ª
百分號 %
千分號
萬分號
加號減號 + −
正負號負正號 ± ∓
度數符號 °
角分符號    
段落符號  //  
豎線 |    ¦
分節符號 §
參考標記
項目符號
脫字符 ^
波浪號 ~
上橫線
下橫線 _
虛缺號
劍標英語Dagger † ‡ ⹋
同上符號
知識產權符號
版權符號 ©
copyleft
錄音版權符號英語Sound recording copyright symbol
註冊商標符號 ®
服務商標
商標符號
貨幣
國際貨幣符號 ¤

؋฿¢英語Brazilian cruzeiro$֏ƒ英語Florin sign英語Philippine peso sign£元 圓 圓英語Ruble sign英語Indian rupee sign 英語Shekel sign¥ 円

特殊排版符號
asterism英語Asterism (typography)
fleuron,hedera英語Fleuron (typography)
指示符英語Index (typography)
疑問驚嘆號
反諷號英語irony punctuation
菱形
連音符
相關符號
  • 空白字符英語Whitespace character
其他語言標點符號

基本邏輯符號

符號
名字 解說 例子
讀作
範疇




實質蘊涵 意味着如果為真,則也為真;如果為假,則對沒有任何影響。

可能意味着同一樣的意思(這個符號也可以指示函數的域和陪域;參見數學符號表)。

可能意味着同一樣的意思(這個符號也可以指示超集)。
為真,但 不保證成立(因為可以是)。
蘊涵;如果.. 那麼
命題邏輯


實質等價 意味着如果為真則為真,和如果為假則 為假。
若且唯若; iff
命題邏輯
¬

˜
邏輯否定 陳述為真,若且唯若為假。

穿過其他算符的斜線同於在它前面放置的 ""。

命題邏輯




&
邏輯合取 如果二者都為真,則陳述為真;否則為假。 自然數的時候。
與;且
命題邏輯


+

ǀ
邏輯析取 如果之一為真陳述或兩者都為真陳述,則為真;如果二者都為假,則陳述為假。 自然數的時候。
命題邏輯



異或 陳述為真,在要麼要麼但不是二者為真的時候為真。意思相同。 總是真,總是假。
xor
命題邏輯, 布爾代數
全稱量詞 意味着所有的都使都為真。
對於所有;對於任何;對於每個
謂詞邏輯
存在量詞 意味着有至少一個使為真。 是偶數。
存在着
謂詞邏輯
∃!
唯一量詞 意味着精確的有一個使為真。
精確的存在一個
謂詞邏輯
:=



:⇔
定義 意味着被定義為的另一個名字(但要注意也可以意味着其他東西,比如全等)。

意味着被定義為邏輯等價於


被定義為
所有地方
( )
優先組合 優先進行括號內的運算。 , 而
所有地方
推論 意味着推導自
推論或推導
命題邏輯, 謂詞邏輯


L
必然性 意味着如果不可能,為假。
必然的
模態邏輯


M
可能性 意味着如果可能,為真,不管實際上是真是假。
可能的
模態邏輯

參見

{{bottomLinkPreText}} {{bottomLinkText}}
邏輯符號表
Listen to this article