Gua 2 de Lgica 2

1. Cuadro aristotlico de las oposiciones y su traduccin en el lenguaje formal:

A = Todos los feos son graciosos; E = Ningn feo es gracioso; I= Hay al menos un feo gracioso; O=
Hay al menos un feo que no es gracioso.

2. Frmulas prenexas.
Si el cuantificador est en una parte de una frmula molecular conectada por conjuncin,
disyuncin o implicacin, el cuantificador puede desplazarse al comienzo de la frmula.
Por ejemplo: 1) x Fx ^ Gx x (Fx ^ Gx); 2) Gx ^ y Fy y (Gx ^ Fy); 3) Fx z Gz
z (Fx Gz).
En caso de que el cuantificador vaya en el antecedente de un condicional, cambia al
hacerse la frmula prenexa: 1) xFx Gx x(Fx Gx); 2) yFy Gy y(Fy Gy)
3. Principio de identidad.
a. Ley de Leibniz: Si x = y, entonces todas las propiedades Fx son tambin
propiedades Fy.
b. Principios:Reflexividad: x = x; simetra: x = y y = x; transitividad: si x = y & y = z,
entonces, x = z.
c. Traducciones al lenguaje natural que requieren del principio de identidad:
i. Hay al menos dos feos graciosos: xy{[(Fx ^ Gx) ^ (Fy ^ Gy)] ^ (x = y)}
ii. Hay a lo sumo un feo gracioso: x {(Fx ^ Gx) y[(Fy ^ Gy) y = x]}
iii. Descripciones definidas: Las descripciones definidas se usan para
mencionar individuos a partir de propiedades especficas (el actual rey de
Francia, la persona ms alta del mundo, el padre de Juan, el nico feo
gracioso), la formalizacin: x {(Fx ^ Gx) ^ y [(Fy ^ Gy) y = x]}

4. Deduccin natural en el clculo de predicados. Reglas.
a. Generalizacin del existencial: Prcticamente no tiene restricciones. Ejemplos:
i. 1) Fx ^ Gx
2) x (Fx ^ Gx) Correcto
ii. 1) Fx ^ Gx
2) y (Fy ^ Gy) Correcto
iii. 1) Fx ^ Gx
2) y (Fx ^ Gy) Correcto, pero en lo sucesivo Fx quedar libre.
iv. 1) Fx ^ Gy
v. 2) x (Fx ^ Gx) Incorrecto, no se pueden ligar dos variables distintas con
una sola variable.
vi. 1) Fx ^ Gx
2) a (Fa ^ Gx) Incorrecto, las constantes no se cuantifican.

b. Instanciacin del universal: Slo tiene dos restricciones: no se puede instanciar
slo una parte de la lnea y no se puede instanciar con una variable que est ligada
en la misma lnea. Ejemplos:
i. 1) x (FxGx)
2) FxGxCorrecto
ii. 1) x (FxGx)
2) Fy GyCorrecto
iii. 1) x (FxGx)
2) Fa GaCorrecto
iv. 1) x (FxGx)
2) Fa Gx Incorrecto, debe ser siempre la misma variable.
v. 1) x y ([FxGx) v (Fy ^ Gy)]
2) y [(FxGx) v (Fy ^ Gy)] Correcto
vi. 1) x y ([FxGx) v (Fy ^ Gy)]
2) y [(FzGz) v (Fy ^ Gy)] Correcto
vii. 1) x y ([FxGx) v (Fy ^ Gy)]
2) y [(Fa Ga) v (Fy ^ Gy)] Correcto
viii. 1) x y ([FxGx) v (Fy ^ Gy)]
2) y [(FxGz) v (Fy ^ Gy)] Incorrecto, debe ser siempre la misma
variable
ix. 1) x y ([FxGx) v (Fy ^ Gy)]
x. 2) y [(Fy Gy) v (Fy ^ Gy)] Incorrecto, la variable sigue estando ligada
por el existencial.
c. Instanciacin del existencial: Tiene dos restricciones principales, adems de las ya
mencionadas: 1) No se puede instanciar dando como resultado una constante y 2)
no se puede instanciar si la variable ha sido utilizada en una lnea anterior.
i. 1) x (Fx ^ Gx)
2) Fx ^ Gx Correcto
ii. 1) x (Fx ^ Gx)
2) Fy ^ Gy Correcto
iii. 1) x (Fx ^ Gx)
2) Fx ^ Gy Incorrecto, se deben usar las mismas variables en la
instanciacin.
iv. 1) x (Fx ^ Gx)
2) Fa ^ Ga Incorrecto, no se puede instanciar con constantes.
v. 1) x (Fx ^ Gx)
2) x (Hx ^ Ix)
3) Fx ^ Gx Correcto
4) Hx ^ Ix Incorrecto, la variable x ya fue utilizada en una lnea anterior.
vi. 1) x (Fx ^ Gx)
2) x (Hx ^ Ix)
3) Fx ^ Gx Correcto
4) Hy ^ Iy Correcto.
vii. 1) x (Fx Gx)
2) x (Fx ^ Ix)
3) Fx Gx Correcto
4) Hx ^ Ix Incorrecto, la variable x ya fue utilizada en una lnea anterior.
viii. 1) x (Fx Gx)
2) x (Hx ^ Ix)
3) Hx ^ Ix Correcto
4) Fx Gx Correcto
1

d. Generalizacin universal: Hay 3 reglas principales: 1) No se puede generalizar a
partir de constantes; 2) no se puede generalizar una variable resultante de una
instanciacin existencial (si result de una instanciacin universal no hay
problema); 3) no se puede generalizar dentro de una suposicin.
i. 1) Fx Gx
2) x (Fx Gx) Correcto
ii. 1) Fx Gx
2) y (Fy Gy) Correcto
iii. 1) Fx Gx

1
Los ejemplos V, VI, VII y VIII nos muestran que, en todo caso, siempre es mejor instanciar primero el
existencial para evitar los problemas que genera la restriccin de no poder usar una variable ya usada antes.
2) x (Fx Gy) Incorrecto, se debe generalizar la misma variable.
iv. 1) Fa Ga
2) x (Fx Gy) Incorrecto, no se pueden generalizar constantes.
v. 1) x (Fx Gx)
2) Fx Gx IE 1
3) x (Fx Gy) Incorrecto, no se puede generalizar una variable
resultante de una instanciacin existencial.
vi. 1) x [Fx (Gx ^ Hx)]
2) Fx (Gx ^ Hx)
3) *Fx
4) * (Gx ^ Hx)
5) * x (Gx ^ Hx) Incorrecto, no se puede generalizar dentro de una
suposicin.
vii. 1) x Fx
2) Fx
3) *Gx
4)* Gx ^ Fx
5) Gx (Gx ^ Fx)
6) x (Gx (Gx ^ Fx) Correcto, se generaliz despus de finalizar la
suposicin.