离散数学符号表

《离散数学》符号表 全称量词（任意量词） 存在量词├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效，公式在E上可满足）┐