1 0 ,故原命题的逆否命题是真命题. 4
集合与简易逻辑——第 5 课时:简易逻辑
第一章
例 4.(考点 6 智能训练 14 题)已知命题 p :方程 x2 mx 1 0 有两个不相等的实负根,命题q : 方程4 x 2 4(m 2) x 1 0 无实根;若 p 或 q 为真, p 且 q 为假,求实数m 的取值范围. 分析:先分别求满足条件 p 和 q 的 m 的取值范围,再利用复合命题的真假进行转化与讨论. ∴m 2 m 0 由命题q 可以得到: [4( m 2)]2 16 0 ∴ 2 m 6 ∵ p 或 q 为真, p 且 q 为假 ∴ p, q 有且仅有一个为真 m 2 当 p 为真, q 为假时, m6 m 2, orm 6 m 2 当 p 为假, q 为真时, 2 m 2 2 m 6 所以, m 的取值范围为{m | m 6 或 2 m 2}. 解:由命题 p 可以得到: 例5 . ( 《 高考 A 计划》考点 5 智能训练第 14 题)已知函数 f ( x ) 对其定义域内的任意两个数a, b , 当 a b 时,都有 f (a) f ( b ) ,证明: f ( x ) 0 至多有一个实根. 解:假设 f ( x ) 0 至少有两个不同的实数根 x1, x2 ,不妨假设 x1 x2 , 由方程的定义可知: f (x1 ) 0, f (x2 ) 0 即 f (x1 ) f (x2 ) ① 由已知 x1 x2 时,有 f (x1 ) f (x2 ) 这与式①矛盾 因此假设不能成立 故原命题成立. 注:反证法时对结论进行的否定要正确,注意区别命题的否定与否命题. 例6 . ( 《 高考 A 计划》考点 5 智能训练第 5 题)用反证法证明命题:若整数系数一元二次方程: ax2 bx c 0(a 0) 有有理根,那么a, b, c 中至少有一个是偶数,下列假设中正确的是( ) A.假设 a, b, c 都是偶数 B.假设a, b, c 都不是偶数 C.假设 a, b, c 至多有一个是偶数 D.假设a, b, c 至多有两个是偶数