离散数学符号大全

├ 判定符（公式在 L 中可证） ╞ 知足符（公式在 E上有效，公式在 E上可知足） ┐命题的 “非”运算 ∧ 命题的 “合取 ”（“与”）运算 ∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算 → 命题的 “条件 ”运算 A<=>B 命题 A 与 B 等价关系 A=>B 命题 A 与 B 的蕴涵关系 A* 公式 A 的对偶公式 wff 合式公式 iff 当且仅当 ↑ 命题的 “与非 ” 运算（

>>阅读原文<<