Let W(x. y) mean that student .x has visited website y,

QUESTION:

Let \(W(x, y)\) mean that student \(x\) has visited website \(y\), where the domain for \(x\) consists of all students in your school and the domain for y consists of all websites. Express each of these statements by a simple English sentence.

a) \(W\)(Sarah Smith, www.att.com)

b) \(\exists x W(x\) www. imdb.org)

c) \(\existsyW\)(José Orez, y)

d) \(\existsy(W(\)Ashok Puri, \(y)\wedge W(\) Cindy Yoon, y))

e) \(\exists y \forall z(y \neq(\) David Belcher \() \wedge(W(\)David Belcher, \(z) \rightarrow W(y, z)))\)

f) \(\exists x \exists y \forall z((x \neq y) \wedge(W(x, z) \leftrightarrow W(y, z)))\)

Equation Transcription:

∃xW(x

∃yW

∃y∀z(y

∃x∃y∀z((x  y) ∧ (W (x, z) ↔ W (y, z)))

Text Transcription:

W (x, y)

\exists x W(x

\existsyW

\exists y \forall z(y \neq

exists x \exists y \forall z((x \neq y) \wedge(W(x, z) \leftrightarrow W(y, z)))