条件命题、等价变形与推理规则

上一章把命题和连接词放进了真值表。本章只盯住其中最容易误读的连接词：条件命题。

数学里的“如果 $P$ ，那么 $Q$ ”不等于日常话里的承诺、因果或时间顺序。它首先是一种真值关系：只要没有出现“ $P$ 已经为真，而 $Q$ 却为假”的反例，命题 $P \to Q$ 就没有被推翻。

这一点开始会显得别扭，但它很快会变得有用。证明一个定理、检查一段程序的前置条件、判断一次论证是否有效，本质上都在追踪：哪些条件真的推出了哪些结论，哪些只是看起来像推出。

条件命题的真值

条件命题写作 $P \to Q$ ，读作“如果 $P$ ，那么 $Q$ ”。其中 $P$ 叫前件， $Q$ 叫后件。

它的真值表是：

$P$	$Q$	$P \to Q$
真	真	真
真	假	假
假	真	真
假	假	真

真正要记住的不是四行表，而是这一句： $P \to Q$ 只有在 $P$ 真而 $Q$ 假时为假。

条件命题 P 到 Q 的四种真值情况，其中只有 P 真且 Q 假时命题为假 — 条件命题 P→Q 的四种情况：只有前件为真、后件为假时整个命题为假。

例如，命题“如果一个整数是 $4$ 的倍数，那么它是偶数”可以写成：

P \to Q

其中 $P$ 是“这个整数是 $4$ 的倍数”， $Q$ 是“这个整数是偶数”。要推翻它，必须找到一个整数既是 $4$ 的倍数，又不是偶数。找不到这样的数，所以这个条件命题是真的。

如果一个整数不是 $4$ 的倍数，例如 $6$ ，它仍然可能是偶数。这不会推翻命题。条件命题没有说“只有 $4$ 的倍数才是偶数”，也没有说“不是 $4$ 的倍数就不是偶数”。

条件命题最常见的误读，是把 $P \to Q$ 听成“ $P$ 是 $Q$ 的唯一原因”。数学里并没有这个意思。 $P \to Q$ 只说：一旦 $P$ 成立， $Q$ 不能失败。

前件为假时为什么算真

前件为假时， $P \to Q$ 被判为真，这常被称为“空真”。这个名字听起来抽象，其实判断方式很朴素：你说“如果今天提交作业，我就把文件名写对”。若你今天根本没有提交作业，就没有出现“提交了却文件名写错”的违背情形。

数学命题也按这种方式运行。对所有整数 $n$ ，命题“如果 $n$ 是 $4$ 的倍数，那么 $n$ 是偶数”在 $n=6$ 时没有被验证出新内容，但也没有被推翻。它只在“是 $4$ 的倍数却不是偶数”的数上会失败。

条件命题的否定

要否定 $P \to Q$ ，不是写成“如果非 $P$ ，那么非 $Q$ ”。真正的否定是：

\neg(P \to Q) \equiv P \land \neg Q

也就是“ $P$ 成立，但 $Q$ 不成立”。这正好对应真值表里唯一使命题为假的那一行。

“如果下雨，地面会湿”的否定不是“如果不下雨，地面不会湿”。后一句是另一个条件命题。原命题的否定应是：“下雨了，并且地面没有湿。”

下面的交互可以把 $P$ 和 $Q$ 的真假逐个切换。重点看三列： $P \to Q$ 、 $\neg P \lor Q$ 、 $\neg Q \to \neg P$ 。它们每一行的结果都相同。

逆命题、否命题与逆否命题

从 $P \to Q$ 出发，可以改写出三个相关命题：

名称	形式	读法
原命题	$P \to Q$	如果 $P$ ，那么 $Q$
逆命题	$Q \to P$	如果 $Q$ ，那么 $P$

这四个命题不是互相等价。等价关系只有两组：

P \to Q \equiv \neg Q \to \neg P

Q \to P \equiv \neg P \to \neg Q

原命题、逆命题、否命题与逆否命题的关系图，突出原命题与逆否命题等价、逆命题与否命题等价 — 原命题与逆否命题等价，逆命题与否命题等价。

用一个数学例子看得更清楚。

原命题：如果 $n$ 是 $4$ 的倍数，那么 $n$ 是偶数。

逆命题：如果 $n$ 是偶数，那么 $n$ 是 $4$ 的倍数。

否命题：如果 $n$ 不是 $4$ 的倍数，那么 $n$ 不是偶数。

逆否命题：如果 $n$ 不是偶数，那么 $n$ 不是 $4$ 的倍数。

原命题是真的。逆否命题也是真的。逆命题是假的，因为 $6$ 是偶数但不是 $4$ 的倍数。否命题也是假的，因为 $6$ 不是 $4$ 的倍数但仍然是偶数。

例题：写出相关命题并判断真假

设命题为：“如果整数 $n$ 能被 $6$ 整除，那么 $n$ 能被 $3$ 整除。”

先分清前件和后件。前件 $P$ 是“ $n$ 能被 $6$ 整除”，后件 $Q$ 是“ $n$ 能被 $3$ 整除”。

