《离散数学》符号表.docVIP

PAGE PAGE 1 - - 《离散数学》符号表 ? 全称量词（任意量词） ? 存在量词 ├ 断定符（公式在L中可证） ╞ 满足符（公式在E上有效，公式在E上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 命题的“双条件”运算的 命题与等价关系 命题与的蕴涵关系 公式的对偶公式 合式公式 当且