Lgica 2 (2015-2)

Mtro. Cristian A. Gutirrez

Tarea 15
Fecha de entrega: viernes 29 de mayo.
Nombre: ___________________________________________________________________________
INSTRUCCIONES: La tarea debe estar completamente resuelta, tiene que ser contestada a computadora (la parte
de deduccin natural puede ser a mano, pero muy limpia y clara), tiene que ser entregada el da que se indica arriba
y tiene que estar engrapada.

Las reglas de deduccin natural lgica cuantificacional (o de primer orden) son las siguientes.
Reglas de Introduccin
Reglas de Eliminacin

(x)
y(xy)

x (x)
(xt)

(a)
x(ax)

x(x)
(xa) hip.

Descripcin de las reglas:

Introduccin del Cuantificador Universal (I): Donde (xy) quiere decir, el resultado de sustiuir en (x) todas las a
pariciones de 'x' libres por una variable 'y', la misma en todos los casos.
RESTRICCIONES:
1. Verificar que 'y' no quede cuantificada automticamente.
2. Esas variables tienen que provenir de la eliminacin de un cuantificador universal (en el caso
de prueb
as con caja, si la Ise pretende hacer dentro de la caja, entonces las varibles deben
provenir de una Eque s
e haya heho dentro de la caja)
Eliminacin del Cuantificador Universal (E): Donde (xt) quiere decir, el resultado de sustiuir en (x) todas las ap
ariciones de 'x' libres por un trmino 't', el mismo en todos los casos.
RESTRICCIN: si 't' es una variable verificar que no quede cuantificada automticamente.
Introduccin del Cuantificador Existencial (I): Donde (ax) quiere decir, el resultado de sustiuir en (x) algunas de
las apariciones de una constante 'a' por una variable 'x', la misma en todos los casos.
RESTRICCIN:
1. Verificar que 'y' no quede cuantificada automticamente.
Eliminacin del Cuantificador Existencial (E): Donde (xa) quiere decir, el resultado de sustiuir en (x) todas las
apariciones libres de la variable x por una constante a, la misma en todos los casos.
RESTRICCIN:
1. La constante a usada debe ser nueva, es decir, no aparecer en ninguna lnea anterior. Adems la constante no debe
aparecer en .
NOTA: Recuerden que la nica forma de introducir supuestos (que es lo mismo que hiptesis) es usando una regla que
lo permita, de tal forma que no puedes probar cosas simplemente suponindolas, tienen que respetar la forma de la
regla. Las reglas de lgica proposicional que requieren de introducir supuestos son la Introduccin del Condicional
(I), la Eliminacin de la Disyuncin (E), la Introduccin de la Negacin (I~) y la Eliminacin de la Negacin (E~).
La nica regla especfica de lgica cuantificacional que permite introducir supuestos es la Eliminacin del
Cuantificador Existencial (E).

1. Demuestra que los siguientes son argumentos vlidos usando deduccin natural (puedes usar todas las
reglas) (1 punto cada una, para un total de 12 punto):

a) 1. x(P(x) P'(x))
/ ~x(P(x) ~P'(x))

g) 1. x(R2(x,a) R2(x,a'))
/ ~x(R2(x,a) ~R2(x,a'))

b) 1. x(P(x) ~P'(x))
/ ~x(P(x) P'(x))

h) 1. x(R2(x,a) P(x))
/ ~x(R2(x,a) ~P(x))

c) 1. ~x(P(x) P'(x))
/ x(P(x) ~P'(x))

i) 1. ~x(R2(x,a) P(x))
/ x(R2(x,a) ~P(x))

d) 1. ~x(P(x) ~P'(x))
/ x(P(x) P'(x))

j) 1. ~x(R2(x,a) P(x))
2. ~x(R2(x,a) ~P(x))
/ x(P(x) ~P(x))

e) 1. x(P(x) P'(x))
2. x(P'(x) P''(x))
/ ~x(P(x) ~P''(x))
f) 1. x(R2(x,a) R2(x,a'))
2. xR2(x,a)
/ xR2(x,a')

k) 1. xx'(P(x) R2(x,x'))
/ x(P(x) x'R2(x,x'))
l) 1. xx'R2(x',x)
/ x'xR2(x',x)

2. Bonus para oos(0.5 puntos): Existe un libro que en el primer prrafo de la primera pgina del
primer captulo dice: Este libro tiene slo una oracin verdadera. Este captulo slo tiene una
oracin verdadera. Esta pgina slo tiene una oracin verdadera. Este prrafo slo tiene una
oracin verdadera. Si suponemos que por lo menos una de ellas es verdadera Cul de ellas
sera verdadera?
a) Esta pgina slo tiene una oracin
c) Este libro tiene slo una oracin
verdadera.
verdadera.
b) Este prrafo tiene slo una oracin
d) Este captulo slo tiene una oracin
verdadera.
verdadera.
3. Punto extra para el examen 6: Formaliza el siguiente argumento y demuestra que es vlido
usando deduccin natural. (1 punto).
Si los objetos matemticos no existen, entonces ningn filsofo puede explicar el conocimiento
matemtico. Pero de hecho hay algunos filsofos que pueden explicar el conocimiento
matemtico. Por lo tanto, hay objetos matemticos.
Dominio de discurso: los seres humanos y los objetos matemticos.
Diccionario: a: El conocimiento matemtico, Px: x es un objeto matemtico, P'x: x es un
filsofo, R2xy: x puede explicar y.