《离散数学》符号表.doc

.离散数学符号表 全称量词（任意量词） $ 存在量词 断定符（公式在L中可证） 满足符（公式在E上有效，公式在E上可满足） 命题的“非”运算 命题的“合取”（“与”）运算 命题的“析取”（“或”，“可兼或”）运算 命题的“条件”运算 命题的“双条件”运算的 命题与等价关系 命题与的蕴涵关系 公式的对偶公式 合式公式 当且仅当 命题的“不可兼或”运算（ “异或门” ） 命题的“与非” 运算（ “与非门” ） 命题的“或非”运算（ “或非门” ） 模态词“必然” 模态词“可能” 空集 属于（不属于）（） 集合A的特征函数P（A） 集合A的幂集