离散数学符号表.pdfVIP

《离散数学》符号表 ∀ 全称量词（任意量词） ∃ 存在量词 ├ 断定符（公式在 L 中可证） ╞ 满足符（公式在 E 上有效，公式在 E 上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 ↔ 命题的“双条件”运算的 A ⇔ B