布尔代数逻辑咨询：‘all’陈述与‘some not’陈述的逆否命题是什么？

嗨，咱们来把布尔代数里这两个陈述的逆否命题问题拆解清楚——毕竟全称和特称陈述的逆否关系，很多人容易搞混，尤其是特称的情况。

先明确原命题的逻辑结构：所有A都是B，用符号化的方式写就是 ∀x (A(x) → B(x))（翻译过来就是：对任意一个x，如果x属于A，那x一定属于B）。

逆否命题的核心规则很简单：把原命题的条件和结论都否定，再交换它们的位置。原命题的条件是“A(x)”，结论是“B(x)”，否定后变成“非B(x)”和“非A(x)”，交换位置后就得到了逆否命题的符号形式：∀x (¬B(x) → ¬A(x))，翻译成自然语言就是**“所有非B都是非A”**。

这里最关键的一点是：全称肯定命题和它的逆否命题是完全逻辑等价的——只要原命题为真，逆否命题必然为真；反过来，如果逆否命题成立，原命题也一定成立。举个接地气的例子：

• 原命题：所有的猫都是动物。
• 逆否命题：所有不是动物的都不是猫。
  你看，这两句话说的完全是一回事，根本找不到反例。

先看原命题的逻辑形式：有些A不是B，符号化后是 ∃x (A(x) ∧ ¬B(x))（意思是：至少存在一个x，x属于A，同时x不属于B）。

这里要敲个重点：特称否定命题并没有像全称命题那样的“等价逆否命题”。如果硬套逆否的规则（否定条件和结论，再交换位置），会得到 ∃x (B(x) ∧ ¬A(x))，也就是“有些B不是A”，但这两个陈述之间没有必然的逻辑等价关系——它们的真假性可以完全独立。

举个例子就能看明白：

• 原命题：有些学生不是运动员。（比如学校里有只读书不运动的学生）
• 套逆否规则得到的句子：有些运动员不是学生。
  假设这个学校的所有运动员都是本校学生，那原命题是真的，但后面这个句子就是假的。这就说明，特称否定的“逆否”陈述和原命题之间没有必然的推导关系，不能像全称命题那样互相替换。

为什么会这样？因为逆否命题的等价性只适用于**“如果...则...”的蕴含式结构**（也就是全称命题的那种逻辑形式），而特称否定是“存在...且...”的合取结构，不适用这个等价规则。

内容的提问来源于stack exchange，提问作者J Doe