1.1.1-1.1.2命题与四种命题高二数学选修1-1第一章常用逻辑用语歌德是18世纪德国的一位著名文艺大师,一天,他与一位批评家“狭路相逢”,这位文艺批评家生性古怪,遇到歌德走来,不仅没有相让,反而卖弄聪明,一边高地往前走。一边大声说道:“我从来不给傻子让路!”而对如此的尴尬的局面,但只是歌德笑容可掏,谦恭的闪在一旁,一边有礼貌回答道“呵呵,我可恰恰相反,”结果故作聪明的批评家,反倒自讨没趣。你能分析此故事中歌德与批评家的言行语句吗?常用逻辑用语“数学是思维的科学”逻辑是研究思维形式和规律的科学.逻辑用语是我们必不可少的工具.通过学习和使用常用逻辑用语,掌握常用逻辑用语的用法,,纠正出现的逻辑错误,体会运用常用逻辑用语表述数学内容的准确性、简捷性.命题及其关系1.1.1命题思考下列语句的表述形式有什么特点?你能判断它们的真假吗?(1)125;(2)3是12的约数;(3)0.5是整数;(4)对顶角相等;(5)3能被2整除;(6)若x2=1,则x=1.语句都是陈述句,并且可以判断真假。命题的概念用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。判断为真的语句叫做真命题。判断为假的语句叫做假命题。理解:命题定义的核心是判断,切记:判断的标准必须确定,判断的结果可真可假,但真假必居其一。(1)125;(2)3是12的约数;(3)0.5是整数;(4)对顶角相等;(5)3能被2整除;(6)若x2=1,则x=1.用语言、符号或式子表达的,可以判断真假的陈述句叫做命题。如何判断一个语句是不是命题?1)7是23的约数吗?2)X5.3)-2a3.4)画线段AB=CD.?语句判断一个语句是不是命题,关键看这语句是否符合“是陈述句”和“可以判断真假”这两个条件。疑问句祈使句1)今天天气如何?2)你是不是作业没交?3)这里景色多美啊!4)-2不是整数。5)43。6)x4。看看下列语句是不是命题?不是(疑问句)不是(疑问句)不是(感叹句)是(否定陈述句)是(肯定陈述句)不是(开语句)例1判断下面的语句是否为命题?若是命题,指出它的真假。(1)空集是任何集合的子集.(2)若整数a是素数,则a是奇数.(3)指数函数是增函数吗?(4)若平面上两条直线不相交,则这两条直线平行.(5)2(2)2(6)x15.(是,真)(是,真)(是,假)(是,假)(不是命题)(不是命题)“若p则q”形式的命题命题“若整数a不为0,则a2大于0。”具有“若p则q”的形式。qp通常,我们把这种形式的命题中的p叫做命题的条件,q叫做命题的结论。“若p则q”形式的命题是命题的一种形式而不是唯一的形式,也可写成“如果p,那么q”“只要p,就有q”等形式。其中p和q可以是命题也可以不是命题.“若p则q”形式的命题的优点是条件与结论容易辨别,缺点是太格式化且不灵活.“若p则q”形式的命题的书写了解命题表示的判断,明确与判断有关的条件与结论。对于一些条件与结论不明显的命题,一般采取先添补一些命题中省略的词句,确定条件与结论。如命题:“垂直于同一条直线的两个平面平行”。写成“若p则q”的形式为:若两个平面垂直于同一条直线,则这两个平面平行。例2指出下列命题中的条件p和结论q:1)若整数a能被2整除,则a是偶数;2)菱形的对角线互相垂直且平分。解:1)条件p:整数a能被2整除,结论q:整数a是偶数。2)写成若p,则q的形式:若四边形是菱形,则它的对角线互相垂直且平分。条件p:四边形是菱形,结论q:四边形的对角线互相垂直且平分。例3把下列命题改写成“若p则q”的形式,并判定真假。(1)负数的平方是正数.(2)偶函数的图像关于y轴对称.(3)垂直于同一条直线的两条直线平行(4)面积相等的两个三角形全等.(5)对顶角相等.真命题真命题假命题假命题真命题练习课本P4练习2,3命题及其关系1.1.2四种命题下列四个命题中,命题(1)与命题(2)(3)(4)的条件和结论之间分别有什么关系?1.若x2,则x2≥42.若x2≥4,则x2;3.若x2,则x2≤4;4.若x2≤4,则x2。观察命题(1)与命题(2)的条件和结论之间分别有什么关系?互逆命题:一个命题的条件和结论分别是另一个命题的结论和条件,这两个命题叫做互逆命题。原命题:其中一个命题叫做原命题。逆命题:另一个命题叫做原命题的逆命题。即原命题:若p,则q逆命题:若q,则p例如,命题“同位角相等,两直线平行”的逆命题是“两直线平行,同位角相等”。原命题与其逆命题的真假是否存在相关性呢?1.若x2,则x2≥42.若x2≥4,则x2;观察命题(1)与命题(3)的条件和结论之间分别有什么关系?原命题:若p,则q为书写简便,常把条件p的否定和结论q的否定分别记作“┐p”“┐q”否命题:若┐p,则┐q互否命题原命题(原命题的)否命题例如,命题“同位角相等,两直线平行”的否命题是“同位角不相等,两直线不平行”。原命题与其否命题的真假是否存在相关性呢?(1)若x2,则x2≥4(3)若x2,则x2≤4;观察命题(1)与命题(4)的条件和结论之间分别有什么关系?原命题:若p,则q逆否命题:若┐q,则┐p互为逆否命题原命题(原命题的)逆否命题例如,命题“同位角相等,两直线平行”的逆否命题是“两直线不平行,同位角不相等”。原命题与其逆否命题的真假是否存在相关性呢?(1)若x2,则x2≥4(4)若x2≤4,则x2。2、互否命题:如果第一个命题的条件和结论是第二个命题的条件和结论的否定,那么这两个命题叫做互否命题。如果把其中一个命题叫做原命题,那么另一个叫做原命题的否命题。3、互为逆否命题:如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定,那么这两个命题叫做互为逆否命题。1、互逆命题:如果第一个命题的条件(或题设)是第二个命题的结论,且第一个命题的结论是第二个命题的条件,那么这两个命题叫互逆命题。如果把其中一个命题叫做原命题,那么另一个叫做原命题的逆命题。三个概念原命题,逆命题,否命题,逆否命题四种命题形式:原命题:逆命题:否命题:逆否命题:若p,则q若q,则p若┐p,则┐q若┐q,则┐p练习1、课本P6练习(1)若q1,则方程有实根。(2)若ab=0,则a=0或b=0.220xxq2、分别写出下列命题的逆命题、否命题、逆否命题,并判断它们的真假。3、课本P8习题1.1A组第2题原结论反设词原结论反设词是至少有一个都是至多有一个大于至少有n个小于至多有n个对所有x,成立对任何x,不成立准确地作出反设(即否定结论)是非常重要的,下面是一些常见的结论的否定形式.不是不都是不大于大于或等于一个也没有至少有两个至多有(n-1)个至少有(n+1)个存在某x,不成立存在某x,成立课堂小结原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互否命题真假无关互否命题真假无关