




已阅读5页,还剩16页未读, 继续免费阅读
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1,2,3,命题及其关系,全称量词存在量词,充分条件必要条件充要条件,简单的逻辑联结词:且、或、非,4,回顾一命题及其关系,1.命题,真命题,假命题;,2.标准的数学式命题:”若p,则q.”,3.四种命题:原命题,互逆命题,互否命题,互为逆否命题.,原命题与逆否命题同真假。,原命题的逆命题与否命题同真假。,5,注:(1)“互为”的;(2)原命题与其逆否命题同真同假.(3)逆命题与否命题同真同假.,原命题若p,则q,逆否命题若q,则p,否命题若p,则q,逆命题若q,则p,互逆,互否,互否,互逆,互为逆否,同真同假,6,4.用反证法证明命题的一般步骤,(1)假设命题的结论不成立,即假设结论的反面成立;,(2)从这个假设出发,经过推理论证,得出矛盾;,(3)由矛盾判定假设不正确,从而肯定命题的结论正确。,7,5.用反证法证明过程中推理论证是要得出矛盾,矛盾有三种可能:,(1)与原命题的条件矛盾;,(2)与定义、公理、定理等矛盾;,(3)与结论的反面成立矛盾(自相矛盾).,反证法的基本思想:,通过证明原命题的否定是假命题,说明原命题是真命题.,8,回顾二、充分条件、必要条件,充分非必要条件,必要非充分条件,既不充分也不必要条件,充分且必要条件,9,10,“或”“且”“非”,回顾三、逻辑联结词,11,四.全称量词与存在量词,12,全称命题与特称命题的否定,含有一个量词的全称命题的否定,有下面的结论,全称命题,含有一个量词的特称命题的否定,有下面的结论,特称命题,它的否定,它的否定,13,特别注意对一些词语的否定,14,3答案,15,16,3答案,17
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 啤酒包装工主管竞选考核试卷及答案
- 飞机模线样板移型工上岗考核试卷及答案
- 原料药精制干燥工5S管理考核试卷及答案
- 反射隔热涂料成本效益分析报告
- 手机屏幕维修成本效益评估
- 工业污水处理协议书范本下载
- 2025-2030中国快锁接头行业客户忠诚度提升与品牌价值塑造报告
- 2025-2030中国工业无人机细分领域应用渗透率及运营商布局战略研究报告
- 2025-2030中国基因编辑作物产业化路径与监管框架研究
- 2025-2030中国在线阅读平台内容生产机制与付费转化优化报告
- 大学介绍清华大学宣传
- 职场餐桌礼仪知识培训课件
- 《绿色建材》课件
- 个人述职报告范文汇总参考模板
- 超星尔雅学习通《经济与社会如何用决策思维洞察生活》章节测试答案
- 如何防范企业网络入侵与黑客攻击
- 剑桥Think第一级Unit+1+Welcome课件
- 华为财务管理(6版)-华为经营管理丛书
- 横河CS3000工程师培训资料
- LY/T 3355-2023油茶
- DB15-T 2241-2021 数据中心绿色分级评估规范
评论
0/150
提交评论