分享

更多

   

数学-逻辑符号

2011-05-24  知愚草堂

数学-逻辑符号

关系符号

  符号(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 对数(或lgln

dx  微分

  积分

  曲线积分

 

性质符号

  正号

  负号

±  正负号

| |  绝对值(|x| 绝对值 absolute value of X

结合符号

()  小括号

[]  中括号

{}  大括号

省略符号

  三角形

Rt  直角三角形

 

 

º   

||  平行 is parallel to

  垂直

Sin  正弦

Cos  余弦

f(x) x函数

lim  极限

  因为

  所以

  总和

  连乘

C(r)(n)n个元素中每次取出r个元素所有不同的组合数

AAcAqx^n)等。

排列组合符号

C  组合数Combination

A  排列数Arrangement

N  元素的总个数

R  参与选择的元素个数

!  阶乘,如5=5×4×3×2×1=120

  

其他符号

全称量词

   存在量词

  φ 空集

∞ 无穷大

π 圆周率

  

C 复数集

  N 自然数集(包含0在内)

  N* 正自然数集

  P 素数集

  Q 有理数集

  R 实数集

  Z 整数集

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。如发现有害或侵权内容,请点击这里 或 拨打24小时举报电话:4000070609 与我们联系。

    猜你喜欢

    0条评论

    发表

    类似文章
    喜欢该文的人也喜欢 更多