数学逻辑符号.docxVIP

. 数学 - 逻辑符号 关系符号 符号 (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 当且仅当 ↑ 命题的 “与非 ” 运算（ “与非门 ” ） ↓ 命题的 “或非