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

Question

我想确定我的回答是真的。

问题是：

让I（x）成为“x具有Internet连接”的语句 而C（x，y）是“x和y已经聊过的声明” 互联网，“变量x和y的域名 由您班上的所有学生组成。使用量化器 表达以下每个陈述： **班上只有一名学生有互联网连接。

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

Answer 1

是的，它有效。

另一种方法是尝试分两步进行，然后结合使用。

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

这种方式更简单＆＃39;因为量词深度较少。你的量词深度为2，而我的只有一个。

但你的更优雅，所以YMMV。