“只有”、“只有当”和“当且仅当”的逻辑区别

一、前言

在数学和逻辑表达中，条件关系通常分为三类：充分条件、必要条件和充要条件. 而在具体描述这些条件关系的时候，我们通常会使用诸如“只有”、“只有当”和“当且仅当”等词语，理解这些词语的准确而含义，有助于我们准确判断命题之间的逻辑关系.

在本文中，「荒原之梦考研数学」就给同学们详细讲解一下这些常用的条件关系词语的含义.

二、正文

§2.1 表达 充分性 的词语

表达 充分性 的常见词语有“ 只有 ”、“ 只要 ”、“ 如果 ”、“ 若 ”等.

例如，“只要 A，就 B”的意思是：A 一旦成立，就足以推出 B 成立，即：

$$
A \rightarrow B
$$

需要注意的是，同一个逻辑式 $A \rightarrow B$, 既可以说“A 是 B 的充分条件”，也可以说“B 是 A 的必要条件”, 这两种说法关注的方向不同，但表达的是同一个蕴含关系.

§2.2 表达 必要性 的词语

表达 必要性 的常见词语是“ 只有当 ”.

例如，“A 只有当 B”，意思是：只要 A 成立，B 就必须成立（但是，B 成立的时候，A 不一定成立），即：

$$
A \rightarrow B
$$

因此，B 是 A 的必要条件，也就是说，B 不成立（或者 B 不存在），A 不可能成立.

§2.3 表达 充要性 的词语

表达 充要性 的常见词语是“ 当且仅当 ”.

例如，“A 当且仅当 B”，意思是：A 成立时 B 成立，B 成立时 A 也成立.也就是说，A 和 B 可以相互推出，即：

$$
A \leftrightarrow B
$$

它等价于：

$$
A \rightarrow B \text{ 且 } B \rightarrow A
$$

三、补充

口诀：小充分，大必要，刚好一样是充要.

---