命题:可以判断真假的陈述句。
常写成"若 p,则 q"的形式。
| p⇒q | q⇒p | p是q的什么条件 |
|---|---|---|
| ✓ | ✓ | 充要条件 |
| ✓ | ✗ | 充分不必要 |
| ✗ | ✓ | 必要不充分 |
| ✗ | ✗ | 既不充分也不必要 |
A⊆B → 充分 | B⊆A → 必要 | A=B → 充要
口诀:小范围推大范围
| 量词 | 符号 | 含义 |
|---|---|---|
| 全称量词 | ∀ | "所有的""任意的" |
| 存在量词 | ∃ | "存在""至少有一个" |
∀x, p(x) 的否定是 ∃x, ¬p(x)
∃x, p(x) 的否定是 ∀x, ¬p(x)
口诀:换量词,否结论
(1)是,真 (2)不是 (3)不是 (4)是,真
(1)充分不必要 (2)充分不必要
必要不充分条件
m ≥ 9
(1)真 (2)假 (3)假
(1)∃x,|x+1|≤1,真 (2)∀x>0,x²-x+1≠0,真 (3)存在菱形对角线不垂直,假
充分性:a+b+c=0⇒(x-1)(ax+a+b)=0⇒x=1是根
必要性:x=1是根⇒a+b+c=0