简易逻辑与充要条件

本节导读

简易逻辑在试卷里最常见的考法是一道选择题：给出甲、乙两个条件，问「甲是乙的什么条件」，四个选项永远是「充分不必要」「必要不充分」「充要」「既不充分也不必要」。偶尔也会考四种命题的写法与真假。这类题只要方向搞清楚，十几秒就能做完，是又一道送分题。

学完这一节，你应该能写出一个命题的逆命题、否命题和逆否命题，知道它们的真假关系，会判断充分条件、必要条件和充要条件，并会用集合的包含关系来快速判断。

命题与四种命题

什么是命题

能判断真假的陈述句叫命题。「$2 + 3 = 5$2+3=5」是真命题，「$2 + 3 = 6$2+3=6」是假命题，「今天天气真好」不能判断真假，不是命题。数学里最常见的是「若 $p$p，则 $q$q」的形式，$p$p 叫条件，$q$q 叫结论。要说明一个命题是真的，必须给出证明；要说明它是假的，只要举出一个反例就够了。

四种命题

对同一个命题「若 $p$p，则 $q$q」，把条件和结论交换、或者各自否定，可以得到另外三种命题。下表以「若 $x = 1$x=1，则 $x^2 = 1$x2=1」为例：

命题	形式	例子	真假
原命题	若 $p$p，则 $q$q	若 $x = 1$x=1，则 $x^2 = 1$x2=1	真
逆命题	若 $q$q，则 $p$p	若 $x^2 = 1$x2=1，则 $x = 1$x=1	假（$x = -1$x=−1 是反例）
否命题	若非 $p$p，则非 $q$q	若 $x \ne 1$x=1，则 $x^2 \ne 1$x2=1	假（$x = -1$x=−1 是反例）
逆否命题	若非 $q$q，则非 $p$p	若 $x^2 \ne 1$x2=1，则 $x \ne 1$x=1	真

四种命题的真假有一条重要的规律：原命题和它的逆否命题同真同假；逆命题和否命题同真同假；而原命题和逆命题、否命题之间没有必然联系。所以一个命题不好直接判断真假时，可以改去判断它的逆否命题。

充分条件与必要条件

定义

如果「若 $p$p，则 $q$q」是真命题，记作 $p \Rightarrow q$p⇒q，就说 $p$p 是 $q$q 的充分条件，$q$q 是 $p$p 的必要条件。意思是：有了 $p$p 就足够推出 $q$q；而要想 $p$p 成立，$q$q 是必须有的。如果 $p \Rightarrow q$p⇒q 和 $q \Rightarrow p$q⇒p 都成立，记作 $p \Leftrightarrow q$p⇔q，就说 $p$p 是 $q$q 的充分必要条件，简称充要条件。

记忆口诀：箭头从谁出发，谁就是充分条件；箭头指向谁，谁就是必要条件。

四种情况

判断「$p$p 是 $q$q 的什么条件」，只需要判断两个方向各自成不成立：

$p \Rightarrow q$p⇒q	$q \Rightarrow p$q⇒p	$p$p 是 $q$q 的
成立	不成立	充分不必要条件
不成立	成立	必要不充分条件
成立	成立	充要条件
不成立	不成立	既不充分也不必要条件

「不成立」的判断很简单：举一个反例就行。比如判断「$x = 2$x=2」与「$x^2 = 4$x2=4」：$x = 2$x=2 一定推出 $x^2 = 4$x2=4；反过来 $x^2 = 4$x2=4 时 $x$x 可以是 $-2$−2，推不出 $x = 2$x=2。所以 $x = 2$x=2 是 $x^2 = 4$x2=4 的充分不必要条件。

集合法

设 $A$A 是使 $p$p 成立的所有对象组成的集合，$B$B 是使 $q$q 成立的所有对象组成的集合，则可以用包含关系来判断：

集合关系	结论
$A \subsetneqq B$A⫋B	$p$p 是 $q$q 的充分不必要条件
$B \subsetneqq A$B⫋A	$p$p 是 $q$q 的必要不充分条件
$A = B$A=B	$p$p 是 $q$q 的充要条件
互不包含	既不充分也不必要条件

