问题背景 #

这是我离散数学考试里的一道题：

设论域为派对上的所有宾客，定义以下开放公式：
$B(x)$：宾客$x$骑自行车来派对
$C(x)$：宾客$x$开车来派对
使用$x \ne y$表示“$x$和$y$是论域中的不同元素”，将下列语句符号化：
所有宾客除了一人之外都是骑自行车来的，那个人是开车来的。

老师给出的答案是：

$\exists x\forall y\Big( (x\ne y \to B(y)) ∧ (C(x) ∧ ¬ B(x))\Big)$

我的疑问：我不明白这个语句是怎么把$x$限定为唯一一位宾客的？

问题解析 #

嗨，我来帮你把这个逻辑掰明白～

咱们先把老师给出的公式拆成两个核心部分，它是用合取符号∧把两个条件绑定在一起的：

1. $(C(x) ∧ ¬ B(x))$：明确存在一个开车的宾客
   这部分直接定义了x的属性：这个宾客是开车来的，而且绝对没有骑车，完全对应题目里“那个人是开车来的”这个要求。

2. $(x\ne y \to B(y))$：排除其他任何人开车的可能
   这是对所有宾客y的全称约束，翻译过来就是：只要y不是x，那y就必须是骑车来的。

现在重点来了——为什么这就保证了x是唯一的？咱们用反证法想一下：
假设存在另一个宾客x'，他也是开车来的（也就是满足$C(x') ∧ ¬ B(x')$），那把y替换成x'代入第二个条件：因为x和x'是不同的人（$x \ne x'$），根据$x\ne y \to B(y)$，必须得出$B(x')$成立，但咱们已经假设了x'没骑车（$¬B(x')$），这就产生了矛盾！

这种矛盾说明，不可能存在第二个开车的宾客，所以x必然是论域里唯一符合条件的人，剩下的所有人都只能骑车——完美匹配题目描述的场景。

其实这个写法是用基础的存在量词和全称量词组合出了“唯一存在”的效果，当然你也可以用专门的唯一存在量词$\exists! x$来写，但老师的这个表达式是用更基础的逻辑符号实现了同样的约束。

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