邏輯符號表
跳轉到：
導航,
搜尋
在邏輯中，經常使用一組符號來表達邏輯結構。因為邏輯學家非常熟悉這些符號，他們在使用的時候沒有解釋它們。所以，給學邏輯的人的下列**，列出了最常用的符號、它們的名字、讀法和有關的數學領域。此外，第三列包含非正式定義，第四列給出簡短的例子。
要注意，在一些情況下，不同的符號有相同的意義，而同乙個符號，依賴於上下文，有不同的意義。
注意：本條目含有特殊字元。
符號
名字解說
例子讀作範疇⇒
→
⊃
實質蘊涵
a ⇒ b 意味著如果 a 為真，則 b 也為真；如果 a 為假，則對 b 沒有任何影響。
→ 可能意味著同 ⇒ 一樣的意思(這個符號也可以指示函式的域和陪域；參見數學符號表)。
⊃ 可能意味著同 ⇒ 一樣的意思(這個符號也可以指示超集)。
x = 2 ⇒ x
2 = 4 為真，但 x
2 = 4 ⇒ x = 2 一般為假(因為 x 可以是 −2)。
蘊涵；如果.. 那麼
命題邏輯
⇔
↔
實質等價
a ⇔ b 意味著 a 為真如果 b 為真，和 a 為假如果 b 為假。
x + 5 = y +2 ⇔ x + 3 = y
當且僅當; iff
命題邏輯
¬
˜
邏輯否定
陳述 ¬a 為真，當且僅當 a 為假。
穿過其他算符的斜線同於在它前面放置的 "¬"。
¬(¬a) ⇔ a
x ≠ y ⇔ ¬(x = y)
非命題邏輯
∧
邏輯合取
陳述 a ∧ b 為真，如果 a 與 b 二者都為真；否則為假。
n< 4 ∧ n >2 ⇔ n = 3 當 n 是自然數的時候。
與命題邏輯
∨
邏輯析取
陳述 a ∨ b 為真，如果 a 或 b (或二者)為真；如果二者都為假，則陳述為假。
n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 當 n 是自然數的時候。
或命題邏輯
⊕
⊻
異或陳述 a ⊕ b 為真，在要麼 a 要麼 b 但不是二者為真的時候為真。a ⊻ b 意思相同。
(¬a) ⊕ a 總是真，a ⊕ a 總是假。
xor命題邏輯, 布林代數
∀
全稱量詞
∀ x: p(x) 意味著所有的 x 都使 p(x) 都為真。
∀ n ∈n: n
2 ≥ n.
對於所有；對於任何；對於每個
謂詞邏輯
∃
存在量詞
∃ x: p(x) 意味著有至少乙個 x 使 p(x) 為真。
∃ n ∈n: n 是偶數。
存在著謂詞邏輯
∃!
唯一量詞
∃! x: p(x) 意味著精確的有乙個 x 使 p(x) 為真。
∃! n ∈n: n + 5 = 2n.
精確的存在乙個
謂詞邏輯
:=
≡
:⇔
定義x := y 或 x ≡ y 意味著 x 被定義為 y 的另乙個名字(但要注意 ≡ 也可以意味著其他東西，比如全等)。
p :⇔ q 意味著 p 被定義為邏輯等價於 q。
cosh x := (1/2)(exp x + exp (−x))
a xor b :⇔ (a ∨ b) ∧ ¬(a ∧ b)
被定義為
所有地方
( )
優先組合
優先進行括號內的運算。
(8/4)/2 = 2/2 = 1, 而 8/(4/2) = 8/2 = 4。
所有地方
├
推論x ├ y 意味著 y 推導自 x。
a → b ├ ¬b → ¬a
數學符號表
符號 名稱定義 舉例讀法 數學領域 等號y xy1 1 2 等於所有領域 不等號x y xy 不等於 所有領域 嚴格不等號 xyx3 4 5 4 小於，大於 序理論 不等號x y x yx 3 4 5 5 5 4 5 5 小於等於，大於等於 序理論 加號 4 6 表示 4 加 6。2 7 9加算術 ...
核心符號表
linux核心為了實現模組化，需要提供乙個公共的核心符號表，它包含了所有的全域性核心項 函式以及變數 的位址。當模組載入到核心中後，它所匯出的任何符號都將成為核心公共符號表的一部分。核心模組只需要實現自己的功能而無需匯出任何符號，但這樣其他模組將無法使用該模組的功能，乙個新的模組可以使用自己其他模組...
iPhone Crash Log轉換符號表
可以用mac自帶的dwarfdump程式來檢查uuid 用dwarfdump檢查dsym檔案是否是上面的uuid。命令列格式 有了這三樣東西，就可以用xcode的organizer來檢視包含了符號資訊的crash log了，這個過程也稱為symbolication。方法是 但隨之而來的問題是，我們收...