基于命题逻辑求解辛普森家族访客谜题的技术问询

我完全懂这种被逻辑谜题缠得心里发痒的感觉！咱们把这个问题拆解成标准命题逻辑，一步步推导就能搞清楚谁会来。

首先，先给每个家庭成员的“来访状态”定义命题变量：

• H：荷马（Homer）会来
• M：玛姬（Marge）会来
• B：巴特（Bart）会来
• L：丽莎（Lisa）会来
• Mg：麦琪（Maggie）会来

接下来把Maud说的每句话转换成严格的逻辑表达式：

1. 如果荷马来就带玛姬：H → M（等价于 ¬H ∨ M，蕴含式的标准转换）
2. 麦琪和丽莎至少来一个：Mg ∨ L
3. 玛姬或巴特来，但不是都来：(M ∨ B) ∧ ¬(M ∧ B)（也就是逻辑异或 M ⊕ B）
4. 巴特和丽莎要么都来要么都不来：(B ∧ L) ∨ (¬B ∧ ¬L)（也就是逻辑等价 B ↔ L）
5. 如果麦琪来，那么丽莎和荷马都来：Mg → (L ∧ H)（等价于 ¬Mg ∨ (L ∧ H)）

现在开始逐步推导：

• 从第4条 B ↔ L 入手：这意味着巴特和丽莎的来访状态完全绑定——要么都来，要么都不来。

• 假设1：巴特来（B = 真）

  • 根据 B ↔ L，丽莎也必须来（L = 真）
  • 根据第3条 M ⊕ B，巴特来的话玛姬不能来（M = 假）
  • 根据第1条 H → M，玛姬不来的话荷马也不能来（因为如果荷马来，玛姬必须来，矛盾），所以 H = 假
  • 根据第5条 Mg → (L ∧ H)，丽莎来但荷马不来，所以 L ∧ H = 假，因此麦琪不能来（否则前真后假，表达式不成立），即 Mg = 假
  • 验证第2条 Mg ∨ L：丽莎来，满足条件。
  • 这组状态完全符合所有规则：H=假，M=假，B=真，L=真，Mg=假

• 假设2：巴特不来（B = 假）

  • 根据 B ↔ L，丽莎也不来（L = 假）
  • 根据第2条 Mg ∨ L，丽莎不来的话麦琪必须来（Mg = 真）
  • 根据第5条 Mg → (L ∧ H)，麦琪来的话 L ∧ H 必须为真，但丽莎已经不来了，L ∧ H = 假，直接矛盾。所以这个假设不成立。

所以唯一符合所有条件的结果是：巴特（Bart）和丽莎（Lisa）会来，荷马、玛姬、麦琪都不来。

备注：内容来源于stack exchange，提问作者EE18