打开主菜单

逻辑符号表

维基媒体列表条目

逻辑是否中,经常使用一组符号来表达逻辑结构AI。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法和有关的数学领域。此外,第三列包含非正式定义,第四列给出简短的例子。

要注意,在一些情况下,不同的符号有相同的意义,而同一个符号,依赖于上下文,有不同的意义。

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

؋฿¢英语Brazilian cruzeiro$֏ƒ英语Florin sign英语Hryvnia 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
可能性  意味着如果 可能,为真,不管实际上是真是假。
可能的
模态逻辑

参见编辑