数理逻辑用语_第1页
数理逻辑用语_第2页
数理逻辑用语_第3页
全文预览已结束

下载本文档

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

文档简介

1、数理逻辑用语复习目标：1、掌握命题的概念；2、理解逻辑连词“且”、“或”、“非”的含义，能判定用“且”，“或”连接成的 复合命题的真假，能写出命题p的否定形式，能判定“非p”的真假；3、理解必要条件、充分条件、充要条件以及等价的意义 .知识要点：1、命题：的句子叫做命题。2、开句：的句子叫做开句或条件命题.eg：.3、两个常用的量词：和。在开句前面，加上含有量词的语句，往往可使开句变成命题eg :.4、“且”,“或”，“非”一般地，设p、q是两个命题，则(1) “p且q”构成一个新命题，记作，(2) “p或q”构成一个新命题，记作，(3) ” p的非(或否定)”构成一个新命题，记作5、p q、

2、p q、-p的真值表如下：pqpqp”qp直/、直/、直/、假假直/、假假6、充分条件、必要条件与充要条件及等价(1) 如果可推出时，称p是q的充分条件，或是的必要条件(2) 如果可推出，且可推出时，就称 p是q的充要条件，或p与q等价.例题选讲：例1、下列语句是否是命题？若是，判断其真假，并说明理由(1) x2 -5x 6 = 0(2) 1+2=3 吗？(4) 3<2(5)请你出去!例2、用逻辑联结词“且”，“或”分别联贯下面所给的命题 p、q,构成一个新 命题，并判断它们的真假(1) p : 27是3的倍数； q : 27是9的倍数(2) p : 1+2=3 ;q : 4>3(3) p :平行四边形的对角线互相平分；q：平行四边形的对角线相等。例3、写出下列命题的非，并判断它的真假(1)对任意实数x ,都有x2 -2x 1 _ 0 ；(2)明天刮风或下雨(3) 明天刮风且下雨例4、用充分条件、必要条件、充要条件填空:1 “x是实数”是“ x是有理数的”.2、x>3 是 x>5 的.3、“x是正方形”是“ x是矩形的”.4、A B 是 A B = A

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

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

最新文档

评论

0/150

提交评论