UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS

PROYECTO CURRICULAR DE MATEMÁTICAS

CURSO LÓGICA Grupos 1 y 2
Examen Final
II-2020 Febrero 26 de 2021

1. Pruebe que las siguientes a…rmaciones son equivalentes en la Lógica de

Predicados:

(a) Si j= entonces ` .
(b) Cualquier conjunto de fórmulas consistente es satisfactible.

2. Muestre que la relación suma f(m; n; p) : p = m + ng no es de…nible en la

estructura (N; ). Para ello, suponga que sí lo es y construya un automor-
…smo en (N; ) que intercambie dos primos. Construya la contradicción.
3. Traduzca el enunciado a lenguaje de primer orden, de…na completamente
los símbolos que vaya a usar:

(a) El hombre siempre ama a quienes le aman.

(b) Existe un hombre que es más viejo que todos los demás.
(c) Sólo algunos hombres son despreciados por las personas a quienes
ellos aman.
(d) Sólo algunos gorilas reconocen a los gorilas contra los que han luchado.
(e) Los animales se irritan siempre mortalmente si no les presto atención.

4. Muestre que ninguno de los enunciados siguientes está lógicamente impli-

cado de los otros dos. Para ello encuentre una estructura en la cual el
enunciado en cuestión es falso, mientras los otros dos son verdaderos:

8x8y8z (P (x; y) ! (P (y; z) ! P (x; z)))

8x8y (P (x; y) ! (P (y; x) ! x = y))
8x9y (P (x; y)) ! 9y8x (P (x; y))

5. Diga si (N; <) y (R; <) son estructuras isomorfas y justi…que completa-
mente.