基本逻辑符号与数学符号列表

常用逻辑符号
→ ↔ ¬ ∧ ∨ ∀ ∃ ∵ ∴ Ψ\PsiΨ（x） ι\iotaιxp（x） ┌└┃ □ ⋄ ⇒ ⇔

希腊字母表
Α α (A a), Β β (B b), Γ γ (G g), Δ δ (D d), Ε ε (E e), Ζ ζ (Z z), Η η (Ē ē), Θ θ (Th th), Ι ι ℩ (I i ℩), Κ κ (K k), Λ λ (L l), Μ μ (M m), Ν ν (N n), Ξ ξ (X x), Ο ο (O o), Π π (P p), Ρ ρ (R r), Σ σ ς (S s s), Τ τ (T t), Υ υ (U u), Φ φ (Ph ph), Χ χ (Kh kh), Ψ ψ (Ps ps), Ω ω (Ō ō) [1]

一。常用逻辑符号

→ ↔ ¬ ∧ ∨ ∀ ∃ ∵ ∴ Ψ\PsiΨ（x） ι\iotaιxp（x） ┌└┃ □ ⋄ ⇒ ⇔

符号	名字	解说	例子	读作	范畴
→	蕴含，实质蕴含 implies/conditional/	A → B 意味着如果 A 为真，则 B 也为真；如果 A 为假，则对 B 没有任何影响	x=2x=2x=2 → x2=4x^2 =4x2=4为真，但 x2x^2x2= 4 → x=2一般为假，因为可以有x=- 2	仅为真值表蕴含式；如果…那么	命题逻辑
⇒	严格蕴含（模态逻辑） implies/conditional/	A ⇒ B 表示不仅 A 蕴含 B ，而且内容相关		严格蕴含，内容相关；如果…那么	模态逻辑
↔	实质等价	A ↔ B 意味着 A 为真则B 为真，和 A 为假则 B 为假。	x+5=y+2↔x+3=yx+5=y+2 ↔ x+3=yx+5=y+2↔x+3=y	当且仅当；iff	命题逻辑
⇔	严格等价（模态逻辑）	A ⇔ B ， A与B之间必须内容相关。		当且仅当；iff	模态逻辑
¬	逻辑否定	¬A 为真，当且仅当 A 为假	¬(¬A) ↔ A	非	命题逻辑
∧	逻辑合取	当A 与 B二者都为真，则陈述 A ∧ B 为真；否则为假	n < 4 ∧ n >2 ⇔ n = 3（当 n 是自然数的时候）	与	命题逻辑
∨	逻辑析取	当A 或 B有一个为真或二者均为真陈述，则 A ∨ B 为真；当二者都为假，则陈述为假。	n ≣ 4 ∨ n ≢ 2 ⇔ n ≠ 3（当 n 是自然数的时候）。	或	命题逻辑
∀	全称量词	∀ x: P(x) 意味着对所有的 x 都使 P(x) 都为真。	∀ n ∈ N（n² ≣ n）	所有，每一个，任意	谓词逻辑
∃	存在量词	∃ x: P(x) 意味着有至少存在一个 x 使 P(x) 为真。	∃ n ∈ N（n 是偶数）。	存在着，至少有一个	谓词逻辑
∃!	唯一量词	∃! x: P(x) 意味着精确的有一个 x 使 P(x) 为真。	∃! n ∈ N（n + 5 = 2n）	精确的存在一个	谓词逻辑
Ψ\PsiΨ（x）	任意目谓词	Ψ\PsiΨ : psi，读音”普赛“ ，大写 Ψ\PsiΨ，小写 ψ	Ψ\PsiΨ（）是任意目谓词的元变项	Ψ\PsiΨ（x）代表任意目谓词构成的开语句	谓词逻辑
ι\iotaι	摹状词里用希腊字母ι\iotaι 代替定冠词	ι\iotaι : iota ，读音”约塔“ 或者”艾欧塔“。大写 Ι ，小写 ι\iotaι	摹状词结构：定冠词 the+形容词+名词单数，符号化为 ι\iotaιxp （x）	q（ι\iotaιxp （x））读做：那个唯一具有性质p的个体是q	谓词逻辑
∵	因为
∴	所以
□\square□	模态词	必然	-	必然	-
⋄\diamond⋄	模态词	可能	-	可能	-
┌└┃	推演过程流程符号	推演过程假设域需要用的流程符号	-		-
⊕	xor	陈述 A ⊕ B 为真，在要么 A 要么 B 但不是二者为真的时候为真。	(¬A) ⊕ A 总是真，A ⊕ A 总是假。	异或	命题逻辑，布尔代数
/	命题逻辑	穿过其他算符的斜线同于在它前面放置的"¬"。	x ≠ y ↔ ¬(x = y)	非	命题逻辑
:= 或者 ≡	定义	x := y 或 x ≡ y 意味着 x 被定义为 y 的另一个名字(但要注意 ≡ 也可以意味着其他东西，比如全等)。	双曲余弦函数cosh x := (1/2)(exp x + exp (−x))	被定义为	所有地方
:⇔	定义	P :⇔ Q 意味着 P 被定义为逻辑等价于 Q。	A XOR B :⇔ (A ∨ B) ∧ ¬(A ∧ B)	被定义为	所有地方
├	推论	x ├ y 意味着 y 推导自 x。	A → B ├ ¬B → ¬A	推论或推导	命题逻辑, 谓词逻辑
├	断定符	-	-	(公式在L中可证)	-
╞	满足符	-	-	(公式在E上有效，公式在E上可满足)	-
		-	-	-	-
		-	-	-	-
		-	-	-	-

