简易逻辑复习课.pptVIP

一、命题的有关概念 1.命题 可以判断真假的语句. 2.逻辑联结词 “或”、“且”、“非”. 3.简单命题 不含逻辑联结词的命题. 4.复合命题 含有逻辑联结词的命题. 5.复合命题真值表 二、命题的四种形式 逆否命题: 若?q, 则?p. 原命题: 若 p, 则 q; 逆命题: 若 q, 则 p; 否命题: 若?p, 则?q; 互逆 互逆 互 否 互 否 否命题 若?p 则?q 逆否命题 若?q 则?p 原命题 若 p 则 q 逆命题 若 q 则 p 互 为 逆 否 否 逆 为 互 注: 互为逆否命题的两个命题同真假.　 3.量词的否定 原 大于() 小于() 都是 都不是 至少 n 个 至多 n 个 否定 不大于(≤) 不小于(≥) 不都是 至少有一个是 至多 n-1 个 至少 n+1 个 4.全称量词、全称命题 存在量词、特称命题 一般形式、真假判断、否定的写法 四、充要条件 1.充分与必要条件 ①若 p?q, 但 q?p, 则 p 是 q 的充分但不必要条件. ②若 q?p, 但 p?q, 则 p 是 q 的必要但不充分条件. ③若 p?q, 且 q?p, 则 p 是 q 的充要条件. ④若 p?q, 且 q?p, 则 p 是 q 的既不充分也不必要条件. 3.集合观点 设 P={x | p(x)成立}, Q={x | q(x)成立}, ④若 P?Q 且 Q?P, 则 p 是 q 的既不充分也不必要条件. ①若 P Q, 则 p 是 q 的充分但不必要条件; ②若 Q P, 则 p 是 q 的必要但不充分条件; ③若 P=Q, 则 p 是 q 的充要条件(q 也是 p 的充要条件); 典型例题 例1 判断下列各题中 p 是 q 的什么条件: (1) p: x5, q: x≥5; (2) p: 1+sin? =a, q: sin +cos =a; 2 ? 2 ? (3) p: D2=4F, q: 圆 x2+y2+Dx+Ey+F=0 与 x 轴相切; (4) p: 多面体是正四棱柱, q: 多面体是长方体; (5) p: △ABC中, acosB=bcosA, q: △ABC为等腰三角形. 解: (1)设 P={x | x5}, Q={x | x≥5}, ∴p 是 q 的充分但不必要条件. ∵P Q, (2)∵ 1+sin? =a?|sin +cos |=a 2 ? 2 ? ?sin +cos =a, 2 ? 2 ? 而 sin +cos =a?1+sin? =a2 2 ? 2 ? ? 1+sin? =|a| ? 1+sin? =a, ∴p 是 q 的既不充分也不必要条件. 解: 圆 x2+y2+Dx+Ey+F=0与 x 轴相切 ∴p 是 q 的必要但不充分条件. 解: ∵正四棱柱是特殊的长方体, ∴p 是 q 的充分但不必要条件. ∴{正四棱柱} {长方体}. 解: ∵acosB=bcosA, ∴2RsinAcosB=2RcosAsinB. ∴A=B . ∴sin(A-B)=0. ∴p?q. ∴p 是 q 的充分但不必要条件. 而 q 中没有指明哪两个角相等, 又显然 q?p, ? |- |= D2+E2-4F 且 E?0 E 2 1 2 ? . D2-4F=0 E?0 将　　　　 形成的值看作集合 Q, D2-4F=0 E?0 (4) p: 多面体是正四棱柱, q: 多面体是长方体. (5) p: △ABC中, acosB=bcosA, q: △ABC为等腰三角形. P 形成的集合看作 P, 显然 Q P. (3) p: D2=4F, q: 圆 x2+y2+Dx+Ey+F=0 与 x 轴相切. 例2 已知 f(x)=ax2+bx+c(a, b, c?R), 求证: 关于 x 的方程 f(x)=0 恰有两不相等的实数解的充要条件是: 存在 x0?R, 使 af(x0)0. 则 a?0, 且 △=b2-4acb2-4(-a2x02-abx0) 证: ①充分性: 若存在 x0?R, 使af(x0)0, 即