命题的四种形式.ppt_第1页
命题的四种形式.ppt_第2页
命题的四种形式.ppt_第3页
命题的四种形式.ppt_第4页
命题的四种形式.ppt_第5页
已阅读5页,还剩3页未读 继续免费阅读

下载本文档

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

文档简介

1、简易逻辑,一、命题的有关概念,1.命题,可以判断真假的语句.,“非 p”形式的复合命题与 p 的真假相反;,2.逻辑联结词,“或”、“且”、“非”.,3.简单命题,不含逻辑联结词的命题.,4.复合命题,含有逻辑联结词的命题.,5.复合命题真值表,“p 或 q”形式的复合命题当 p 与 q 同时为假时为假, 其它情形为真;,“p 且 q”形式的复合命题当p 与q同时为真时为真, 其它情形为假.,由简单命题构成复合命题时, 不一定是简单地加“或、且、非”等逻辑联结词; 另外应注意含“或、且、非”等词汇的命题也不一定是复合命题, 在进行命题的合成或分解时一定要检验是否符合复合命题的“真值表”, 如果

2、不符要作语言上的调整.,命题的“否定”是学习上的重点, 因为这是“反证法”证明的第一步. 必须注意, 命题的“否定”与一个命题的“否命题”是两个不同命题 p 的否定(即非 p )是否定命题 p 所作的判断; 而“否命题”是对“若 p 则 q”形式的命题而言, 要同时否定它的条件与结论.,6.注意,典型例题,例1 写出由下述各命题构成的“p 或 q”形式的复合命题: (1) p: 9 是 144 的约数, q: 9 是 225 的约数; (2) p: 方程 x2-1=0 的解是 x=1, q: 方程 x2-1=0 的解是 x=-1; (3) p: 实数的平方是正数, q: 实数的平方是 0.,(

3、1)9 是 144 的约数或 9 是 225 的约数(9 是 144 或 225 的约数);,注: 由简单命题构成复合命题, 一定要检验是否 符合“真值表”, 如果不符要作语言上的调整.,(2)方程 x2-1=0 的解都是 x=1, 或方程 x2-1=0 的解都是 x=-1;,(3)实数的平方都是正数或实数的平方都是 0.,例1 写出由下述各命题构成的“p 或 q”形式的复合命题: (2) p: 方程 x2-1=0 的解是 x=1, q: 方程 x2-1=0 的解是 x=-1; (3) p: 实数的平方是正数, q: 实数的平方是 0.,例2 写出由下述各命题构成的“p 且 q”形式的复合命题

4、: (1) p: 四条边相等的四边形是正方形, q: 四个角相等的四边形是正方形; (2) p: 菱形的对角线互相平分, q: 菱形的对角线互相垂直; (3) p: 实数的平方是正数, q: 实数的平方是 0.,(1)四条边相等的四边形是正方形且四个角相等的四边形是正方形;,(2)菱形的对角线互相垂直平分;,(3)实数的平方都是正数且实数的平方都是 0.,例3 写出由下述各命题构成的“非 p” 形式的复合命题: (1) p: 有些质数是奇数; (2) p: 方程 x2-5x+6=0 有两个相等的实根; (3) p: 四条边相等的四边形是正方形.,注: “非 p”的含义有下列三条: (1)“非

5、p”只否定 p 的结论; (2)“p”与“非 p”的真假必须相反; (3)“非 p”必须包含 p 的所有对立面.,(1)非 p: 所有的质数都是奇数或都不是奇数;,(2)非 p: 方程 x2-5x+6=0 没有两个相等的实根;,(3)非 p: 四条边相等的四边形不都是正方形.,( p 即: 质数中既有奇数又有不是奇数的数),二、命题的四种形式,逆否命题: 若q, 则p.,原命题: 若 p, 则 q;,逆命题: 若 q, 则 p;,否命题: 若p, 则q;,注: 互为逆否命题的两个命题同真假.,例1 写出下述命题的逆命题、否命题、逆否命题, 并判断它们的真假: (1)若 a0, 则方程 x2-2

6、x+a=0 有实根; (2)乘积为奇数的两个整数都不是偶数.,典型例题,(1)逆命题: 若方程 x2-2x+a=0 有实根, 则 a0.,否命题: 若 a0, 则方程 x2-2x+a=0 无实根.,假命题,假命题,逆否命题: 若方程 x2-2x+a=0 无实根, 则 a0.,真命题,(2)逆命题: 若两个整数都不是偶数, 则这两个整数的乘积为奇数.,否命题: 若两个整数的乘积不是奇数, 则这两个整数至少有一个是偶数.,真命题,真命题,逆否命题: 若两个整数中至少有一个是偶数, 则这两个整数的乘积不为奇数.,真命题,例2 写出下列命题的否定, 并判断其真假: (1)不论 m 取什么实数, x2+x-m=0

温馨提示

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

评论

0/150

提交评论