谓词和量词。 （离散数学）

Question

我想确定我的答案是否属实。

的问题是：

让我（x）为陈述“X具有Internet连接” 和C（X，Y）是声明“x和y都聊过 互联网”其中变量x和y的域由班级中的所有学生组成。使用量词 表达以下每个语句： **您班的所有学生都有一个互联网连接。

我的回答是：∃x∀y（x =y↔I（y））。

Answer 1

是的，它的工作原理。

另一种方法是尝试分两步做，然后进行连接。

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

这种方式比较简单，因为量词的深度较小。你的量词深度是两个，而我的只有一个。

但你的是更优雅，所以YMMV。