资源描述：
《《命题及其关系》课件(新人教A版选修).ppt》由会员上传分享，免费在线阅读，更多相关内容在PPT专区-天天文库。
1、命题与四种命题高二数学选修1-1第一章常用逻辑用语第一章常用逻辑用语通过学习和使用常用逻辑用语,掌握常用逻辑用语的用法,,纠正出现的逻辑错误,体会运用常用逻辑用语表述数学内容的准确性、简捷性.命题及其关系1.1.1命题思考下列语句的表述形式有什么特点?你能判断它们的真假吗?（1）12>5;（2）3是12的约数;（3）0.5是整数;（4）对顶角相等;（5）3能被2整除;（6）若x2=1,则x=1.语句都是陈述句，并且可以判断真假。命题的概念用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。判断为真的语句叫做真命题。判断为假的语句叫做假命题。判断一个语句是不是命题，关键看这语句是否符
2、合“是陈述句”和“可以判断真假”这两个条件。今天天气如何？你是不是作业没交？这里景色多美啊！-2不是整数。4>3。x>4。看看下列语句是不是命题？不是（疑问句）不是（疑问句）不是（感叹句）是（否定陈述句）是（肯定陈述句）不是（开语句）例1判断下面的语句是否为命题?若是命题，指出它的真假。(1)空集是任何集合的子集.(2)若整数a是素数,则a是奇数.(3)指数函数是增函数吗?(4)若平面上两条直线不相交,则这两条直线平行.(5)(6)x>15.（是，真）（是，真）（是，假）（是，假）（不是命题）（不是命题）“若p则q”形式的命题命题“若整数a是素数，则a是奇数。”具有“若p则q”的形式。
3、qp通常,我们把这种形式的命题中的p叫做命题的条件,q叫做命题的结论。“若p则q”形式的命题是也可写成“如果p,那么q”“只要p,就有q”等形式。例3把下列命题改写成“若p则q”的形式,并判定真假。(1)负数的平方是正数.(2)垂直于同一条直线的两条直线平行(3)面积相等的两个三角形全等.(4)对顶角相等.真命题假命题假命题真命题命题及其关系1.1.2四种命题下列四个命题中，命题(1)与命题(2)(3)(4)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；若f(x)是周期函数，则f(x)是正弦函数；若f(x)不是正弦函数，则f(x)不是周期函数；若f(x)不
4、是周期函数，则f(x)不是正弦函数。观察命题(1)与命题(2)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；若f(x)是周期函数，则f(x)是正弦函数；互逆命题：一个命题的条件和结论分别是另一个命题的结论和条件，这两个命题叫做互逆命题。原命题：其中一个命题叫做原命题。逆命题：另一个命题叫做原命题的逆命题。pqqp即原命题:若p,则q逆命题:若q,则p例如，命题“同位角相等，两直线平行”的逆命题是“两直线平行，同位角相等”。原命题与其逆命题的真假是否存在相关性呢?观察命题(1)与命题(3)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期
5、函数；3.若f(x)不是正弦函数，则f(x)不是周期函数.pq┐p原命题:若p,则q┐q为书写简便,常把条件p的否定和结论q的否定分别记作“┐p”“┐q”否命题:若┐p,则┐q互否命题原命题(原命题的)否命题例如，命题“同位角相等，两直线平行”的否命题是“同位角不相等，两直线不平行”。原命题与其否命题的真假是否存在相关性呢?观察命题(1)与命题(4)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；4.若f(x)不是周期函数，则f(x)不是正弦函数.pq┐q原命题:若p,则q┐p逆否命题:若┐q,则┐p互为逆否命题原命题(原命题的)逆否命题例如，命题“同位角相
6、等，两直线平行”的逆否命题是“两直线不平行，同位角不相等”。原命题与其逆否命题的真假是否存在相关性呢?２、互否命题：如果第一个命题的条件和结论是第二个命题的条件和结论的否定，那么这两个命题叫做互否命题。如果把其中一个命题叫做原命题，那么另一个叫做原命题的否命题。３、互为逆否命题：如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题。１、互逆命题：如果第一个命题的条件（或题设）是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫互逆命题。如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆命题。三个概念原命题,逆命题,
7、否命题,逆否命题四种命题形式:原命题:逆命题:否命题:逆否命题:若p,则q若q,则p若┐p,则┐q若┐q,则┐p判断正误,并说明理由:(1)若原命题是“对顶角相等”,它的否命题是“对顶角不相等”。(2)若原命题是“对顶角相等”,它的否命题是“不成对顶关系的两个角不相等”。否命题与命题的否定否命题是用否定条件也否定结论的方式构成新命题。命题的否定是逻辑联结词“非”作用于判断,只否定结论不否定条件。对于原命题:若p,则q有否命题:若┐p,则┐q。命