证明 $P \to Q$ 时，可以改证 $\neg Q \to \neg P$ 。这不是换了一个较弱结论，而是在证明一个等价命题。

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

如果 $P \to Q$ 为真，我们说：

$P$ 是 $Q$ 的充分条件。

$Q$ 是 $P$ 的必要条件。

这两句话说的是同一个箭头，只是视角不同。 $P$ 足够推出 $Q$ ，所以 $P$ 对 $Q$ 来说是充分的；没有 $Q$ 就不可能有 $P$ ，所以 $Q$ 对 $P$ 来说是必要的。

把“是 $4$ 的倍数”看成集合 $P$ ，把“是偶数”看成集合 $Q$ 。所有 $4$ 的倍数都在偶数集合里，所以 $P \to Q$ 。因此，“是 $4$ 的倍数”是“是偶数”的充分条件；“是偶数”是“是 $4$ 的倍数”的必要条件。

但“是偶数”不是“是 $4$ 的倍数”的充分条件。 $6$ 是偶数，却不是 $4$ 的倍数。

“如果”“只有如果”“当且仅当”

中文和英文教材里常见的几种表达，方向很容易弄反。

说法	逻辑形式	说明
如果 $P$ ，那么 $Q$	$P \to Q$	$P$ 推出 $Q$
$P$ 只有如果

“只有如果”最值得慢读。 $P$ 只有如果 $Q$ ，意思是 $P$ 发生时 $Q$ 必须发生，所以还是 $P \to Q$ 。

判断充分和必要时，可以先写箭头。只要写出 $P \to Q$ ，就立刻得到： $P$ 是 $Q$ 的充分条件， $Q$ 是 $P$ 的必要条件。不要先凭语感判断。

充要条件

如果两个方向都成立：

P \to Q

Q \to P

就写作：

P \leftrightarrow Q

读作“ $P$ 当且仅当 $Q$ ”。这时 $P$ 是 $Q$ 的充分必要条件， $Q$ 也是 $P$ 的充分必要条件。

例如，对整数 $n$ ，命题“ $n$ 是偶数”与“存在整数 $k$ ，使得 $n=2k$ ”是充要关系。这不是两个相似说法，而是一个定义层面的等价。

下面的练习工具专门训练方向感。每题先把两个条件看成 $A$ 和 $B$ ，再判断 $A$ 对 $B$ 是充分、必要、充要，还是都不是。

等价变形：把命题改写成可证明的形状

逻辑等价的意思是：在每一种真值安排下，两个命题的真值都相同。写作 $A \equiv B$ 。

条件命题有两个特别常用的等价变形：

P \to Q \equiv \neg P \lor Q

P \to Q \equiv \neg Q \to \neg P

第一条把“如果那么”改成“或者”。它说明 $P \to Q$ 为真，等价于“ $P$ 不成立，或者 $Q$ 成立”。只有 $P$ 成立且 $Q$ 不成立时，这个析取才会失败。

第二条是逆否等价。它在证明里尤其常用，因为有些命题从后件的否定出发更容易。

白板式逻辑推导图，展示 P 到 Q、非 P 或 Q、非 Q 到非 P 三种等价形式由箭头连接，强调同真同假 — 条件命题可以通过等价变形改写为析取式或逆否命题，三种形状表达同一个逻辑关系。

例题：把条件命题改成析取形式

把“如果 $x$ 是整数且 $x>5$ ，那么 $x^2>25$ ”改写为不含箭头的形式。

先设 $P$ 为“ $x$ 是整数且 $x>5$ ”，设 $Q$ 为“ $x^2>25$ ”。原命题是。

例题：用逆否命题证明

证明：如果整数 $n^2$ 是偶数，那么整数 $n$ 是偶数。

直接从 $n^2$ 是偶数推出 $n$ 是偶数，需要知道平方的结构。用逆否命题更短：如果 $n$ 不是偶数，那么 $n^2$ 不是偶数。

证明逆否命题。假设 $n$ 不是偶数。对整数来说，这等价于 $n$ 是奇数。

由奇数定义，存在整数 $k$ ，使得 $n=2k+1$ 。

条件命题证明路线图，从要证 P 到 Q 分为直接证明和逆否证明两条路径，并说明二者等价 — 证明 P→Q 时，可以选择直接假设 P 推出 Q，也可以证明等价的逆否命题 ¬Q→¬P。

有效推理规则：从真前提到真结论

一个推理形式有效，意思是：只要前提全真，结论就不可能为假。它不保证前提本身真的发生；它保证的是“从这些前提出发，结论跟得上”。

本章先掌握四条常见规则。

规则	形式	读法
肯定前件	$P \to Q,\ P \therefore Q$	若 $P$ 推出 $Q$ ，且 $P$ 成立，则 $Q$ 成立

四个模块展示肯定前件、否定后件、假言三段论和析取三段论的有效推理规则骨架 — 常见有效推理规则速查：从真前提出发，按规则得到真结论。

例题：识别推理规则

判断下面推理是否有效，并指出使用了哪条规则。

前提一：如果一个数能被 $12$ 整除，那么它能被 $3$ 整除。

