---
tags:
- 离散数学
- 数理逻辑
上一篇: '[[数学系/离散数学/01 命题与蕴含|命题与蕴含]]'
返回目录: '[[数学系/离散数学/离散数学|离散数学]]'
前置知识: '[[数学系/离散数学/01 命题与蕴含|命题与蕴含]]'
abstract: '充分、必要与充分必要条件的判定'
finished: false
---

# 充分必要条件与逆否命题

## 三种关系

- **充分条件**：$p\to q$；有 $p$ 即可推出 $q$。
- **必要条件**：$q$ 是 $p$ 的必要条件，仍对应 $p\to q$；无 $q$ 则无 $p$。
- **充分必要条件**：$p\leftrightarrow q$，即同时满足 $p\to q$ 与 $q\to p$。

> [!theorem] 充分必要条件判定
> $p$ 与 $q$ 互为充分必要条件，当且仅当
> $$p\leftrightarrow q\equiv(p\to q)\land(q\to p).$$
> ^thm-iff

**证明（补充）**　双条件命题的定义就是两个方向蕴含的合取。因而两方向均成立当且仅当 $p\leftrightarrow q$ 为真。$□$

## 证明策略

证明充分必要条件必须分别证明 $p\to q$ 与 $q\to p$。只证明一个方向只能得到充分或必要关系，不能得到等价。

> [!example] 反例
> 取 $p$ 为“$x=1$”，$q$ 为“$x^2=1$”。有 $p\to q$，但 $q\to p$ 不成立，因为 $x=-1$ 也满足 $q$。

## 常见误区

由 $p\to q$ 不能推出 $q\to p$，也不能推出“$p$ 是 $q$ 的必要条件”。只有在补充证明反向蕴含后，才能称二者等价。


> [!proof]- 证明状态
> 本笔记含数学结论；已保留原文。未给出证明的结论将在后续按定义、引理和推导链补证。