高数符号总结参考.pdfVIP

数量符号 如： i ，2+i ，a，x ，自然对数底 e，圆周率 π。 运算符号 除号（÷或／） 两个集合的并集（∪） 交集（∩） 根号（↗） 对数（ log ，lg ， ln ），比（：） 微分（ dx ） 积分（∫） 曲线积分（ ?）等。 结合符号 如小括号“ （）”中括号“ ［］”，大括号“ ｛｝”横线“—” 省略符号 三角形（△） 直角三角形（ Rt△） x 的函数（ f(x) ） 极限（ lim ） 角（∠）， ∮因为， （一个脚站着的，站不住） ?所以， （两个脚站着的，能站住） 总和（↖） 连乘（ ?） 从 n 个元素中每次取出 r 个元素所有不同的组合数（ C(r)(n) ） 幂（ A ，Ac ，Aq ，x^n ）等。 排列组合符号 C-组合数 A- 排列数 N- 元素的总个数 R-参与选择的元素个数 !- 阶乘 ，如 5 ！=5 ×4 ×3 ×2 ×1=120 C-Combination- 组合 A-Arrangement- 排列 离散数学符号（未全） ? 全称量词 ? 存在 量词 ├ 断定符（公式在 L 中可证） ╞ 满足符（公式在 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) 关系 的对称闭包 CP 命题演绎的定理（ CP 规则） EG 存在推广规则（存在量词引入规则） ES 存在量词特指规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称特指规则（全称量词消去规则） R 关系 r 相容关系 R○S 关系 与关系 的复合 domf 函数 的定义域（前域） ranf 函数 的值域 f:X → Y f 是 X 到 Y 的函数 GCD(x,y) x,y 最大公约数 LCM(x,y) x,y 最小公倍数