充分条件、必要条件与充要条件

定义

设 $p$、$q$ 是两个命题。

• 充分条件：若 $p\Rightarrow q$，则称 $p$ 是 $q$ 的充分条件，$q$ 是 $p$ 的必要条件；
• 充要条件：若 $p\iff q$（即 $p\Rightarrow q$ 且 $q\Rightarrow p$），则称 $p$、$q$ 互为充要条件，记 $p⟺q$。

四种条件关系：

关系	符号	含义
充分不必要	$p\Rightarrow q$ 且 $q\nRightarrow p$	$p$ 成立可推出 $q$，反之不行
必要不充分	$q\Rightarrow p$ 且 $p\nRightarrow q$	$q$ 成立可推出 $p$，反之不行
充要	$p\iff q$	互相推出
既不充分也不必要	$p\nRightarrow q$ 且 $q\nRightarrow p$	互推都不成立

推导

全称量词与存在量词：

• 全称量词 $\forall$（任意）：$\forall x\in M,P(x)$ 表示”对集合 $M$ 中任意 $x$，$P(x)$ 成立”；
• 存在量词 $\exists$（存在）：$\exists x\in M,P(x)$ 表示”集合 $M$ 中存在 $x$ 使 $P(x)$ 成立”。

命题的否定（量词互换、谓词否定）：

原命题	否定
$\forall x\in M,P(x)$	$\exists x\in M,\neg P(x)$
$\exists x\in M,P(x)$	$\forall x\in M,\neg P(x)$

条件判断与集合的关系：

设 $A=\{x\mid p(x)\}$、$B=\{x\mid q(x)\}$。

• $p\Rightarrow q$ 等价于 $A\subseteq B$；
• $p\iff q$ 等价于 $A=B$。

典例精析

例 1：判断下列各题中 $p$ 是 $q$ 的什么条件。

1. $p:x>2$，$q:x>1$。由 $x>2\Rightarrow x>1$ 但 $x=1.5$ 时 $q$ 成立而 $p$ 不成立，故 $p$ 是 $q$ 的充分不必要条件。
2. $p:x=2$，$q:x^2=4$。由 $x=2\Rightarrow x^2=4$ 但 $x=-2$ 时 $q$ 成立而 $p$ 不成立，故 $p$ 是 $q$ 的充分不必要条件。
3. $p:x^2-1=0$，$q:x=\pm 1$。由 $x^2-1=0\iff x=\pm 1$，故 $p$、$q$ 互为充要条件。

例 2：写出命题"$\forall x\in \mathbb{R},x^2+x+1>0$"的否定并判断真假。

否定：$\exists x\in \mathbb{R},x^2+x+1\le 0$。

原命题为真：因 $\Delta =1-4=-3<0$ 且二次项系数 $1>0$，故 $x^2+x+1>0$ 对任意实数 $x$ 恒成立，原命题为真，否定为假。

对比

项目	充分条件	必要条件	充要条件
推导方向	$p\Rightarrow q$	$q\Rightarrow p$	$p\iff q$
集合关系	$A\subseteq B$	$B\subseteq A$	$A=B$
例子	$x>2\Rightarrow x>1$	$x>1\Rightarrow x>0$	$x^2=1\iff x=\pm 1$