|
數學-邏輯符號 關系符號 符號(Symbol) 意義(Meaning) = 等于 is equal to ≠ 不等于 is not equal to ≈ 大約等于≒ ≡ 恒等于或同余 ∽ 相似 is similar to ≌ 全等 is equal to(especially for triangle ) > 大于 is greater than < 小于 is less than ≥ 大于等于（或作≯）is greater than or equal to ≤ 小于等于（或寫作≮）is less than or equal to >> 遠遠大于號 << 遠遠小于號 ∈ 屬于 ∉ 不屬于 ⊆ 真包含于 ⊇ 真包含 ⊂ 包含于 ⊃ 包含 ∪ 并集 ∩ 交集 || 平行 is parallel to ∥ ⊥ 垂直 ├ 斷定符（公式在L中可證） ╞ 滿足符（公式在E上有效，公式在E上可滿足） ┐ 命題的“非”運算 ∧ 命題的“合取”（“與”）運算 ∨ 命題的“析取”（“或”，“可兼或”）運算 → 命題的“條件”運算 ↔ 命題的“雙條件”運算的 A<=>B 命題A 與B 等價關系 A=>B 命題 A與 B的蘊涵關系 A* 公式A 的對偶公式 wff 合式公式 iff 當且僅當 ↑ 命題的“與非” 運算（“與非門” ） ↓ 命題的“或非”運算（ “或非門” ） □ 模態詞“必然” ◇ 模態詞“可能” R 關系 r 相容關系 運算符號 ＋ 加號 － 減號 × 乘號（或·） ÷ 除號（或／，含分數） ： 比 ∩ 交集 П 連乘（集合論中的相乘） Σ 連加 √ 根號 log 對數（或lg，ln） dx 微分 ∫ 積分 ∮ 曲線積分 性質符號 ＋ 正號 － 負號 ± 正負號 | | 絕對值（|x| 絕對值 absolute value of X） 結合符號 （） 小括號 ［］ 中括號 ｛｝ 大括號 省略符號 △ 三角形 Rt△ 直角三角形 ∠ 角 ⊙ 圓 º 度 || 平行 is parallel to ∥ ⊥ 垂直 Sin 正弦 Cos 余弦 lim 極限 ∵ 因為 ∴ 所以 ∑ 總和 ∏ 連乘 C(r)(n)從n個元素中每次取出r個元素所有不同的組合數 冪（A，Ac，Aq，x^n）等。 排列組合符號 C 組合數Combination A 排列數Arrangement N 元素的總個數 R 參與選擇的元素個數 ! 階乘，如5！=5×4×3×2×1=120 其他符號 ∀ 全稱量詞 ∃ 存在量詞 φ 空集 ∞ 無窮大 π 圓周率 C 復數集 N 自然數集（包含0在內） N* 正自然數集 P 素數集 Q 有理數集 R 實數集 Z 整數集 |
|
|
