知识要点_1.doc_第1页
知识要点_1.doc_第2页
知识要点_1.doc_第3页
全文预览已结束

下载本文档

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

文档简介

命 题1：命题的定义：用语言，符号或式子 表示可以判断真假的陈述句叫做命题真假命题： 语句为真的命题叫真命题 ,语句为假的命题叫假命题命题的划分 命题分为 简单命题 复合命题 量词（全称，特称）命题 一 般 命 题1：几种命题命题的否定 条件不变只否定结论;原命题 有条件与结论的命题; 逆命题 交换原命题的条件和结论，所得的命题叫逆命题；否命题 同时否定原命题的条件和结论，所得的命题是否命题；逆否命题 交换原命题的条件和结论，并且同时否定条件与结论，所得的命题是逆否命题； 实例： 原命题：若P则q； 逆命题：若q则p；否命题：若P则q； 逆否命题：若q则p。原命题逆命题否命题逆否命题真真（假）真（假）真假真（假）真（假）假 2:逻辑联结词、简单命题与复合命题：1：“或”、“且”、“非”这些词叫做逻辑联结词；2：不含有逻辑联结词的命题叫简单命题；由简单命题和逻辑联结词构成的命题叫复合命题。3：构成复合命题的形式：p或q(记作“pq” )；p且q(记作“pq” )；非p(记作“q” ) 。原结论反设词原结论反设词是不是至少有一个一个也没有都是不都是至多有一个至少有两个大于不大于至少有个至多有（）个小于不小于至多有个至少有（）个对所有，成立存在某，不成立或且对任何，不成立存在某，成立且或3:“或”、 “且”、 “非”的真值判断：（1）“非p”形式复合命题的真假与p的真假相反；（2）“p且q”形式复合命题当P与q同为真时为真，其他情况时为假；（3）“p或q”形式复合命题当p与q同为假时为假，其他情况时为真命题PqP qPqP真q真真真假假P真q假假真假真P假q真假真真假P假q假假假真真 特 殊 命 题1：定义： 全称命题 含有全称量词的命题叫全称命题 短语“ 对所有的”“对任意一个”在逻辑中通常叫做全称量词 特称命题 含有存在量词的命题叫特称命题 短语“存在一个”“至少有一个” 在逻辑中通常叫做存在量词 2：特殊命题的否定 特殊命题p: xM,P(x)的否定命题为x。M, P(x.) xM,P(x)的否定命题为 x。M, P(x.) 7、反证法：从命题结论的反面出发（
人人文库> 全部分类> 应用文书 > 技术指导

温馨提示

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

最新文档

评论

0/150

提交评论