高中常用逻辑用语

1、几何符号

　　⊥∥∠⌒⊙≡≌△

　　2、代数符号

　　∝∧∨～∫≠≤≥≈∞∶

　　3、运算符号

　　如加号（＋）,减号（－）,乘号（×或·）,除号（÷或／）,两个集合的并集（∪）,交集（∩）,根号（√）,对数（log,lg,ln）,比（：）,微分（dx）,积分（∫）,曲线积分（∮）等.

　　4、集合符号

　　∪∩∈

　　5、特殊符号

　　∑π（圆周率）

　　6、推理符号

　　指数0123：o123

　　7、数量符号

　　如：i,2+i,a,x,自然对数底e,圆周率π.

　　8、关系符号

　　如“＝”是等号,“≈”是近似符号,“≠”是不等号,“＞”是大于符号,“＜”是小于符号,“≥”是大于或等于符号（也可写作“≮”）,“≤”是小于或等于符号（也可写作“≯”）,.“→”表示变量变化的趋势,“∽”是相似符号,“≌”是全等号,“∥”是平行符号,“⊥”是垂直符号,“∝”是成正比符号,（没有成反比符号,但可以用成正比符号配倒数当作成反比）“∈”是属于符号,“?”是“包含”符号等.

　　9、结合符号

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

　　10、性质符号

　　如正号“＋”,负号“－”,绝对值符号“||”正负号“±”

　　11、省略符号

　　如三角形（△）,直角三角形（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中可证）

　　╞满足符（公式在E上有效,公式在E上可满足）

　　┐命题的“非”运算

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

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

　　→命题的“条件”运算

　　AB命题A与B等价关系

　　A=>B命题A与B的蕴涵关系

　　A*公式A的对偶公式

　　wff合式公式

　　iff当且仅当

　　↑命题的“与非”运算（“与非门”）

　　↓命题的“或非”运算（“或非门”）

　　□模态词“必然”

　　◇模态词“可能”

　　φ空集