充分不必要条件的定义和判定方法

一、充分不必要条件的定义和判定方法

1、定义

（1）充分不必要条件：一般地，如果有$pRightarrow q$且$qRightarrow p$，此时，我们说$p$是$q$的充分不必要条件。

（2）必要不充分条件：一般地，如果有$pRightarrow q$且$qRightarrow p$，此时，我们说$p$是$q$的必要不充分条件

（3）充要条件：一般地，如果既有$pRightarrow q$，又有$qRightarrow p$，就记作$pLeftrightarrow q$。此时，我们说$p$是$q$的充分必要条件，简称充要条件。显然，如果$p$是$q$的充要条件，那么$q$也是$p$的充要条件。概括地说，如果$pLeftrightarrow q$，那么$p$与$q$互为充要条件。

2、充分条件与必要条件的传递性

（1）若$p$是$q$的充分条件，$q$是$s$的充分条件，即$pRightarrow q$，$qRightarrow s$，则有$pRightarrow s$，即$p$是$s$的充分条件。

（2）若$p$是$q$的必要条件，$q$是$s$的必要条件，即$qRightarrow p$，$sRightarrow q$，则有$sRightarrow p$，即$p$是$s$的必要条件。

（3）若$p$是$q$的充要条件，$q$是$s$的充要条件，即$pLeftrightarrow q$，$qLeftrightarrow s$，即$p$是$s$的充要条件。

3、充分、必要条件的判定方法

（1）定义法

① 认清$p$与$q$；

② 找推式：判断是否有$“pRightarrow q”“qRightarrow p”$；

③ 根据推式找出结论。

（2）集合法

写出集合$A={x|p(x)}$及$B={x|q(x)}$，利用集合间的包含关系进行判断。

（3）用命题的等价性判断

利用$pRightarrow q$与$lnot qRightarrow lnot p$，$q Rightarrow p$与$lnot pRightarrow lnot q$，$p Leftrightarrow q$与$lnot pLeftrightarrow lnot q$的等价关系判断，对于条件或结论是否定形式的命题，一般运用等价法。

（4）利用传递性判断

对于较复杂（如链式）关系，常利用$Rightarrow$，$ Leftarrow$，$Leftrightarrow$，$Rightarrow$等符号进行传递，根据这些符号所组成的图示就可以得出结论。

二、充分不必要条件的相关例题

1$，则$p$是$q$成立的___

Ａ．充分不必要条件

Ｂ．必要不充分条件

Ｃ．充分不必要条件

Ｄ．既不充分也不必要条件

答案：A

1$。即$p$命题能推出$q$命题，$q$命题不能推出$p$命题。故$p$是$q$成立的充分不必要条件。