离散数学符号表集.docxVIP

《离散数学》符号表 ? 全称量词（任意量词） ? 存在量词 ├ ╞ ┐ ∧ ∨ → ? A ? B A ? B A ? wff iff V ↑ ↓ □ ◇ φ ∈ ? （·） A P（A） 断定符（公式在 L 中可证） 满足符（公式在 E 上有效，公式在 E 上可满足） 命题的“非”运算 命题的“合取”（“与”）运算 命题的“析取”（“或”，“可兼或”）运算命题的“条件”运算 命题的“双条件”运算的命题 A 与 B 等价关系 命题 A 与 B 的蕴涵关系公式 A 的对偶公式 合式公式当且仅当 命题的“不可兼或”运算（ “异或门” ） 命题的“与非” 运算（ “与非门” ） 命题的“或非”运算