谓词和量词。(离散数学)

Question

我想确定我的答案是正确的。

问题是：

设I (x)为语句“x具有Internet连接”，C(x，y)为“x和y在Internet上聊天”的语句，其中变量x和y的域由班上的所有学生组成。使用quanti来表达这些陈述：**正是你班上的一个学生有互联网连接。

我的答案是:x=y x∀y(∃↔I(y))。

Answer 1

是的，很管用。

另一种方法是尝试分两步完成，并将其连接起来。

第一个是“某人有互联网”exists X. I(x)，第二个是“如果两个人有互联网，那么他们是同一个人”forall x,y. I(x) and I(y) -> x = y。

这种方法“更简单”，因为量化器的深度较小。你的量词深度是2，而我的只有一个。

但你的更优雅所以YMMV。