前提二： $84$ 能被 $12$ 整除。

结论： $84$ 能被 $3$ 整除。

令 $P$ 表示“ $84$ 能被 $12$ 整除”，令 $Q$ 表示“ $84$ 能被 $3$ 整除”。

再看一个否定后件的例子。

前提一：如果这个程序输入通过校验，那么它会进入计算步骤。

前提二：它没有进入计算步骤。

结论：这个程序输入没有通过校验。

这里的形式是 $P \to Q,\ \neg Q \therefore \neg P$ 。只要第一条前提确实说的是充分条件，这个推理有效。

推理规则关心形式。把“程序输入”“整数整除”“图形性质”换掉，只要形式仍然是 $P \to Q,\ P \therefore Q$ ，它就是同一条规则。

下面的检查器会混合有效规则和常见谬误。做题时先把前提翻译成符号，再看它是哪一种形式。

常见谬误：肯定后件与否定前件

无效推理最麻烦的地方，是它们长得很像有效规则。下面两种尤其常见。

肯定后件

肯定后件的形式是：

P \to Q,\ Q\ \therefore P

它无效，因为 $Q$ 可能由别的原因成立。

例子：

如果一个整数是 $4$ 的倍数，那么它是偶数。

$10$ 是偶数。

所以 $10$ 是 $4$ 的倍数。

这个结论是假的。问题不在第一条前提，而在于“偶数”这个后件有很多来源，不只来自“ $4$ 的倍数”。

否定前件

否定前件的形式是：

P \to Q,\ \neg P\ \therefore \neg Q

它也无效，因为 $P$ 不成立，并不意味着 $Q$ 没有别的成立方式。

例子：

如果一个整数是 $4$ 的倍数，那么它是偶数。

$6$ 不是 $4$ 的倍数。

所以 $6$ 不是偶数。

这个结论也是假的。 $6$ 不是 $4$ 的倍数，但它仍然是偶数。

左右对照图：肯定后件由 P 到 Q 和 Q 错误推出 P，否定前件由 P 到 Q 和非 P 错误推出非 Q，二者均标注为无效 — 肯定后件与否定前件都是无效推理，不能从条件命题的后件成立或前件不成立直接推出相应结论。

看到 $P \to Q$ 时，不要自动反向，也不要自动同时否定两边。能直接使用的有效规则是肯定前件和否定后件；想反向使用，必须先证明 $Q \to P$ 也成立。

把推理写成证明

证明中的每一步都应有依据。这个依据可能是定义、已知定理、代数变形，也可能是一条推理规则。初学证明时，可以把推理写得稍慢一些，先让箭头方向清楚。

一个实用检查顺序是：

先把要证明的结论写成条件命题、双条件命题，或带量词的命题。不要急着展开计算。

若目标是 $P \to Q$ ，先考虑直接证明：假设 $P$ ，看能不能推出 $Q$ 。

例题：证明一个充要条件

证明：整数 $n$ 是偶数，当且仅当 $n^2$ 是偶数。

这个命题有两个方向。

先证“如果 $n$ 是偶数，那么 $n^2$ 是偶数”。设 $n=2k$ ，其中 $k$ 是整数。于是，所以是偶数。

小结与练习

本章的核心可以压缩成四句话：

$P \to Q$ 只在 $P$ 真且 $Q$ 假时为假。
$P \to Q$ 等价于 $\neg Q \to \neg P$ ，不等价于。

练习

练习一：设命题为“如果四边形是正方形，那么它是矩形”。写出它的逆命题、否命题和逆否命题，并判断真假。

逆命题是“如果四边形是矩形，那么它是正方形”，为假。否命题是“如果四边形不是正方形，那么它不是矩形”，为假。逆否命题是“如果四边形不是矩形，那么它不是正方形”，为真。原命题也为真，且与逆否命题等价。

练习二：把“ $n$ 是 $8$ 的倍数”记为 $P$ ，把“ $n$ 是 $4$ 的倍数”记为 $Q$ 。判断 $P$ 是 $Q$ 的充分条件、必要条件、充要条件，还是都不是。

$P \to Q$ 成立，因为 $8$ 的倍数一定是 $4$ 的倍数；但 $Q \to P$ 不成立，例如 $4$ 是 $4$ 的倍数但不是 $8$ 的倍数。所以是的充分条件，不是必要条件；是的必要条件。

练习三：判断推理形式是否有效：“如果 $a$ 是质数且 $a>2$ ，那么 $a$ 是奇数。 $a$ 不是质数且 $a>2$ 。所以 $a$ 不是奇数。”

无效。形式是 $P \to Q,\ \neg P \therefore \neg Q$ ，属于否定前件。即使一个数不是大于 $2$ 的质数，它仍然可能是奇数，例如 $9$ 。

练习四：证明：如果整数 $n$ 是奇数，那么 $n^2$ 是奇数。

设 $n=2k+1$ ，其中 $k$ 是整数。则 $n^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1$ 。因为是整数，所以是奇数。

Q

Q

8

离散数学与证明 I：逻辑、集合、归纳、计数与图论入门｜第 3 章：条件命题、等价变形与推理规则 | 自在学