Предикаты и кванторы. (Дискретная математика)

Question

Я хотел бы быть уверенным, что мой ответ верен.

вопрос:

Пусть I (х) утверждение «х имеет подключение к Интернету» и С (х, у) утверждение «х и у поболтали над интернет,» где область переменных 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.