【www.shanpow.com--数学试题】
(1) [逻辑和的符号]数学-逻辑符号
数学-逻辑符号
关系符号
符号(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上可满足）
┐ 命题的“非”运算
∧ 命题的“合取”（“与”）运算
∨ 命题的“析取”（“或”，“可兼或”）运算
→ 命题的“条件”运算
↔ 命题的“双条件”运算的
A<=>B 命题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 整数集
(2) [逻辑和的符号]数学-逻辑符号
数学-逻辑符号
关系符号
符号(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上可满足）
┐ 命题的“非”运算
∧ 命题的“合取”（“与”）运算
∨ 命题的“析取”（“或”，“可兼或”）运算
→ 命题的“条件”运算
↔ 命题的“双条件”运算的
A<=>B 命题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 整数集
(3) [逻辑和的符号]单片机逻辑电路运算符及逻辑电路符号
在数字电路，我们经常会遇到逻辑电路，而在 C 语言中，我们则经常用到逻辑运算。二者在原理上是相互关联的，我们在这里就先简单介绍一下，随着学习的深入，再慢慢加深理解。
首先，在“逻辑”这个概念范畴内，存在真和假这两个逻辑值，而将其对应到数字电路或 C 语言中，就变成了“非 0 值”和“0 值”这两个值，即逻辑上的“假”就是数字电路或C 语言中的“0”这个值，而逻辑“真”就是其它一切“非 0 值”。
然后，我们来具体分析一下几个主要的逻辑运算符。我们假定有 2 个字节变量：A 和 B，二者进行某种逻辑运算后的结果为 F。
以下逻辑运算符都是按照变量整体值进行运算的，通常就叫做逻辑运算符：
以下逻辑运算符都是按照变量内的每一个位来进行运算的，通常就叫做位运算符：
我们今后要看资料或芯片手册的时候，会经常遇到一些电路符号，图 5-1 所示就是数字电路中的常用符号，知道这些符号有利于我们理解器件的逻辑结构，尤其重点认识图 5-1 中的国外流行图形符号。在这里我们先简单看一下，如果日后遇到了可以到这里来查阅。
图 5-1 逻辑电路符号
