如何仅用条件式（蕴涵）和双条件式定义合取式？

嘿，这个问题很有意思——其实我们可以通过逻辑等价转换，完全只用蕴涵（→）和双条件式（↔）来表达合取式（∧）。

核心等价关系 #

直接给出结论：对于任意命题P和Q，合取式 P ∧ Q 等价于 (P → Q) ↔ P。

用真值表验证正确性 #

我们可以通过真值表逐一对比两边的结果，确认它们完全等价：

可以看到，每一行中 (P→Q)↔P 和 P∧Q 的真值完全一致，证明这个等价关系成立。

逻辑推导补充 #

如果想理解为什么这个等价式成立，我们可以把双条件式展开（双条件式 A↔B 等价于 (A→B)∧(B→A)），然后逐步化简：

1. 把 (P→Q)↔P 展开为：[(P→Q)→P] ∧ [P→(P→Q)]
2. 化简第一部分 (P→Q)→P：根据蕴涵的等价式 A→B ≡ ¬A∨B，这部分等价于 ¬(¬P∨Q)∨P，进一步推导为 (P∧¬Q)∨P，最终化简为 P（吸收律）。
3. 化简第二部分 P→(P→Q)：同样用蕴涵等价式，等价于 ¬P∨(¬P∨Q)，合并后为 ¬P∨Q，也就是 P→Q。
4. 所以整个式子化简为 P ∧ (P→Q)，而这个式子显然等价于 P∧Q——当P为真时，P→Q 等价于Q；当P为假时，整个合取式直接为假，和 P∧Q 的逻辑完全一致。

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