逻辑符号表- 维基百科，自由的百科全书
文章推薦指數： 80 %
在逻辑中，经常使用一组符号来表达逻辑结构。
因为逻辑学家非常熟悉这些符号，他们在使用的时候没有解释它们。
所以，给学逻辑的人的下列表格，列出了最常用的符号、它们 ...
邏輯符號表
维基媒体列表条目
語言
監視
編輯
本頁面包含特殊字元，部分作業系統及瀏覽器需要特殊字母與符號支援才能正確顯示，否則可能出現亂碼、問號、空格等其它符號。
在邏輯中，經常使用一組符號來表達邏輯結構。
因為邏輯學家非常熟悉這些符號，他們在使用的時候沒有解釋它們。
所以，給學邏輯的人的下列表格，列出了最常用的符號、它們的名字、讀法和有關的數學領域。
此外，第三列包含非正式定義，第四列給出簡短的例子。
要注意，在一些情況下，不同的符號有相同的意義，而同一個符號，依賴於上下文，有不同的意義。
邏輯符號表一般標點符號撇號’ '括號[ ] ( ) { } ⟨ ⟩ （ ）冒號:逗號， , ، 、頓號、連接號‒ – — ―破折號 ──省略號… ... ⋯ ᠁ ฯ嘆號！ !句號。
.書名號‹ › « » 《 》 ﹏ ︴專名號＿ ︳連字號‐連字暨減號-問號？ ?引號‘ ’ “ ” ' ' " " 「 」『 』分號; ；斜線/ ⧸ ⁄著重號‧示亡號 隱諱號×分字符間隔號·空格 一般排版符號和號&星號*@@井號#數字符號№反斜線\等號=倒感嘆號¡倒問號¿乘號×除號÷序數標識（英語：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」
