Usuario:Juan rincon/ejercicio11
PRESENTADO POR:
JUAN MIGUEL RINCÓN MERCHÁN
(Este el punto 1. del segundo parcial de la asignatura, realizado el 09 de Abril de 2005)
ñ
1. En la Pontificia Universidad Javeriana cada estudiante está inscrito en un sólo programa de pregrado. Una de las asignaturas impartidas en la universidad es lógica. Considere el universo formado por todos los estudiantes de la Universidad y simbolice los siguientes predicados:
A. Todo estudiante de la clase de lógica está en el programa de Ingeniería de Sistemas ó Ingeniería Electrónica.
B. En la clase de lógica, existe un estudiante de Informática Matemática que cursa en segundo semestre.
C. Ningún estudiante de último semestre en la clase de lógica, está en Electrónica.
D. Algún estudiante de último semestre de la Universidad no está en Informática ni en Ingeniería de Sistemas.
SOLUCIÓN
Para resolver este ejercicio el primer paso y el más importante es, establecer correctamente los predicados.
- L(x) = x está en la clase de lógica
- E(x) = x está en el programa de Ingeniería Electrónica
- S(x) = x está en el propgrma de Ingeniería de Sistemas
- I(x) = x está en el propgrma de Informática Matemática
- U(x) = x está en último semestre de su carrera
- T(x) = x está en segundo semestre de su carrera
a) Todo estudiante de la clase de lógica está en el programa de Ingenieria de Sistemas ó Ingeniería Electrónica Sistemas.
∀x [L(x) → (S(x) v E(x))]
b) En la clase de lógica, existe un estudiante de Informática Matemática que cursa segundo semestre.
∃x [L(x) Λ I(x) Λ T(x)]
c) Ningún estudiante de último semestre en la clase de lógica, está en Electrónica.
∃x [U(x) → (L(x) Λ E(x))]
d) Algún estudiante de último semestre en la Universidad no está en Informática Matemática ni en Ingeniería de Sistemas.
∃x [U(x) → (I(x) Λ S(x)) ]
PARA VOLVER A SOLUCIONARIO, OPRIMA AQUI