一句话：范围小的是充分条件，范围大的是必要条件。比如 $p$p：$x \gt 2$x>2，$q$q：$x \gt 0$x>0，集合 $(2, +\infty)$(2,+∞) 包含于 $(0, +\infty)$(0,+∞)，所以 $p$p 是 $q$q 的充分不必要条件。这个办法对含参数、含不等式的题特别好用。

易错提醒

• ❌ 「$p$p 是 $q$q 的充分条件」和「$p$p 的充分条件是 $q$q」当成一回事。
  ✅ 先找主语：「$A$A 是 $B$B 的……条件」，就看 $A \Rightarrow B$A⇒B 成不成立。
  方向弄反，整题全错。

• ❌ 找到一个例子满足，就认为 $p \Rightarrow q$p⇒q 成立。
  ✅ 要说明 $p \Rightarrow q$p⇒q 成立，必须对所有满足 $p$p 的情形都成立。
  举例只能用来否定，不能用来肯定。

• ❌ 否命题写成「若 $p$p，则非 $q$q」。
  ✅ 否命题是条件和结论都否定：「若非 $p$p，则非 $q$q」。
  只否定结论的是命题的否定，不是否命题。

• ❌ 原命题是真命题，所以它的逆命题也是真命题。
  ✅ 只有逆否命题与原命题同真假。
  逆命题与原命题没有必然联系。

• ❌ 「$a \gt b$a>b 是 $a^2 \gt b^2$a2>b2 的充分条件」。
  ✅ 取 $a = 1$a=1，$b = -2$b=−2，$a \gt b$a>b 但 $a^2 \lt b^2$a2<b2，不是充分条件。
  带平方、绝对值的条件，最容易被负数击穿。

例题精讲

例题 1

命题「若 $x \gt 1$x>1，则 $x^2 \gt 1$x2>1」的逆否命题是

A. 若 $x \le 1$x≤1，则 $x^2 \le 1$x2≤1　　B. 若 $x^2 \gt 1$x2>1，则 $x \gt 1$x>1　　C. 若 $x^2 \le 1$x2≤1，则 $x \le 1$x≤1　　D. 若 $x \gt 1$x>1，则 $x^2 \le 1$x2≤1

答案：C

解析：逆否命题是把结论的否定作条件、条件的否定作结论。结论「$x^2 \gt 1$x2>1」的否定是「$x^2 \le 1$x2≤1」，条件「$x \gt 1$x>1」的否定是「$x \le 1$x≤1」，所以是 C。A 是否命题，B 是逆命题，D 只否定了结论，是命题的否定。

例题 2

「$x \gt 1$x>1」是「$x \gt 0$x>0」的

A. 充分不必要条件　　B. 必要不充分条件　　C. 充要条件　　D. 既不充分也不必要条件

答案：A

解析：$x \gt 1$x>1 一定推出 $x \gt 0$x>0，但 $x \gt 0$x>0 时 $x$x 可以是 $0.5$0.5，推不出 $x \gt 1$x>1。用集合法，$(1, +\infty)$(1,+∞) 是 $(0, +\infty)$(0,+∞) 的真子集，范围小的是充分条件，选 A。

例题 3

「$x^2 - 3x + 2 = 0$x2−3x+2=0」是「$x = 1$x=1」的

A. 充分不必要条件　　B. 必要不充分条件　　C. 充要条件　　D. 既不充分也不必要条件

答案：B

解析：解方程得 $x = 1$x=1 或 $x = 2$x=2。$x = 1$x=1 时方程成立，所以「$x = 1$x=1」推出「$x^2 - 3x + 2 = 0$x2−3x+2=0」；但方程成立时 $x$x 还可能是 2，推不出 $x = 1$x=1。主语是「$x^2 - 3x + 2 = 0$x2−3x+2=0」，它推不出对方，对方能推出它，所以是必要不充分条件。

本节小结

• 命题「若 $p$p，则 $q$q」有逆命题、否命题、逆否命题；原命题与逆否命题同真假，逆命题与否命题同真假。
• 假命题只要一个反例，真命题必须证明。
• $p \Rightarrow q$p⇒q 成立，则 $p$p 是 $q$q 的充分条件，$q$q 是 $p$p 的必要条件；两个方向都成立就是充要条件。
• 判断步骤：先看 $p \Rightarrow q$p⇒q，再看 $q \Rightarrow p$q⇒p，对照四种情况下结论。
• 集合法：范围小的是充分条件，范围大的是必要条件。