2020-03-02 16:48:37 来源:范文大全收藏下载本文
数学-逻辑符号 关系符号
符号(Symbol) 意义(Meaning)
= 等于 is equal to
≠ 不等于 is not equal to
≈ 大约等于≒ ≡ 恒等于或同余
∽ 相似 is similar to
≌ 全等 is equal to(especially for triangle )
> 大于 is greater than
≱ 大于等于(或作≯)is greater than or equal to
≰ 小于等于(或写作≮)is le than or equal to
>> 远远大于号
∈ 属于 ∉ 不属于 ⊆ 真包含于 ⊇ 真包含 ⊂ 包含于 ⊃ 包含
∪ 并集
∩ 交集
∈ 属于 ∉ 不属于 ⊆ 真包含于 ⊇ 真包含 ⊂ 包含于 ⊃ 包含
∪ 并集
∩ 交集
||平行 is parallel to ∥ ⊥ 垂直
├ 断定符(公式在L中可证)
╞ 满足符(公式在E上有效,公式在E上可满足)
┐ 命题的“非”运算
∧ 命题的“合取”(“与”)运算
∨ 命题的“析取”(“或”,“可兼或”)运算 → 命题的“条件”运算
↔ 命题的“双条件”运算的
AB 命题A 与B 等价关系
A=>B 命题 A与 B的蕴涵关系
A* 公式A 的对偶公式
wff 合式公式
iff 当且仅当
↑ 命题的“与非” 运算(“与非门” )
↓ 命题的“或非”运算( “或非门” )
□ 模态词“必然”
◇ 模态词“可能”
R 关系 r 相容关系
运算符号 + 加号 - 减号
× 乘号(或·)
÷ 除号(或/,含分数) : 比
∪ 两个集合的并集 ∩ 交集
П 连乘(集合论中的相乘) Σ 连加 √ 根号
log 对数(或lg,ln) dx 微分 ∫ 积分 ∬ 曲线积分
性质符号 + 正号 - 负号 ± 正负号
| | 绝对值(|x| 绝对值 absolute value of X) 结合符号 () 小括号 [] 中括号 {} 大括号 省略符号 △ 三角形 Rt△ 直角三角形 ∠ 角 ⊙ 圆 º 度
||平行 is parallel to ∥ ⊥ 垂直 Sin 正弦 Cos 余弦 f(x) x的函数 lim 极限 ∮ 因为 ∭ 所以 ∑ 总和 ∏ 连乘
C(r)(n)从n个元素中每次取出r个元素所有不同的组合数
幂(A,Ac,Aq,x^n)等。 排列组合符号
C 组合数Combination A 排列数Arrangement N 元素的总个数
R 参与选择的元素个数
! 阶乘,如5!=5×4×3×2×1=120 其他符号 ∀ 全称量词
∃ 存在量词
φ 空集
≲ 无穷大 π 圆周率 C 复数集
N 自然数集(包含0在内)
N* 正自然数集
P 素数集
Q 有理数集
R 实数集
Z 整数集
人人范文网 m.inrrp.com.cn 手机版