河北省沙河市第一中学高二数学《命题及其关系》课件.ppt

命题与及其关系 第一章常用逻辑用语 命题及其关系 1 1 1命题 思考 下列语句的表述形式有什么特点 你能判断它们的真假吗 1 12 5 2 3是12的约数 3 0 5是整数 4 对顶角相等 5 3能被2整除 6 若x2 1 则x 1 语句都是陈述句 并且可以判断真假 一 命题的概念 用语言 符号或式子表达的 可以判断真假的陈述句叫做命题 判断为真的语句叫做真命题 判断为假的语句叫做假命题 理解 1 命题定义的核心是判断 切记 判断的标准必须确定 判断的结果可真可假 但真假必居其一 2 含有变量且在未给定变量的值之前无法确定语句的真假 1 12 5 2 3是12的约数 3 0 5是整数 4 对顶角相等 5 3能被2整除 6 若x2 1 则x 1 今天天气如何 你是不是作业没交 这里景色多美啊 2不是整数 4 3 x 4 看看下列语句是不是命题 不是 疑问句 不是 疑问句 不是 感叹句 是 否定陈述句 是 肯定陈述句 不是 例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 的形式 通常 我们把这种形式的命题中的p叫做命题的条件 q叫做命题的结论 若p则q 形式的命题是命题的一种形式而不是唯一的形式 也可写成 如果p 那么q 只要p 就有q 等形式 其中p和q可以是命题也可以不是命题 若p则q 形式的命题的优点是条件与结论容易辨别 缺点是太格式化且不灵活 若p则q 形式的命题的书写 了解命题表示的判断 明确与判断有关的条件与结论 对于一些条件与结论不明显的命题 一般采取先添补一些命题中省略的词句 确定条件与结论 如命题 垂直于同一条直线的两个平面平行 写成 若p则q 的形式为 若两个平面垂直于同一条直线 则这两个平面平行 例2指出下列命题中的条件p和结论q 若整数a能被2整除 则a是偶数 菱形的对角线互相垂直且平分 解 1 条件p 整数a能被2整除 结论q 整数a是偶数 2 条件p 四边形是菱形 结论q 四边形的对角线互相垂直且平分 例3把下列命题改写成 若p则q 的形式 并判定真假 1 负数的平方是正数 2 偶函数的图像关于y轴对称 3 垂直于同一条直线的两条直线平行 4 面积相等的两个三角形全等 5 对顶角相等 真命题真命题假命题假命题真命题 练习 1 将命题 a 0时 函数y ax b的值随x值的增加而增加 改写成 p则q 的形式 并判断命题的真假 解 a 0时 若x增加 则函数y ax b的值也随之增加 它是真命题 在本题中 a 0是大前提 应单独给出 不能把大前提也放在命题的条件部分内 2 把下列命题改写成 若p 则q 的形式 并判断它们的真假 1 等腰三角形两腰的中线相等 2 垂直于同一个平面的两个平面平行 1 若三角形是等腰三角形 则三角形两边上的中线相等 这是真命题 2 若两个平面垂直于同一平面 则这两个平面互相平行 这是假命题 小结 可以判断真假的陈述句叫做命题 具有 若p 则q 的形式的命题中的p叫做命题的条件 q叫做命题的结论 命题及其关系 1 1 2四种命题 下列四个命题中 命题 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 是正弦函数 互逆命题 一个命题的条件和结论分别是另一个命题的结论和条件 这两个命题叫做互逆命题 原命题 其中一个命题叫做原命题 逆命题 另一个命题叫做原命题的逆命题 即原命题 若p 则q 逆命题 若q 则p 例如 命题 同位角相等 两直线平行 的逆命题是 两直线平行 同位角相等 观察命题 1 与命题 3 的条件和结论之间分别有什么关系 若f x 是正弦函数 则f x 是周期函数 3 若f x 不是正弦函数 则f x 不是周期函数 原命题 若p 则q 为书写简便 常把条件p的否定和结论q的否定分别记作 p q 否命题 若 p 则 q 例如 命题 同位角相等 两直线平行 的否命题是 同位角不相等 两直线不平行 互否命题 如果一个命题的条件和结论分别是另一个命题的条件的否定和结论的否定 那么我们把这样的两个命题叫做互否命题 其中一个命题叫做原命题 另一个叫做原命题的否命题 观察命题 1 与命题 4 的条件和结论之间分别有什么关系 若f x 是正弦函数 则f x 是周期函数 4 若f x 不是周期函数 则f x 不是正弦函数 原命题 若p 则q 逆否命题 若 q 则 p 例如 命题 同位角相等 两直线平行 的逆否命题是 两直线不平行 同位角不相等 互为逆否命题如果一个命题的条件和结论分别是另一个命题的结论的否定和条件否定 那么我们把这样的两个命题叫做互为逆否命题 其中一个命题叫做原命题 另一个叫做原命题的逆否命题 互否命题 如果第一个命题的条件和结论是第二个命题的条件和结论的否定 那么这两个命题叫做互否命题 如果把其中一个命题叫做原命题 那么另一个叫做原命题的否命题 互为逆否命题 如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定 那么这两个命题叫做互为逆否命题 互逆命题 如果第一个命题的条件 或题设 是第二个命题的结论 且第一个命题的结论是第二个命题的条件 那么这两个命题叫互逆命题 如果把其中一个命题叫做原命题 那么另一个叫做原命题的逆命题 三个概念 原命题 逆命题 否命题 逆否命题 四种命题形式 原命题 逆命题 否命题 逆否命题 若p 则q若q 则p若 p 则 q若 q 则 p 判断正误 并说明理由 1 若原命题是 对顶角相等 它的否命题是 对顶角不相等 2 若原命题是 对顶角相等 它的否命题是 不成对顶关系的两个角不相等 例设原命题是 当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 1 个 至少有 n 1 个 存在某x 不成立 存在某x 成立 练习 分别写出下列命题的逆命题 否命题 逆否命题 并判断它们的真假 1 若q 1 则方程有实根 2 若ab 0 则a 0或b 0 3 若一个整数的末位数字是 则这个整数能被 整除 4 若一个三角形的两条边相等 则这个三角形的两个角相等 5 奇函数的图像关于原点中心对称 练习 解 3 逆命题 若一个整数能被 整除 则这个整数的末位数字是 这是假命题 否命题 若一个整数的末位数字不是 则这个整数不能被 整除 这是假命题 逆否命题 若一个整数不能被 整除 则这个整数的末位数字不是 这是真命题 4 若一个三角形的两个角