命题的形式及等价关系【杨高】.ppt

* * 第一章　集合和命题 1.3.2 集合的运算 1.4.1 命题的形式及等价关系 命题与推出关系 一、命题、真命题、假命题 可以判断真假的语句叫做命题. (1) ； 正确的命题叫做真命题，错误的命题叫做假命题. (2) 是一个很大的数； (3) 凡直角三角形都相似； (4) 是无理数吗？ (5)如果两个三角形的三条边对应相等，那么这两 个三角形全等； (2)(4)不是命题； (1)(3)是假命题. (5)(6)是真命题; (6)若 ，则 . (1) 3是12的约数 ； (2) 是任何集合的真子集； (3) 所有偶数的平方都是4的倍数； (4) 如果 ，那么 ； (5) 三角形的三个内角之和是 ； (6) 如果 ，那么 中至少有一个正数. (1)(3)(5)(6)是真命题 (2)(4)是假命题. 例1.判断下列命题的真假： 二、常见命题的结构 命题大多由条件与结论两部分组成. 它们的一般结构是 , “如果 ，那么 ” 其中 为条件， 为结论. 例 如果两个三角形的三条边对应相等， 那么这两个三角形全等. 思考 命题 “凡直角三角形都相似” 的条件与结论 分别是什么？ 如果两个三角形都是直角三角形，那么这两个三 角形相似. 或者是 “若 ，则 ” 例2.把下列命题改写成 的形式： “如果 ，那么 ” (1)末位是0的整数，可以被5整除； (3) 三角形的三个内角之和是 ； (2)平行于同一条直线的两直线平行； (4)线段垂直平分线上的点与这条线段两个端点的 距离相等. 解: (1)如果一个整数的末位是0，那么这个整数能 被5整除； (2)如果两条直线平行于同一条直线，那么这两条 直线平行. 例2.把下列命题改写成 的形式： “如果 ，那么 ” (1)末位是0的整数，可以被5整除； (3) 三角形的三个内角之和是 ； (2)平行于同一条直线的两直线平行； (4)线段垂直平分线上的点与这条线段两个端点的 距离相等. 解: (3)如果已知的三个角是某一个三角形的三个 内角，那么这三个角的和是 ； (4)如果一个点在线段的垂直平分线上，那么这个 点与这条线段两个端点的距离相等. 解毕 三、命题与推出关系 当命题 经过推理证明断定是 “如果 ，那么 ” 我们就说由 可以推出 ， 真命题时， 记作 例 命题“如果 ，则 ； 读作“ 推出 ” 注意： “如果 ，那么 ”真 与 讲述的是同一种逻辑关系,仅表现形式不同. 因为它是真命题，所以