充分条件与必要条件

01 · 出发点

推出方向决定条件的名称

“能推出什么”和“由什么推出”是两件不同的事。若 $p\Rightarrow q$，就说 $p$ 对 $q$ 是充分的；若 $q\Rightarrow p$，就说 $p$ 对 $q$ 是必要的。

充分与必要总是相对于两个命题而言，而且有明确方向。把自然语言先写成箭头，再命名条件，可以减少“谁对谁”的混淆。

02 · 概念

充分、必要与充要条件

若 $p\Rightarrow q$，则 $p$ 是 $q$ 的充分条件，$q$ 是 $p$ 的必要条件。充分表示“有它就够”，必要表示“没有它就不行”，两种称呼描述的是同一条推出关系的两个端点。

若 $p\Rightarrow q$ 且 $q\Rightarrow p$，就记作 $p\Leftrightarrow q$，此时 $p$ 与 $q$ 互为充要条件。检验反向推出时，应主动寻找满足后件却不满足前件的反例。

03 · 方法

用双向检验确定条件关系

1. 01

   明确 $p$、$q$ 的对象范围，分别写出 $p\Rightarrow q$ 和 $q\Rightarrow p$ 两个待检验方向。

2. 02

   对每个方向进行证明或给出反例，并把成立的箭头保留下来。

3. 03

   只有 $p\Rightarrow q$ 时，$p$ 充分不必要；只有 $q\Rightarrow p$ 时，$p$ 必要不充分；两个方向都成立时，$p$ 是 $q$ 的充要条件。

04 · 例题

把方法落到具体问题

05 · 辨析

容易忽略的条件与边界