Ejercicios de Predicados Certamen 2010 Lgica y Algoritmos

1. Simplifique las siguientes proposiciones. En su respuesta, el operador debe ser aplicado

slo a predicados individuales:

a) z(P(z) Q(z))
b) xyP(x,y)
c) (xP(x) yQ(y))
d) x(P(x) yS(x,y))
e) (xP(x) yQ(x,y))

a) z(P(z) Q(z))
z(P(z) Q(z)) negacin de cuantificador universal
z(P(z) Q(z)) def. de
z (P(z) Q(z)) De Morgan en parntesis negados
z (P(z) Q(z)) doble negacin

b) xyP(x,y)
xyP(x,y) negacin de cuantificador universal
xyP(x,y) negacin de cuantificador existencial

c) (xP(x) yQ(y))
xP(x) yQ(y) De Morgan en parntesis negados
xP(x) yQ(y) negacin de cuantificador universal

d) x(P(x) yS(x,y))
x(P(x) yS(x,y)) negacin de cuantificador existencial
x(P(x) yS(x,y)) De Morgan en parntesis negados
x(P(x) yS(x,y)) negacin de cuantificador universal

e) (xP(x) yQ(x,y))
(xP(x) yQ(x,y)) def. de
xP(x) yQ(x,y) De Morgan en parntesis negados
xP(x) yQ(x,y) doble negacin
xP(x) yQ(x,y) negacin de cuantificador existencial






2. Sea I(x,y) el predicado para expresar que x ha inscrito la asignatura y. Donde el dominio de
discurso para x consiste de estudiantes de la carrera de Ingeniera Civil Informtica y el dominio de
discurso para y consiste de las asignaturas de matemticas (Calculo I y II, Clculo III, Clculo
Numrico, Algebra y Algebra Lineal, Ec. Diferenciales Ordinarias, Estadstica e Inferencia
Estadstica). Exprese las siguientes proposiciones en frases en un espaol correcto y no ambiguo:
a) xyI(x,y) b) xy I(x,y) c) yx I(x,y)
d) xy I(x,y) e) yx I(x,y)

a) xyI(x,y)
Todos los de estudiantes de la carrera de Ingeniera Civil Informtica han inscrito todas las
asignaturas de matemticas.

b) xy I(x,y)
Todos los de estudiantes de la carrera de Ingeniera Civil Informtica han inscrito algunas
asignaturas de matemticas.

c) yx I(x,y)
Todas las asignaturas de matemticas han sido inscritas por algn estudiante de la carrera de
Ingeniera Civil Informtica.

d) xy I(x,y)
Algunos estudiantes de la carrera de Ingeniera Civil Informtica han inscrito algunas asignaturas
de matemticas

e) yx I(x,y)

Algunas asignaturas de matemticas han sido inscritas por todos los estudiantes de la carrera de
Ingeniera Civil Informtica.