《离散数学》符号表.docVIP

《离散数学》符号表 (全称量词（任意量词） (存在量词 ├断定符（公式在L中可证） ╞满足符（公式在E上有效，公式在E上可满足） ┐命题的“非”运算 ∧命题的“合取”（“与”）运算 ∨命题的“析取”（“或”，“可兼或”）运算 →命题的“条件”运算命题的“双条件”运算的命题与等价关系命题与的蕴涵关系公式的对偶公式合式公式当且仅当命题的“不可兼或”运算（ “异或门” ） ↑命题的“与非” 运算（ “与非门” ） ↓命题的“或非”运算（ “或非门” ） □模态词“必然” ◇模态词“可能” φ空集 ∈属于（(不属于） （·） 集合A的特征函数 P（A）集合A的幂集集合A的点数 （） 集合A的笛卡儿积关系R的“复合”阿列夫零阿列夫包含真包含 ∪集合的并运算 ∩集合的交运算 - （～）集合的差运算 (集合的对称差运算m同余加m同余乘 〡限制集合关于关系R的等价类 /集合A上关于R的商集集合A关于关系R的划分集合A关于划分的关系元素产生的循环群元素形成的等价类由相容关系产生的最大相容类环，理想模n的同余类集合与模相等关系的自反闭包关系的对称闭包 ，关系的传递闭包 ，关系的自反、传递闭包矩阵的第个行向量矩阵的第个列向量 CP命题演绎的定理（CP 规则） EG存在推广规则（存在量词引入规则） ES存在量词特指规则（存在量词消去规则） UG全称推广规则（全称量词引入规则） US全称特指规则