实质蕴涵

实质蕴涵是经典逻辑中的二元联结词，用于将两个命题组成一个条件命题，通常写作 (P\to Q) 或 (P\supset Q)。它当且仅当 (P) 为真而 (Q) 为假时为假；在其他情况下均为真。与日常语言中“如果……那么……”的许多用法不同，实质蕴涵不要求两个组成命题之间存在因果、解释或主题上的联系。它是命题逻辑的基本组成部分，为条件陈述提供了精确的形式解释。(forallx.openlogicproject.org)

定义与真值条件

在 (P\to Q) 中，(P) 是前件，(Q) 是后件。其真值表如下：

这个联结词具有真值函数性质：它的真值完全取决于组成命题的真值。因此，其语义学不对这些命题的含义或相互关系提出任何额外要求。该表定义的是一种形式运算，并不意味着所有自然语言条件句都具有这些真值条件。(forallx.openlogicproject.org)

实质蕴涵等价于前件的否定与后件构成的析取：

[ P\to Q\equiv \neg P\lor Q \equiv \neg(P\land\neg Q). ]

这里的“或”是相容的，即允许两个析取项同时为真。因此，否定一个实质条件句，就相当于肯定其前件并否定其后件：

[ \neg(P\to Q)\equiv P\land\neg Q. ]

这些等价关系使我们可以用否定和析取来定义蕴涵，而不必将其作为原始联结词引入。(plato.stanford.edu)

蕴涵的方向很重要：(P\to Q) 一般不等价于 (Q\to P)。两者的合取表达的是双条件命题 (P\leftrightarrow Q)，当两个组成命题具有相同真值时，它为真。(forallx.openlogicproject.org)

蕴涵、后承与证明

实质条件句是形式语言中的一个公式。相比之下，逻辑后承是一种关系，记作 (P\models Q)，表示每个使 (P) 为真的赋值也使 (Q) 为真。一个条件句可能恰好在某个赋值下为真，但其后件并不在逻辑上由前件推出。在经典命题逻辑中，(P\models Q) 当且仅当 (P\to Q) 是重言式，即在每个赋值下都为真。这一区分将条件句的真与论证的逻辑有效性区分开来。(plato.stanford.edu)

实质蕴涵支持若干重要的演绎推理模式。根据肯定前件式，由 (P\to Q) 和 (P) 可以推出 (Q)。根据否定后件式，由 (P\to Q) 和 (\neg Q) 可以推出 (\neg P)。第二种模式源于条件句与通过逆否换位得到的逆否命题 (\neg Q\to\neg P) 之间的等价关系。(forallx.openlogicproject.org)

在自然演绎中，蕴涵引入规则允许进行条件证明：先假设 (P)，推导出 (Q)，再解除该假设，得出 (P\to Q)。蕴涵消去规则就是肯定前件式。这些推理规则将条件句的形式用法与其保真性质联系起来。(forallx.openlogicproject.org)

肯定后件和否定前件都不是有效的推理。由 (P\to Q) 和 (Q) 不能推出 (P)；由 (P\to Q) 和 (\neg P) 不能推出 (\neg Q)。这两种谬误都忽略了真值表中条件句为真而所提出的结论为假的情况。(forallx.openlogicproject.org)

假前件与表面悖论

当前件为假时，无论后件的真值如何，条件句都为真。这通常称为空真。例如，按照实质蕴涵的解释，“如果 2 是奇数，那么 7 是偶数”为真，因为它的前件为假。这只是对复合公式的真值作出判定，并没有确立这两个关于数的断言之间存在联系。(builds.openlogicproject.org)

同样，只要后件为真，无论前件的真值如何，实质条件句都为真。由此产生的推理模式为：

[ \neg P\models P\to Q, \qquad Q\models P\to Q. ]

这些模式称为实质蕴涵悖论。它们不是形式系统内部的矛盾，而是经典真值条件与人们对日常条件断言的预期之间的差异。(plato.stanford.edu)

另一个相关难题涉及反事实条件句。如果把前件为假的条件句解释为实质条件句，它就会自动为真，而不考虑前件成立时会发生什么。因此，单凭实质蕴涵无法表达反事实依赖关系或因果关系。(plato.stanford.edu)

历史与哲学背景

实质蕴涵在古代的先驱思想通常归于麦加拉的斐洛：他的条件句恰好排除了前件为真、后件为假的组合。通过戈特洛布·弗雷格于 1879 年发表的著作，以及怀特海和罗素自 1910 年起出版的《数学原理》，相同的真值条件成为现代符号逻辑的核心内容。(plato.stanford.edu)

实质蕴涵是否足以分析日常语言中的直陈式条件句，在语言哲学中仍有争议。一些辩护观点将真值条件与约束恰当断言的语用学条件区分开来。其他理论则引入并非仅由组成命题的实际真值决定的关系。(plato.stanford.edu)

在模态逻辑中，严格蕴涵通常表示为 (\Box(P\to Q))，要求实质条件句在所有相关的可能世界中都成立。相干逻辑寻求前件与后件之间更强的联系。在直觉主义逻辑中，蕴涵具有构造性解释，一般不等价于 (\neg P\lor Q)。按照布劳威尔—海廷—柯尔莫哥洛夫解释，(P\to Q) 的证明提供了一种将 (P) 的证明转化为 (Q) 的证明的构造。(plato.stanford.edu)