命题逻辑与谓词逻辑中的蕴含关系判定问题
我来帮你逐个拆解这些逻辑语句对的蕴含关系，全程用推理而非真值表来推导：
(a) Q vs P ⇒ Q
结论：Q 蕴含 P ⇒ Q
理由：回忆蕴含式的逻辑等价转换，P ⇒ Q等价于 ¬P ∨ Q。如果Q为真，那么不管P的真值是什么，析取式¬P ∨ Q必然为真（析取式只要有一个支命题为真，整体就为真）。反过来，若P ⇒ Q为真，Q不一定为真——比如当P为假、Q为假时，P ⇒ Q是真的，但Q本身是假的，所以反向蕴含不成立。
(b) S ∧ (P ⇒ Q) ∧ ((¬P) ⇒ Q) vs Q ∨ R
结论：S ∧ (P ⇒ Q) ∧ ((¬P) ⇒ Q) 蕴含 Q ∨ R
理由：先分析左边合取式里的核心部分：(P ⇒ Q) ∧ ((¬P) ⇒ Q)。把两个蕴含式转成析取式，就是(¬P ∨ Q) ∧ (P ∨ Q)，用分配律展开后得到(¬P ∧ P) ∨ Q。而¬P ∧ P是矛盾式（恒为假），所以这部分等价于Q。也就是说，左边合取式为真时，Q必然为真；而Q ∨ R作为析取式，只要Q为真就一定为真。反过来，若Q ∨ R为真（比如Q假、R真），左边的合取式会因为Q为假导致P ⇒ Q和¬P ⇒ Q都为假，进而整个合取式为假，反向蕴含不成立。
(c) ∀y ∃x R(x, y) vs ∃x ∀y R(x, y)
结论：∃x ∀y R(x, y) 蕴含 ∀y ∃x R(x, y)
理由：先明确两个语句的语义：
∃x ∀y R(x, y)：存在某个固定的x，对所有y都满足R(x,y)∀y ∃x R(x, y)：对每个y，都存在至少一个x（每个y对应的x可以不同）满足R(x,y)
如果存在这样一个通用的x，那对于任意y来说，这个x都能满足R(x,y)，自然每个y都能找到对应的x（就是那个通用的x），所以前者为真时后者必然为真。反过来不成立，比如论域取自然数，R(x,y)表示“x=y”：∀y ∃x R(x,y)是真的（每个y都有x=y对应），但∃x ∀y R(x,y)是假的（不存在一个自然数等于所有自然数），所以反向蕴含不成立。
(d) (∀x P(x)) ⇒ (∃x P(x)) vs ∀x (P(x) ⇒ Q(x))
结论：这两个语句之间没有单向蕴含关系
理由：
- 无法从左边推导出右边：左边
(∀x P(x)) ⇒ (∃x P(x))在非空论域下是恒真式（全称成立则存在必然成立）。假设左边为真，比如论域是正整数，P(x)表示“x是偶数”，Q(x)表示“x是奇数”，此时右边∀x (P(x) ⇒ Q(x))为假（偶数x的P(x)为真，Q(x)为假，蕴含式为假）。 - 无法从右边推导出左边：假设右边为真，比如论域是正整数，P(x)恒为假（比如“x是负数”），Q(x)任意，此时右边
∀x (P(x) ⇒ Q(x))为真（前件假的蕴含式恒真），但左边(∀x P(x)) ⇒ (∃x P(x))中，∀x P(x)为真（P恒假），∃x P(x)为假，所以左边为假。
因此两者互相都不蕴含。
(e) (∀x P(x)) ∨ (∀x ¬P(x)) vs (∃x P(x)) ⇒ (∀x P(x))
结论：两者是逻辑等价关系，因此互相蕴含（严格来说(∀x P(x)) ∨ (∀x ¬P(x))蕴含(∃x P(x)) ⇒ (∀x P(x))，反之亦然）
理由：把右边的蕴含式转换为等价的析取形式：(∃x P(x)) ⇒ (∀x P(x))等价于¬(∃x P(x)) ∨ (∀x P(x))，而¬(∃x P(x))又等价于∀x ¬P(x)，所以右边最终等价于(∀x ¬P(x)) ∨ (∀x P(x))，和左边的语句完全一致。
如果不用等价转换，用推理验证：
- 若左边为真，要么
∀x P(x)为真（此时右边蕴含式的后件为真，整体为真），要么∀x ¬P(x)为真（此时右边蕴含式的前件∃x P(x)为假，前件假的蕴含式恒真）。 - 若右边为真，等价于要么
∀x ¬P(x)为真，要么∀x P(x)为真，也就是左边的语句为真。
内容的提问来源于stack exchange，提问作者sktsasus
