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

常用逻辑符号
→ ↔ ¬ ∧ ∨ ∀ ∃ ∵ ∴ Ψ \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 = 2 x=2 x=2 x 2 = 4 x^2 =4 x2=4为真,但 x 2 x^2 x2= 4 → x=2一般为假,因为可以有x=- 2仅为真值表蕴含式;如果…那么命题逻辑
严格蕴含(模态逻辑) implies/conditional/A ⇒ B 表示不仅 A 蕴含 B ,而且内容相关严格蕴含,内容相关;如果…那么模态逻辑
实质等价A ↔ B 意味着 A 为真 则B 为真,和 A 为假 则 B 为假。 x + 5 = y + 2 ↔ x + 3 = y x+5=y+2 ↔ x+3=y x+5=y+2x+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 ∥
曲线积分垂直
无穷大因为
π圆周率所以
总和
连乘
C n r C_{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ə/,德尔塔变动;密度;变化量,屈光度,一元二次方程中的判别式
Εε,eepsilon /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/,柔电阻系数(小写) ;柱坐标和极坐标中的极径;密度
σ,ssigma/'sigmə/ ,西格玛总和(大写),表面密度;跨导(小写) ;正应力
Ττtau /tau/,陶时间常数 ;切应力
Υυupsilon/ju:p’silən/ ,玉普西隆位移
Φφphi /fai/,弗爱磁通;角 ;透镜焦度;热流量
Χχchi /kai/ ,凯统计学中有卡方(χ2)分布
Ψψpsi/psai/ ,普赛角速;介质电通量(静电力线);角
Ωωomega/'oumigə/,奥米伽欧姆(大写);角速(小写);角 ;交流电的电角度
参考链接

逻辑符号

数学-逻辑符号

常用物理符号

希腊字母表

评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值