謂詞和量詞。 （離散數學）

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。