逻辑用语

引入

一种严谨地描述因果关系以及精确界定范围的表述。

为什么”若 $p$ 则 $q$“与”若 $q$ 则 $p$“完全不同？

“所有”的否定为什么不是”所有都不”？

正文

充分条件与必要条件

定义

描述两个陈述之间的条件关系或包含关系的术语。 我们把所有逻辑关系简化为：$p\Rightarrow q$。读作：若 $p$ 成立，则 $q$ 一定成立。其中 $p$ 为充分条件，$q$ 为必要条件。

关系类型	箭头方向	口语解释
充分不必要	$A\Rightarrow B$ 且 $B\nRightarrow A$	A 能推 B，B 推不出 A
必要不充分	$A\nRightarrow B$ 且 $B\Rightarrow A$	A 推不出 B，但 B 能推 A
充要条件	$A\iff B$	A 就是 B，B 就是 A，完全等价
既不充分也不必要	$A\nRightarrow B$ 且 $B\nRightarrow A$	两个没什么必然关系

在集合中，有 $A\subseteq B$，则：$a\in A\Rightarrow a\in B$，其中 $a\in A$ 是充分条件，$a\in B$ 是必要条件。

集合视角是最清晰的判断方法：

关系	集合表述
$A$ 是 $B$ 的充分条件	$A\subseteq B$
$A$ 是 $B$ 的必要条件	$B\subseteq A$
$A$ 是 $B$ 的充要条件	$A=B$

“小范围推大范围”就是充分，“大范围推小范围”就是必要。

常见例子

命题	关系
$x>2$ 是 $x>1$ 的什么条件	充分不必要
$x^2=1$ 是 $x=1$ 的什么条件	必要不充分
三角形是等边三角形是等腰三角形的什么条件	充分不必要
$x$ 是偶数是 $x$ 是整数的什么条件	充分不必要

全称量词与存在量词

定义

全称量词 $\forall$ 描述集合内所有成员的性质或关系的论断结果。 存在量词 $\exists$ 描述集合内至少一个成员的性质或关系的论断结果。

全称量词 $\forall$

• 来源：All（所有）的首字母倒过来写。
• 含义：所有的、任意一个、每一个、一切。
• 例子：$\forall x\in \mathbb{R},x^2\ge 0$。对于所有的实数 $x$，它的平方都大于等于 $0$。

存在量词 $\exists$

• 来源：Exist（存在）的首字母反过来写。
• 含义：存在一个、至少有一个、有些、有的。
• 例子：$\exists x\in \mathbb{Z},x+2=3$。存在一个整数 $x$，使得 $x+2=3$。

量词的否定

这个规则极其重要：否定时量词翻转，谓词取反。

原命题量词	否定后的量词	结论的变化
全称 ($\forall$)	存在 ($\exists$)	肯定 $\to$ 否定
存在 ($\exists$)	全称 ($\forall$)	肯定 $\to$ 否定

原命题：$\forall x\in \mathbb{R},x^2>0$（所有的实数平方都大于 $0$，这是假命题，因为 $0$ 是例外）

否定：$\exists x\in \mathbb{R},x^2\le 0$（存在一个实数，它的平方小于等于 $0$，真命题）

注意否定的细节：$x^2>0$ 的否定是 $x^2\le 0$，不是 $x^2<0$。取反时要连等号一起处理。

常见错误的否定

原命题	错误否定	正确否定
所有 $x$ 都满足 $P$	所有 $x$ 都不满足 $P$	存在 $x$ 不满足 $P$
存在 $x$ 满足 $P$	存在 $x$ 不满足 $P$	所有 $x$ 都不满足 $P$
$\forall x,x^2>0$	$\forall x,x^2<0$	$\exists x,x^2\le 0$

“所有都不”是”所有都是”的否定吗？ 不是。两者的否定都是”存在一个例外”，只是例外方向不同。

命题的四种形式

形式	表述
原命题	若 $p$ 则 $q$
逆命题	若 $q$ 则 $p$
否命题	若 $\neg p$ 则 $\neg q$
逆否命题	若 $\neg q$ 则 $\neg p$

原命题与逆否命题等价，逆命题与否命题等价。但原命题与逆命题不一定等价。

这也是”证明逆否命题”合法的原因：证 $\neg q\Rightarrow \neg p$ 就等于证了 $p\Rightarrow q$。

常见误区

错误说法	问题
”充分条件与必要条件可以互换”	方向相反
”原命题与逆命题等价”	不等价
”全称命题的否定是全称否定”	应改为存在
”$p\Rightarrow q$ 中 $p$ 必须为真”	假命题也可推出真命题
”$\forall$ 的否定是 $\nexists$“	是 $\exists$ 加谓词取反

引出

更复杂的命题需要高阶的数学证明方法（如反证法、归纳法）以及计算机算法逻辑（循环与判断语句）。

为什么”原命题与逆否命题等价”在逻辑上成立？

量词嵌套时（如 $\forall x\exists y$），否定如何逐层处理？

• 集合：充分必要条件的集合表述
• 数学归纳法：证明方法的另一支柱
• 函数：定义中的量词结构
• 函数的极限：$\epsilon$-$\delta$ 定义就是量词嵌套
• 数学基础：数学基础的整体框架