Usuario:Galindo6/ejercicio 9

Ejercicios 1.3, pagina 33

6.

Let P(x,y) be the statement "x has taken class y," where the universe of discourse for x is the set of all students in your clss and for y is the set of all computer science courses at your school. Express each of the following quantifications in English.

a) $\exists x$ $\exists y$ P(x,y)

b) $\exists x$ $\forall y$ P(x,y)

c) $\forall x$ $\exists y$ P(x,y)

d) $\exists y$ $\forall x$ P(x,y)

e) $\forall y$ $\exists x$ P(x,y)

f) $\forall x$ $\forall y$ P(x,y)

SOLUCION

A) Existe un estudiandte de la clase, que ha ido a uno de los cursos de ciencias del colegio.

B) Existe un estudiante de la clase, que ha asistido a todos los cursos de ciencias del colegio.

C) Todos los estudiantes de la clase, han asisitido al menos a uno de los cursos de ciencias del colegio.

D) Existe una curso de ciencias en el colegio, al cual han asistido todos los estudiantes de la clase.

E) Para todos los cursos de ciencias en el colegio, Existe un estudiante que ha tomado clase en el.

F)Para todos los estudiantes de la clase, han asistido a todos los cursos de ciencias del colegio.

== pagina del solucionario == http://es.wikibooks.org/wiki/Pensamiento_Algor%C3%ADtmico:Solucionario