Ejercicios de formalización y derivación de

argumentos en el lenguaje de predicados

poliádicos (relatores)

Profesor: Numa Tortolero

Curso: Lógica 2

Tomando como modelo los ejercicios del libro El Arte de la Lógica de

Carmen García Trevijano, formalice y derive los siguientes argumentos em-
pleando el lenguaje de predicados relativos o poliádicos.
1. Los tíos de Juan tienen bigotes. Los familiares de Juan que tienen
bigotes son robustos. César es tío de Juan. En consecuencia, César es
robusto.
2. Toda persona que cometa algún delito recibirá algún castigo. Por lo
tanto, de no haber castigos, ninguna persona cometerá delitos.
3. Lancelot ama a la Reina Ginebra. Lancelot no ama a ninguno de sus
amigos. El Rey Arturo es amigo de Lancelot. Los amigos de Lancelot
odian a aquellos a quienes Lancelot ama. Por tanto, el Rey Arturo odia
a la Reina Ginebra.
4. Siempre que una impresión es representada por una idea, el contenido
de esta última es también contenido de aquella. Todas las ideas se
derivan de impresiones y las representan. No hay impresión alguna que
contenga poder. Luego, no hay idea alguna que contenga poder.
Hume, D.: Tratado de la Naturaleza Humana, libro I, parte III,
sección XIV).
Cxy ≡ 'x es contenido de y '.
Ix ≡ 'x es una idea'.
M x ≡ 'x es una impresión'.
Rxy ≡ 'x representa a y '.
Dxy ≡ 'x se deriva de y '.
P x ≡ 'x es poder'.

1
5. Hay una ciencia que se ocupa de entes en cuanto entes. Ahora bien,
los entes en cuanto entes no constituyen una unidad genérica. Por lo
tanto, no es cierto que toda ciencia se ocupe solamente de cosas que
constituyen una unidad genérica.
Fecha de entrega: miércoles 20 de junio del 2018.
Ponderación: 10% de la nota el curso.
Nota: Entregar en físico, posiblemente a mano, legible.