Usuario:Cheche8/ejercicio 10

ejercicios 1.3

7.

let W(x,y) mean that x has visited y, where the universe of discourse for x is the set of al students in your school and the universe of discourse for y es the set of all Web sites. Express each of the following staments by a simple sentence.

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

b) $\exists$xW(x, www.imdb.org)

c) $\exists$yW(Jose Ores, y)

d) $\exists$y(W(Ashok Puri,y)$\land$W(Cindy Yoon, y))

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

Solucion

a) Sarah Smith visita la pagina de www.att.com

b) existe un x tal que visite la pagina www.imdb.org

c) existe un y tal que jose visite la pagina y

d) existe un y tal que Ashok Puri o Cindy Yoon visiten la pagina y

e) existe un y que para todo z tal que y diferente de David Belcher o David Belcher se conete a la pagina z entonces y se conecta a la pagina z