命题的形式及等价关系-沪教版必修1教案.docVIP

命题的形式及等价关系 基础热身： (1) 命题“若 x2 1 ，则 1 x 1”的逆否命题是（ ） A. 若 x 2 ≥ ，则 x ≥ 1 或 x ≤ 1 B. 若 1 x 1 ，则 x 2 1 1 C.若 x 1 或 x 1，则 x2 1 D. 若 x ≥ 1或 x ≤ 1，则 x2 ≥ 1 (2) 命题“若函数 f (x) loga x(a 0,a 1)在定义域内是减函数 , 则 loga 2 0 ”的逆否命题是 （ ） A 、若 log a 2 0 ，则函数 f ( x) log a x( a 0, a 1) 在其定义域内 不是减函数 B 、若 log a 2 0 ，则函数 f ( x) log a x( a 0, a 1) 在其定义域内不是减函数 C 、若 log a 2 0 ，则函数 f ( x) log a x( a 0, a 1) 在其定义域内是减函数 D 、若 log a 2 0 ，则函数 f ( x) log a x( a 0, a 1) 在其定义域内是减函数 知识梳理： 1. 命题： 可以判断真假的语句叫做 命题 。 说明 :(1) 命题通常用陈述句表述。 数学中的定义、公理、定理等 , 都是数学命题。 在数学中，一般只研究数学命题。 命题一般地由 条件、结论 两部分组成。 命题常写成 “如果 α，那么 β” 的形式。 对于这样的命题，用“如果”开始的部分是条件，用“那么”开始的部分是结论。 注意 : α、β 也都是命题，可能是简单命题，也可能是复合命题。 简单命题 ：不含逻辑联结词的命题。 复合命题 ：由简单命题与逻辑联结词构成的命题。 逻辑联结词 ：“或”、“且”、“非”这些词叫做逻辑联结词。 如： (1)3 是 12 的约数 . (2)3 是 12 的约数且 3 是 15 的约数 . 2．判断 命题的真假： 正确的命题叫做 真命题 ，错误的命题叫做 假命题 。 1） 确定一个命题是真命题必须作出证明；①直接证明；②间接证明（同一法、反证法） 直接法： 即从已知条件出发， 依据所学过的公理， 定理，公式进行逐步推理， 从而得出结论。 反证法：从命题结论的反面出发，引出矛盾，从而证明命题成立。 2）确定一个命题是假命题，只要举反例即可。例 1：判断下列命题的真假，并说明理由。 如果 a 是有理数，那么它一定是自然数。 (2) 如果 a 是有理数，那么 a 2＞ a ． (3) 若 a R， a x+1= x+3 ，那么关于 x 的方程有惟一解。 (4) 如果一元二次方程 a x2+bx+c=0( a 0) 满足 a c0, 那么这个方程有实数根。 （5）如果一元二次方程 a x2+bx+c=0( a 0) 有实数根，那么满足 a c0。 6）一个有理数 b 与一个无理数 c 的和是无理数 a 。证明：设命题的反面成立，即这两数的和为有理数。 设 a q ,b r ，则 c a b q r qs pr 为有理数， p s p s ps 与 c 是无理数矛盾 所以，命题“一个有理数与一个无理数的和是无理数”是真命题。 推出关系 : 确定一个命题是真命题必须作出证明， 即证明若满足命题条件就一定能推出命题结论。 （ 1）如果命题 α成立 可以推出命题β也成立， 那么就说由α可以 推出 β，记作；α β，读作“α推出β”。 即: α β表示以α为条件、β为结论的命题是真命题。 如果 α成立 不能推出 β成立，记作 : α ? β。 即: α ? β表示以α为条件、β为结论的命题是假命题。 如 : α : 两个角是对顶角 β : 两个角相等； α β α : 两个角相等 β : 两个角是对顶角。 ? β （ 2）如果α β并且β α，记作α β，叫做α与β 等价。 如： α: 三角形是等腰三角形 β : 两底角相等； α β 2 2 β :x=y=0. α:x +y =0(x R,y R) α β 如果α β , β γ, 那么α γ 即：推出关系具有传递性 如：α : x9 β :x5 例 2：个位数为 5 的自然数能被 5 整除。 证： α 1: 自然数 n 的个位数为 5  γ:x1 α 2: n=10k+5 ， k N α 3: n=5(2k+1) ， k N α 4: n 能被 5 整除 . 例 3：用“ ? 、 ? 、 ”表示α、β之间关系 (1) α：实数 x 满足 x2=9， β： x =3 或 x =-3 (2) α： A∩ B = U ， β： A = U 或 B = U (U 为全集 ) (3) α： A B， β： A∩ B = A (4) α： ab 0 ， β： a 0 (5