二。常用数学符号

运算符号			性质符号
П	连乘（集合论中的相乘）	-	△	三角形
Σ	连加		Rt△	直角三角形
√	根号		∠	角
log	对数（或lg，ln）		⊙	圆
dx	微分		º	度
∫	积分		\|\|	平行 is parallel to ∥
∮	曲线积分		⊥	垂直
∞	无穷大		∵	因为
π	圆周率		∴	所以
			∑	总和
			∏	连乘
			CnrC_{n}^{r}Cnr	从n个元素中每次取出r个元素所有不同的组合数

集合符号			逻辑符号
∈	属于		∀	全称量词：对所有
∉	不属于		∃	存在量词：至少有一个
⊆	真包含于		□	模态词“必然”
⊇	真包含		◇	模态词“可能”
⊂	包含于		├	断定符（公式在L中可证）
⊃	包含		╞	满足符（公式在E上有效，公式在E上可满足）
∪	并集		wff	合式公式
∩	交集		iff	当且仅当
П	连乘（集合论中的相乘）		↑	命题的“与非” 运算（“与非门” ）
φ	空集		↓	命题的“或非”运算（ “或非门” ）
C	复数集	R	关系
N	自然数集（包含0在内）		r	相容关系
N*	正自然数集
P	素数集
Q	有理数集
R	实数集
Z	整数集

三。常用物理符号（希腊字母）

希腊字母表

Α α (A a), Β β (B b), Γ γ (G g), Δ δ (D d), Ε ε (E e), Ζ ζ (Z z), Η η (Ē ē), Θ θ (Th th), Ι ι ℩ (I i ℩), Κ κ (K k), Λ λ (L l), Μ μ (M m), Ν ν (N n), Ξ ξ (X x), Ο ο (O o), Π π (P p), Ρ ρ (R r), Σ σ ς (S s s), Τ τ (T t), Υ υ (U u), Φ φ (Ph ph), Χ χ (Kh kh), Ψ ψ (Ps ps), Ω ω (Ō ō) [1]

大写	小写	读音	表示，含义
Α	α	alpha /ˈælfə/，阿尔法	角度；系数；角加速度
Β	β	beta /'beitə/，贝塔	磁通系数；角度；系数
Γ	γ	gamma/'gæmə/，伽玛	电导系数（小写）；角度，比热容比
Δ	δ	delta/'deltə/，德尔塔	变动；密度；变化量，屈光度，一元二次方程中的判别式
Ε	ε,e	epsilon /ep’silon/ ，伊普西隆	对数之基数；介电常数
Ζ	ζ	zeta/'zi:tə/，泽塔	系数；方位角；阻抗；相对粘度；原子序数
Η	η	eta/'i:tə/，伊塔	磁滞系数；效率（小写）
Θ	θ,θ	theta/'θi:tə/ ，西塔	温度；相位角
Ι	ι	iota/ai’oute/，约塔，艾欧塔	微小,一点儿
Κ	κ	kappa/'kæpə/ ，卡帕	介质常数；绝热指数
∧	λ	lambda/'læmdə/ ，兰姆达	波长（小写）；体积；导热系数
Μ	μ	mu/mju:/，米欧	磁导系数；微（千分之一）；放大因数（小写）；动摩擦系（因）数；流体动力粘度
Ν	ν	nu /nju:/，纽	磁阻系数；流体运动粘度；光子频率
Ξ	ξ	xi/ksi/，克西	随机数；（小）区间内的一个未知特定值
Ο	ο	omicron /oumaik’rən/ ，欧米克隆	高阶无穷小函数
∏	π	pi /pai/，派	圆周÷直径=3.1416 ；圆周率，π(n)表示不大于n的质数个数
Ρ	ρ,ρ	rho/rou/，柔	电阻系数（小写）；柱坐标和极坐标中的极径；密度
∑	σ,s	sigma/'sigmə/ ，西格玛	总和（大写）,表面密度；跨导（小写）；正应力
Τ	τ	tau /tau/，陶	时间常数；切应力
Υ	υ	upsilon/ju:p’silən/ ，玉普西隆	位移
Φ	φ	phi /fai/，弗爱	磁通；角；透镜焦度；热流量
Χ	χ	chi /kai/ ，凯	统计学中有卡方(χ2)分布
Ψ	ψ	psi/psai/ ，普赛	角速；介质电通量（静电力线）；角
Ω	ω	omega/'oumigə/，奥米伽	欧姆（大写）；角速（小写）；角；交流电的电角度

参考链接

逻辑符号

数学-逻辑符号

常用物理符号

希腊字母表