Universidad Nacional Autónoma de México - Facultad de Filosofía y Letras - Colegio de Filosofía

Lógica 2 - Grupo 0023 (2018-2) - Dr. Cristian A. Gutiérrez

Tarea 14
Fecha de entrega: viernes 18 de mayo.
Nombre: Lira Jiménez Erick
INSTRUCCIONES: La tarea debe estar completamente resuelta (todos los ejercicios obligatorios), tiene que ser
contestada a computadora, tiene que ser entregada el día que se indica arriba y tiene que estar engrapada. En
caso de que no puedas asistir a la clase, tienes que enviar la tarea antes de las 6:00 de la tarde del día de entrega
al correo electrónico logikito@yahoo.com.mx y tienes que entregarla impresa la siguiente sesión.

Las reglas de deducción natural lógica cuantificacional (o de primer orden) son las siguientes.
Reglas de Introducción Reglas de Eliminación

Descripción de las reglas:

Introducción del Cuantificador Universal (I ): Donde quiere decir, el resultado de sustituir en todas las

apariciones de ' ' libres por una variable ' ', la misma en todos los casos.
RESTRICCIONES:
1. Verificar que ' ' no quede cuantificada automáticamente.
2. Esas variables tienen que provenir de la eliminación de un cuantificador universal (en el caso de pruebas
con caja, si la I se pretende hacer dentro de la caja, entonces las variables deben provenir de una E que se
haya hecho dentro de la caja)
Eliminación del Cuantificador Universal (E ): Donde quiere decir, el resultado de sustituir en todas las
apariciones de ' ' libres por un término ' ', el mismo en todos los casos.
RESTRICCIÓN:
1. Si ' ' es una variable verificar que no quede cuantificada automáticamente.
Introducción del Cuantificador Existencial (I ): Donde quiere decir, el resultado de sustituir en algunas
de las apariciones de una constante ' ' por una variable ' ', la misma en todos los casos.
RESTRICCIÓN:
1. Verificar que ' ' no quede cuantificada automáticamente.
Eliminación del Cuantificador Existencial (E ): Donde quiere decir, el resultado de sustituir en todas
las apariciones libres de la variable ‘ ’ por una constante ‘ ’, la misma en todos los casos.
RESTRICCIÓN:
1. La constante ‘ ’ usada debe ser nueva, es decir, no aparecer en ninguna línea anterior. Además la constante
no debe aparecer en .

NOTA: Recuerden que la única forma de introducir supuestos (que es lo mismo que hipótesis) es usando una regla
que lo permita, de tal forma que no puedes probar cosas simplemente suponiéndolas, tienen que respetar la forma de
la regla.
Las reglas de lógica proposicional que requieren de introducir supuestos son la Introducción del Condicional (I ), la
Eliminación de la Disyunción (E ), la Introducción de la Negación (I ) y la Eliminación de la Negación (E ). La
única regla específica de lógica cuantificacional que permite introducir supuestos es la Eliminación del Cuantificador
Existencial (E ).

Reglas para la Igualdad:

Introducción de la Eliminación de la

Sustitución de Idénticos Simetría de la identidad

Transitividad de la identidad
Principio de identidad

1.
2.
3.
4. (Sección obligatoria) Considera la siguiente afirmación: Es importante estudiar Historia de la Filosofía
para ser un buen filósofo. Da un argumento a favor de esta afirmación y uno en contra (se espera que
sean buenos argumentos) los argumentos pueden ser del tipo que quieras, indica de qué tipo de
argumento se trata (0.5 puntos por cada argumento, en total 1 punto)
Argumento a favor: Si es importante estudiar Historia de la Filosofía, ya que en esta asignatura se revisan a los
principales exponentes de la filosofía revisando sus textos más importantes y su contexto histórico, a través de
esta asignatura se puede conocer las principales corrientes filosóficas de la Historia, por lo anterior se concluye
que la Historia de la Filosofía es importante en la formación de un filósofo.
Tipo de argumento: Deductivo
Argumento en contra: Se puede prescindir de esta materia ya que el contenido que ofrece se puede incluir en
otras materias, es decir, la Historia de la Filosofía se puede impartir a la par de mayoría de la materias, además
de que lo importante de esta materia no es el contexto histórico, entiéndase fechas o acontecimientos
importantes, sino los textos de los filósofos de cada época, textos que revisan en otras materias como Textos
filosóficos, por todo lo anterior se concluye que no es importante estudiar Historia de Filosofía para ser un buen
filósofo.
Tipo de argumento:Deductivo.
5. (Sección obligatoria) Demuestra que los siguientes son argumentos válidos usando deducción natural
(puedes usar todas las reglas) (1 de punto cada una, para un total de 6 puntos):
a) 1.
2. c) 1.
2.

