数学-逻辑符号_第1页
数学-逻辑符号_第2页
数学-逻辑符号_第3页
数学-逻辑符号_第4页
数学-逻辑符号_第5页
已阅读5页,还剩1页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

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&

2、#160; 大于等于(或作)is greater than or equal to  小于等于(或写作)is less than or equal to>>  远远大于号<<  远远小于号   属于   不属于  真包含于  真包含  包含于  包含并集交集 |  平行 is parallel to  &

3、#160;垂直 断定符(公式在L中可证) 满足符(公式在E上有效,公式在E上可满足) 命题的“非”运算 命题的“合取”(“与”)运算 命题的“析取”(“或”,“可兼或”)运算 命题的“条件”运算 命题的“双条件”运算的A<=>B 命题A 与B 等价关系A=>B 命题 A与 B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当 命题的“与非” 运算(“与非门” )&

4、#160;命题的“或非”运算( “或非门” ) 模态词“必然” 模态词“可能” R 关系r 相容关系 运算符号  加号  减号×  乘号(或·)÷  除号(或,含分数):  比  两个集合的并集  交集  连乘(集合论中的相乘)  连加  根号log 对数(或lg,ln)dx&#

5、160; 微分  积分  曲线积分 性质符号  正号  负号±  正负号| |  绝对值(|x| 绝对值 absolute value of X)结合符号()  小括号  中括号  大括号省略符号  三角形Rt  直角三角形  角  圆º   度|&

6、#160; 平行 is parallel to   垂直Sin  正弦Cos  余弦f(x) x的函数lim  极限  因为  所以  总和  连乘C(r)(n)从n个元素中每次取出r个元素所有不同的组合数幂(A,Ac,Aq,xn)等。排列组合符号C  组合数CombinationA  排列数ArrangementN  元素的总个数R  参与选择的元素个数!  阶乘,如5!=5×4×3×2×1=120其他符号 全称量词,任意 存在

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论