离散数学符号.pdfVIP

离散数学符号 ∀ 全称量词 ∃存在量词 ├ 断定符（公式在L中可证） ╞ 满足符（公式在E上有效，公式在E上可满足） ﹁ 命题的“非”运算，如命题的否定为﹁p ∧ 命题的“合 ” （“与” ）运算 ∨ 命题的“析 ” （“或”，“可兼或” ）运算 → 命题的“条件”运算 ↔ 命题的“双条件”运算的 p=q命题p与q的等价关系 p=q命题p与q的蕴涵关系 A* 公式A 的对偶公式