b) 1.
2. d) 1.

3. 2.
3.
f) 1.
e) 1.

6. (Sección obligatoria) Contesta las siguientes preguntas (0.5 de punto cada una, para un total de 2
puntos):
I. Sólo los dioses son inmortales. ¿Cuál inciso tiene la mejor simbolización para la anterior expresión?
(Diccionario: : es Dios, : es inmortal) (Dominio de discurso: Todos los seres humanos y los
dioses)
a) c)
b) d)

II. Sólo Ausencio es doctor. ¿Cuál inciso tiene la mejor simbolización para la anterior expresión?
(Diccionario: : Ausencio, : es doctor) (Dominio de discurso: Todos los seres humanos)
a) c)
b) d)

III. Si la naturaleza es responsabilidad de todos y cada uno de los seres humanos, entonces todos
debemos protegerla ¿Cuál inciso tiene la mejor simbolización para la anterior expresión? (Diccionario:
: la naturaleza, : es un ser humano, : es responsabilidad de : debe proteger a )
(Dominio de discurso: Todos los seres humanos y la naturaleza)
a) c)
b) d)

IV. No existe un lugar en donde todos los que estén en él sean felices. ¿Cuál inciso tiene la mejor
simbolización para la anterior expresión? (Diccionario: : es un lugar, : es una persona,
: es feliz, : está en ) (Dominio de discurso: Todos los seres humanos y los lugares sobre
la tierra)
a)
b)
c)
d)

7. (Sección obligatoria) Formaliza las siguientes oraciones, utiliza el dominio de discurso y el diccionario
que se te ofrece. (0.5 de punto cada una, para un total de 1 puntos):
I. Matilde es la única alumna de la FFyL que estudiará un doctorado en Harvard.
Dominio de discurso: Los seres humanos y las instituciones educativas.
Diccionario: : Matilde, : La Facultad de Filosofía y Letras, : Harvard, : es alumno de , :
estudiará un doctorado en .
II. Sólo los hombres tontos son felices.
Dominio de discurso: Los seres humanos.
Diccionario: : es tonto, : es feliz.

8. (Sección opcional) Bonus para ñoños (0.5 puntos extra para la tarea): Sólo José es feliz. Sólo Martín
es listo. Sólo Edgar estudió Metafísica. Sólo Federico hace Filosofía de las Matemáticas. Sólo Jacinto es
bueno. Sólo Saúl es famoso. Hay alguien que es famoso, pero no es feliz. Hay alguien que estudió
Metafísica y es listo. Hay alguien que es bueno y feliz. Sólo los que hacen Filosofía de las Matemáticas
son felices. ¿Qué se sigue de los anterior?
a) Saúl no es Martín y Saúl no es José.
b) José, Jacinto y Federico son la misma persona y Martín y Edgar son la misma persona.
c) José y Martín no son la misma persona y Saúl no es José.
d) José, Jacinto y Federico son la misma persona, pero no son la misma persona que Edgar, ni que Saúl.
9. (Sección opcional) Ejercicio para 0.5 puntos extra en el examen 7: Formaliza el siguiente argumento
y demuestra que es válido usando deducción natural.
Si todos los estados mentales de cualquier hombre pueden ser descritos en términos funcionales, entonces los
seres humanos somos máquinas de Turing. Pero sabemos que esto último no es el caso. Por lo que podemos
concluir que existe un hombre que tiene un estado mental que no puede ser descrito en términos funcionales.
Dominio de discurso: Los seres humanos y sus estados mentales.
Diccionario: : es un hombre, : es una máquina de Turing, : puede ser descrito en términos
funcionales, : es un estado mental de .