”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”< /p>

是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正

比符号配倒数当作成反比）“∈”是属于符号，“

??

”是“包含”符号等。

9

、结合符号

如小括号“（）”中括号“［］”，大括号“｛｝”横线“—”

10

、性质符号

如正号“＋”，负号“－”，绝对值符号“

| |

”正负号“±”

11

、省略符号

如三角形（△），直角三角形（< /p>

Rt

△），正弦（

sin

），余弦（

cos

），

x

的函数（

f(x)

），

极限（

lim

），角（∠），

∵因为，（一个脚站着的，站不住）

∴所以，（两个脚站着的，能站住）

总和（∑），连乘（∏），从

n

个元素 中每次取出

r

个元素所有不同的组合数（

C(r)(n)

），幂（

A

，

Ac

，

Aq

，

x^n

）等。

12

、排列组合符号

C-

组合数

A-

排列数

N-

元素的总个数

R-

参与选择的元素个数

!-

阶乘

， 如

5

！

=5

×

4

×

3

×

2

×

1=120

C-Combination-

组合

A-Arrangement-

排列

13

、离散数学符号

├

断定符（公式在

L

中可证）

╞

满足符（公式在

< br>E

上有效，公式在

E

上可满足）

┐

命题的“非”运算

∧

命题的“合取”（“与”）运算

∨

命题的“析取”（“或”，“可兼或”）运算

→

命题的“条件”运算

A<=>B

命题

A

与

B

等价关系

A=>B

命题

A

与

B

的蕴涵关系

A*

公式

A

的对偶公式

wff

合式公式

iff

当且仅当

↑

命题的“与非”

运算（

“与非门”

）

↓

命题的“或非”运算（

“或非门”

）

□

模态词“必然”

◇

模态词“可能”

φ

空集

∈

属于（

? ?

不属于）

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

存在量词特指规则（存在量词消去规则）

UG

全称推广规则（全称量词引入规则）

US

全称特指规则（全称量词消去规则）

R

关系

r

相容关系

R

○

S

关系

与关系

的复合

domf

函数

的定义域（前域）

ranf

函数

的值域

f:X

→

Y f

是

X

到

Y

的 函数

GCD(x,y) x,y

最大公约数

LCM(x,y) x,y

最小公倍数

aH(Ha) H

关于