常用逻辑用语1.ppt

命题及其关系 1.1.1 命题 思考 下列语句的表述形式有什么特点?你能判断 它们的真假吗? （1） 125; （2） 3是12的约数; （3） 0.5是整数; （4）对顶角相等; （5）3 能被2整除; （6）若x2=1,则x=1. 命题的概念 用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。 判断为真的语句叫做真命题。 判断为假的语句叫做假命题。 理解： 1）命题定义的核心是判断，切记：判断的标准必须确定，判断的结果可真可假，但真假必居其一。 2）含有变量且在未给定变量的值之前无法确定语句的真假。 用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。如何判断一个语句是不是命题？ 看看下列语句是不是命题？ 今天天气如何？ 你是不是作业没交？ 这里景色多美啊！ -2不是整数。 43。 x4。 不是（疑问句） 不是（疑问句） 不是（感叹句） 是（否定陈述句） 是（肯定陈述句） 不是（开语句） “若p则q”形式的命题 命题“若整数a是素数，则a是奇数。”具有“若p则q”的形式。 “若p则q”形式的命题的书写 例2 指出下列命题中的条件p和结论q： 若整数a能被2整除，则a是偶数； 菱形的对角线互相垂直且平分。 例3 把下列命题改写成“若p则q”的形式,并判定真假。 (1) 负数的平方是正数. (2) 偶函数的图像关于y轴对称. (3)垂直于同一直线的两条直线平行 (4) 面积相等的两个三角形全等. (5) 对顶角相等. 练习 命题及其关系 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)是正弦函数； 观察命题(1)与命题(3)的条件和结论之间分别有什么关系？ 若f(x)是正弦函数，则f(x)是周期函数； 3. 若f(x)不是正弦函数，则f(x)不是周期函数. 观察命题(1)与命题(4)的条件和结论之间分别有什么关系？ 若f(x)是正弦函数，则f(x)是周期函数； 4. 若f(x)不是周期函数，则f(x)不是正弦函数. 原命题,逆命题,否命题,逆否命题 四种命题形式: 原命题: 逆命题: 否命题: 逆否命题: 若 p, 则 q 若 q, 则 p 若┐p, 则┐q 若┐q, 则┐p 判断正误,并说明理由: 否命题与命题的否定 四种命题间的相互关系 若f(x)是正弦函数，则f(x)是周期函数； 若f(x)是周期函数，则f(x)是正弦函数； 若f(x)不是正弦函数，则f(x)不是周期函数； 若f(x)不是周期函数，则f(x)不是正弦函数。 　　　 例1 “若x2+y2≠0，则x，y至少有一个不为0”是命题A的否命题，写出命题A及其逆命题、逆否命题并判断它们的真假。 解：命题A:若x2+y2=0，则x，y全都为0； 逆命题：若x，y全都为0，则x2+y2=0； 逆否命题：若x，y至少有一个不为0，则x2+y2≠0。 探究四 一般的，四种命题的真假性，有且仅有以下四种情况： 例2 证明：若x2+y2=0，则x=y=0. 证明：若x，y中至少有一个不为0，不妨设x≠0，则x2＞0，所以 x2+y2 ＞0， 也就是说x2+y2 ≠0. 因此，原命题的逆否命题为真命题，从而原命题为 真命题 求证：圆的两条不是直径的相交弦不能平分。 已知：如图，在⊙O中，弦AB、CD交于P，且AB、CD不是直径. 求证：弦AB、CD不被P平分. 证明：假设AB、CD被P平分， 则OP是等腰△AOB, △COD的底边上的中线， 所以，OP⊥AB, OP⊥CD 但AB和CD都经过点P,且与OP 垂直，这是不可能的， 所以假设不成立， 故弦AB、CD不被P平分， 命题得证。 反证法 欲证“若p则q”为真命题，从否定其结论即“非q”出发，经过正确的逻辑推理导出矛盾，从而“非q”为假，即原命题为真，这样的证明方法称为反证法。 证明命题的方法 巩固练习 证明：若p＋q＞2，则p2＋q2≠2. 证明一：要证“若p＋q＞2，则p2＋q2≠2” 只需证它的逆否命题“若p2＋q2＝2，则p＋q≤