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

　　┐ 命题的“非”运算

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

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

　　→ 命题的“条件”运算

　　A<=>B 命题A 与B 等价关系

　　A=>B 命题 A与 B的蕴涵关系

　　A* 公式A 的对偶公式

　　wff 合式公式

　　iff 当且仅当

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

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

　　□ 模态词“必然”

　　◇ 模态词“可能”

　　φ 空集

　　∈ 属于（??不属于）

　　P（A） 集合A的幂集

　　|A| 集合A的点数

　　R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合”

　　（或下面加 ≠） 真包含

　　∪ 集合的并运算

　　∩ 集合的交运算

　　- （～） 集合的差运算

　　〡 限制

　　[X](右下角R) 集合关于关系R的等价类

　　A/ R 集合A上关于R的商集

　　[a] 元素a 产生的循环群

　　I (i大写) 环，理想

　　Z/(n) 模n的同余类集合

　　r(R) 关系 R的自反闭包

　　s(R) 关系 的对称闭包