# Usuario:Galindo6/ejercicio 14

Ir a la navegación Ir a la búsqueda
• Ejercicios 1.3, pagina 35

## 17.

Use quantifiers to express the following statements.

a) Every computer science student(x) needs a course in discrete mathemathics (y).

b) There is a student(X) in this class who owns a personal computer.

c) Every student in this class(x) has taken at least one computer science course(y).

d) There is a student in this class (x)who has taken at least one course in computer science(y).

e) Every student in this class(x) has been in every building on the campus(y).

f) There is a student in this class(x) who has been in every room (y)of at least on building on campus(r).

g) Every student in this class(x) has been in at least one room(y) of every building on campus(r).

## SOLUCION

A) ${\displaystyle \forall x}$ ${\displaystyle \exists y}$ P(x,y)

B) ${\displaystyle \exists x}$ P(x)

C) ${\displaystyle \forall x}$ ${\displaystyle \exists y}$ P(x,y)

D) ${\displaystyle \exists }$${\displaystyle \exists }$ P(x,y)

E) ${\displaystyle \forall x}$${\displaystyle \forall y}$ P(x,y)

F) ${\displaystyle \exists x}$${\displaystyle \forall y}$${\displaystyle \exists r}$ ${\displaystyle P(x,y)\land Q(y,r)}$

G) ${\displaystyle \forall x}$${\displaystyle \exists y}$${\displaystyle \forall r}$ ${\displaystyle P(x,y)\land Q(y,r)}$

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