《离散数学》符号表.docVIP

《离散数学》符号表

-PAGE1-

《离散数学》符号表

?全称量词（任意量词）

?存在量词

├断定符（公式在L中可证）

╞满足符（公式在E上有效，公式在E上可满足）

┐命题的“非”运算

∧命题的“合取”（“与”）运算

∨命题的“析取”（“或”，“可兼或”）运算

→命题的“条件”运算

命题的“双条件”运算的

命题与等价关系

命题与的蕴涵关系

公式的对偶公式

合式公式

当且仅当

命题的“不可兼或”运算（“异或门”）

↑命题的“与非”运算（“与非门”）

↓命题的“或非”运算（“或非门”）

□模态词“必然”

模态词“可能”

φ空集

∈属于（?不属于）

（·）集合A的特征函数

P（A）集合A的幂集

集合A的点数

（）集合A的笛卡儿积

关系R的“复合”

阿列夫零

阿列夫

包含

真包含

∪