版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
《常用逻辑用语》章节复习数学中一些常用的数集及其记法:1.正整数集,记作N*或;2.非负整数集〔或自然数集〕,记作N;3.整数集,记作Z;4.有理数集,记作Q;5.实数集,记作R;6.全体实数和虚数组成的复数的集合称为复数集,记作C。知识网络
常用逻辑用语命题及其关系简单的逻辑联结词全称量词与存在量词四种命题充分条件与必要条件量词全称量词存在量词含有一个量词的否定或且非或并集交集补集运算一个符号条件P的否认,记作“P”。读作“非P”。假设p那么q逆否命题:原命题:逆命题:否命题:假设q那么p假设p那么q假设q那么p二、四种命题结论1:要写出一个命题的另外三个命题关键是分清命题的题设和结论〔即把原命题写成“假设p,那么q”的形式〕注意:三种命题中最难写的是否命题。结论2:〔1〕“或”的否认为“且”,〔2〕“且”的否认为“或”,
四种命题之间的关系原命题假设p那么q逆命题假设q那么p否命题假设﹁p那么﹁q逆否命题假设﹁q那么﹁p互逆互否互否互逆互为逆否〔2〕假设其逆命题为真,那么其否命题一定为真。但其原命题、逆否命题不一定为真。
(1)原命题与逆否命题同真假。(2)原命题的逆命题与否命题同真假。〔1〕原命题为真,那么其逆否命题一定为真。但其逆命题、否命题不一定为真。命题真假性判断结论:充分必要条件短语”对所有的””对任意一个”在逻辑中通常叫做全称量词,并用符号“”表示.含有全称量词的命题,叫做全称命题,常见的全称量词还有:“对所有的”,”对任意一个”,”对一切”,”对每一个”,”任给”,”所有的”等.短语”对所有的””对任意一个”在逻辑中通常叫做全称量词,并用符号“”表示.含有全称量词的命题,叫做全称命题.符号全称命题”对M中任意一个x有p(x)成立”可用符号简记为读作”对任意x属于M,有p(x)成立”.短语”存在一个””至少有一个”在逻辑上通常叫做存在量词,并用符号””表示.含有存在量词的命题,叫做特称命题.常见的存在量词还有”有些””有一个””有的””对某个”等.特称命题”存在M中的一个x,使p(x)成立”可用符号简记为读做”存在一个x,使p(x)成立”.从命题形式上看,这三个全称命题的否认都变成了特称命题.一般地,对于含有一个量词的全称命题的否认,有下面的结论:全称命题p:全称命题的否认是特称命题.从命题形式上看,这三个特称命题的否认都变成了全称命题.一般地,对于含有一个量词的特称命题的否认,有下面的结论:特称命题它的否定从命题形式上看,这三个特称命题的否认都变成了全称命题.一般地,对于含有一个量词的特称命题的否认,有下面的结论:特称命题特称命题的否认是全称命题.[例2]判断命题:“假设a+b≠7,那么a≠3,且b≠4”的真假.[解析]其逆否命题为:“假设a=3或a=4,那么a+b=7”.显然这是一个假命题,∴原命题为假.反证法的一般步骤:假设命题的结论不成立,即假设结论的反面成立
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024年出租车股权交易合同模板
- 2024年度事业单位劳务外包服务合同
- 2024年党员管理科工作计划模板
- 初中数学教师个人计划
- 销售助理201年销售工作总结及2014年工作计划
- 2024年大班语言续编绘本教案
- 《施密特单稳多谐》课件
- 2024年代运营服务合作合同版
- 2024年幼儿园汉字玉教案
- 2024年学前班保育工作计划范文
- 幼儿园美术《各种各样的鱼》课件
- 你是独一无二的自己主题班会课件
- 探针台行业介绍分析
- 基层消防指挥员培训课件
- 鲜红斑痣疾病演示课件
- 小儿重症肺炎护理查房疑难病例讨论
- 调酒师职业生涯规划书
- 数字文化馆运营推广策略
- 量子计算并行处理
- AI技术在教育中的应用:学校教育与教育机构培训
- 储罐检修风险辨识和评价清单
评论
0/150
提交评论