常用逻辑用语命题及其关系

命题与四种命题高二数学选修2-1

第一章常用逻辑用语命题及其关系1.1.1命题思考下列语句的表述形式有什么特点?你能判断它们的真假吗?（1）12>5;（2）3是12的约数;（3）0.5是整数;（4）对顶角相等;（5）3能被2整除;（6）若x2=1,则x=1.语句都是陈述句，并且可以判断真假。命题的概念用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。判断为真的语句叫做真命题。判断为假的语句叫做假命题。理解：

1）命题定义的核心是判断，判断的结果可真可假，但真假必居其一。

2）语句都是陈述句例1判断下面的语句是否为命题?若是命题，指出它的真假。(1)空集是任何集合的子集.(2)若整数a是素数,则a是奇数.(3)指数函数是增函数吗?(4)若平面上两条直线不相交,

则这两条直线平行.(5)(6)x>15.（是，真）（是，真）（是，假）（是，假）（不是命题）（不是命题）练习

判断下列语句是否是命题

.（1）求证是无理数。（2）（3）你是高二学生吗？（4）并非所有的人都喜欢苹果。（5）一个正整数不是质数就是合数。（6）若，则（7）x+3>0.(1)(3)(7)不是命题，(2)(4)(5)(6)是命题。“若p则q”形式的命题

命题“若整数a是素数，则a是奇数。”具有“若p则q”的形式。

qp通常,我们把这种形式的命题中的p叫做命题的条件,q叫做命题的结论。其中p和q可以是命题也可以不是命题.例2指出下列命题中的条件p和结论q：若整数a能被2整除，则a是偶数；菱形的对角线互相垂直且平分。解：1)条件p：整数a能被2整除，结论q：整数a是偶数。2)写成若p，则q的形式：若四边形是菱形，则它的对角线互相垂直且平分。条件p：四边形是菱形，结论q：四边形的对角线互相垂直且平分。例3把下列命题改写成“若p则q”的形式,并判定真假。(1)负数的平方是正数.(2)偶函数的图像关于y轴对称.

(3)垂直于同一条直线的两条直线平行

(4)面积相等的两个三角形全等.(5)对顶角相等.真命题真命题假命题假命题真命题下列四个命题中，命题(1)与命题(2)(3)(4)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；若f(x)是周期函数，则f(x)是正弦函数；若f(x)不是正弦函数，则f(x)不是周期函数；若f(x)不是周期函数，则f(x)不是正弦函数。观察命题(1)与命题(2)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；若f(x)是周期函数，则f(x)是正弦函数；互逆命题：一个命题的条件和结论分别是另一个命题的结论和条件，这两个命题叫做互逆命题。原命题：其中一个命题叫做原命题。逆命题：另一个命题叫做原命题的逆命题。pqqp观察命题(1)与命题(3)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；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

互为逆否命题

原命题(原命题的)逆否命题原命题与其逆否命题的真假是否存在相关性呢?２、互否命题：如果第一个命题的条件和结论是第二个命题的条件和结论的否定，那么这两个命题叫做互否命题。如果把其中一个命题叫做原命题，那么另一个叫做原命题的否命题。３、互为逆否命题：如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题。１、互逆命题：如果第一个命题的条件（或题设）是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫互逆命题。如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆命题。例设原命题是“当c>0时，若a>b

，则ac>bc”，写出它的逆命题、否命题、逆否命题，并分别判断它们的真假：逆命题：当c>0时，若ac>bc，则a>b．

逆命题为真．否命题：当c>0时，若a≤b

，则ac≤bc．否命题为真．逆否命题：当c>0时，若ac≤bc，则a≤b

．逆否命题为真．原结论反设词原结论反设词是至少有一个都是至多有一个大于至少有n个小于至多有n个对所有x,成立对任何x，不成立准确地作出反设(即否定结论)是非常重要的，下面是一些常见的结论的否定形式.

不是不都是不大于大于或等于一个也没有至少有两个至多有（n-1)个至少有（n+1)个存在某x，不成立存在某x，成立

例写出下列命题的逆命题、否命题、逆否命题，并分别判断它们的真假：

（1）全等