离散数学符号表集
《离散数学》符号表≼ ≽ 全称量词(任意量词) 存在量词├ 断定符(公式在L中可证)╞ 满足符(公式在E上有效,公式在E上可满足)
离散数学符号表集