3个回答
展开全部
∀
∀ 针对所有
∀ 全称量词 ∀ x: P(x) 表示 P(x) 对于所有 x 为真。 ∀ n ∈ N: n2 ≥ n
对所有;对任意;对任一
谓词逻辑
离散数学符号(未全)
∀ 全称量词
∃ 存在量词
├ 断定符(公式在L中可证)
╞ 满足符(公式在E上有效,公式在E上可满足)
┐ 命题的“非”运算
∧ 命题的“合取”(“与”)运算
∨ 命题的“析取”(“或”,“可兼或”)运算
→ 命题的“条件”运算 ↔ 命题的“双条件”运局携算的
A<=>B 命题A 与B 等价关系
A=>B 命题 A与 B的蕴涵关系
A* 公式A 的对偶公式
wff 合式公式
iff 当且仅当
↑ 命题的“与非” 运算( “与非门” )
↓ 命题的“或非”运算( “或非门” )
□ 模态词“必然” ◇ 模态词“可能”
φ 空集 ∈ 属于 A∈B 则为A属于B(∉不属于)
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 存在量词特指规则(存在量词消去规则)
数学符号的意义
= 等于 is equal to
≠ 不等于 is not equal to
< 小于 is less than
> 大于 is greater than
|| 平行 is parallel to
≥ 大于等于 is greater than or equal to
≤ 小于等于 is less than or equal to
≡ 恒等于或同余 π 圆周率
|x| 绝对值 absolute value of X
∽ 相似 is similar to
≌ 全等 is equal to(especially for triangle )
>>远远大于号
<< 远远小于号
∪ 并集
∩ 交集
⊆ 包含于
⊙ 圆
\ 求商值
β bet 磁通系数;角度;系数(数学中常用作表示未知角)
φ fai 磁通;角(数学中常用作表示未知扮卜角)
∞ 无穷大
ln(x) 以e为底的对数
lg(x) 以10为底的对数
floor(x) 上取整函数
ceil(x) 下取整函数
x mod y 求余数
x - floor(x) 小数部分
∫f(x)dx 不定积分
∫[a:b]f(x)dx a到b的定积分
∑(n=p,q)f(n) 表示f(n)的n从p到q逐步变化对f(n)的连加和,
∀ 针对所有
∀ 全称量词 ∀ x: P(x) 表示 P(x) 对于所有 x 为真。 ∀ n ∈ N: n2 ≥ n
对所有;对任意;对任一
谓词逻辑
离散数学符号(未全)
∀ 全称量词
∃ 存在量词
├ 断定符(公式在L中可证)
╞ 满足符(公式在E上有效,公式在E上可满足)
┐ 命题的“非”运算
∧ 命题的“合取”(“与”)运算
∨ 命题的“析取”(“或”,“可兼或”)运算
→ 命题的“条件”运算 ↔ 命题的“双条件”运局携算的
A<=>B 命题A 与B 等价关系
A=>B 命题 A与 B的蕴涵关系
A* 公式A 的对偶公式
wff 合式公式
iff 当且仅当
↑ 命题的“与非” 运算( “与非门” )
↓ 命题的“或非”运算( “或非门” )
□ 模态词“必然” ◇ 模态词“可能”
φ 空集 ∈ 属于 A∈B 则为A属于B(∉不属于)
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 存在量词特指规则(存在量词消去规则)
数学符号的意义
= 等于 is equal to
≠ 不等于 is not equal to
< 小于 is less than
> 大于 is greater than
|| 平行 is parallel to
≥ 大于等于 is greater than or equal to
≤ 小于等于 is less than or equal to
≡ 恒等于或同余 π 圆周率
|x| 绝对值 absolute value of X
∽ 相似 is similar to
≌ 全等 is equal to(especially for triangle )
>>远远大于号
<< 远远小于号
∪ 并集
∩ 交集
⊆ 包含于
⊙ 圆
\ 求商值
β bet 磁通系数;角度;系数(数学中常用作表示未知角)
φ fai 磁通;角(数学中常用作表示未知扮卜角)
∞ 无穷大
ln(x) 以e为底的对数
lg(x) 以10为底的对数
floor(x) 上取整函数
ceil(x) 下取整函数
x mod y 求余数
x - floor(x) 小数部分
∫f(x)dx 不定积分
∫[a:b]f(x)dx a到b的定积分
∑(n=p,q)f(n) 表示f(n)的n从p到q逐步变化对f(n)的连加和,
参考资料: http://baike.baidu.com/view/460884.htm
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询