数学-逻辑符号
-
数学
-
逻辑符号
关系符号
符号
(Symbol)
意义
(Meaning)
=
等于
is equal
to
≠
不等于
is not equal to
≈
大约等于
≒
≡
恒等于或
同余
∽
相似
is similar
to
≌
全等
is equal to(especially for triangle
)
>
大于
is greater
than
<
小于
is less than
≱
大于等于（或作≯）
is greater than or
equal to
≰
小于等于（或写作≮）
is less than or
equal to
>>
远远大于号
<<
远远小于号
∈
属于
∉
不属于
⊆
真包含于
⊇
真包含
⊂
包含于
⊃
包含
∪
并集
∩
交集
||
平行
is parallel to
∥
⊥
垂直
├
断定符
（公式在
L
中可证）
╞
满足符（公式在
E
上有效，公式在
E
上可满足）
┐
命题的
“
非
”
运算<
/p>
∧
命题的
“
合取
”
（
“<
/p>
与
”
）运算
∨
命题的
“
析取
”<
/p>
（
“
或
”
，
“
可兼或
”
）运算
→
命题的
“
条件
”
运算
↔
命题的
“
双条件
”
运算的
A<=>B
命题
A
与
B
等价关系
A=>B
命题
A
与
B
的蕴涵关系
A*
公式
A
的对偶公式
wff
合式公式
iff
当且仅当
↑
命题的
“
与非
”
运算
（
“
与非门
”
）
↓
命题的
“
或非
”
运算（
“
或非门
”
）
□
模态词
“
必然
”
◇
模态词
“
可能
”
R
关系
r
相容关系
运算符号
＋
加号
－
减号
×
乘号（或
·
）
÷
除号（或／，含分数）
：
比
∪
两个
集
合
的
并集
∩
交集
П
连乘（
集合论
中的相乘）
Σ
连加
√
根号
log
对数
（或
lg
，
ln
）
dx
微分
∫
积分
∬
曲线积分
性质符号