EL MTODO DE LA DEDUCCIN NATURAL CON FRMULAS

CUANTIFICADAS

Antes de exponer lo relacionado con el mtodo de la deduccin natural con

frmulas cuantificadas, es preciso introducir cuatro reglas ms. stas son las siguientes:

1. REGLAS DE EQUIVALENCIA ENTRE CUANTIFICADORES (INTERCAMBIO

DE CUANTIFICADORES: I.C.)

Para intercambiar cuantificadores no hace falta sino reemplazar uno por otro, teniendo
cuidado al hacer esto de cambiar de signo tanto al cuantificador cuanto a la funcin
predicativa.

1. ( x) Fx ( x) Fx
2. ( x) Fx ( x) Fx
3. ( x) Fx ( x) Fx
4. ( x) Fx ( x) Fx

Ejemplos:

(h) Todos son honestos equivale a Es falso que algunos no sean honestos

(i) Algunos son honestos equivale a Es falso que ninguno sea honesto

(j) Ninguno es honesto equivale a Es falso que algunos sean honestos

(k) Algunos no son honestos equivale a Es falso que todos sean honestos

Recurriendo a las letras que se emplean para designar a cada una de las proposiciones
categricas, el esquema de equivalencias que acabamos de presentar quedar configurado
de la siguiente forma:

1. A O

2. E I

3. I E

4. O A

2. LEYES DE OPOSICIN ARISTOTLICA

Sobre la base de este sencillo sistema de equivalencias se puede determinar claramente las
leyes de oposicin con el simple recurso de negar la contradictoria. Recurdese que al
efectuar esta operacin, es necesario negar toda la proposicin. Y para esto hace falta
negar el cuantificador que ha reemplazado al que se ha retirado, as como negar el segundo
componente del condicional o de la conjuncin, segn se trate de una proposicin universal
o de una existencial, respectivamente. Las cuatro leyes de oposicin aristotlica son:

1. ( x)(Fx Gx) ( x)(Fx Gx)

2. ( x)(Fx Gx) ( x)(Fx Gx)
3. ( x)(Fx Gx) ( x)(Fx Gx)
4. ( x)(Fx Gx) ( x)(FxGx)

3. REGLAS DE ELIMINACIN Y REINTRODUCCIN DE CUANTIFICADORES

Estas reglas deben ser tomadas con cuidado pues cualquiera puede pensar que se puede
pasar de una frmula sin cuantificar a una cuantificada o viceversa sin ninguna limitacin.
Lo cierto es que el caso de la ejemplificacin universal (EU) y la generalizacin existencial
(GE) no ofrece dificultades, pero la generalizacin universal (GU) y, sobre todo, la
ejemplificacin existencial (EE) son realmente problemticas pues su mala aplicacin
puede conllevar a sinsentidos. Estudiemos estas reglas.

a) Ejemplificacin universal (EU): Esta regla permite prescindir durante la derivacin del
cuantificador universal.

(x) Fx
Fw

Esto es totalmente correcto puesto que a partir de una frmula (x)Fx podemos deducir Fw
reemplazando todas las ocurrencias libres de la variable x por un trmino w en Fx. Pues
bien, como ya sabemos que los trminos pueden ser constantes individuales o variables
individuales, entonces podemos sustituir a x por cualquiera de ellas.

b) Ejemplificacin existencial (EE): Esta regla permite prescindir durante la derivacin

del cuantificador existencial.

(x) Fx
F

Sin embargo, solo es posible que de una frmula (x)Fx podamos deducir una frmula F
reemplazando todas las ocurrencias de la variable x en Fx por un nombre ambiguo que
antes no haya sido usado en la deduccin. Un nombre ambiguo no es un nombre
propiamente dicho (constante), pero tampoco es una variable, sino un tercer tipo de trmino
que, para los propsitos formales de la deduccin, salva la situacin. En una deduccin no
se debe usar un mismo nombre ambiguo para especificar una variable cuantificada
existencialmente si dicho nombre ya ha sido usado antes en la misma deduccin pues esto
puede dar lugar a ciertas contradicciones lgicas. Por ejemplo, a partir de suponer la verdad
de las premisas que afirman que algunos cientficos son fsicos y que algunos cientficos no
son fsicos se puede deducir, de manera errnea, que algunos son fsicos y no fsicos.

1. (x) (Cx Fx)

2. (x) (Cx ~Fx)
3. C F EE (1)
4. C ~F EE (2)
5. F Simp. (3)
6. ~F Simp. (4)
7. F ~F Conj. (5,6)
8. (x) (Fx ~Fx) GE (7)

Como podemos notar el paso en el que se cometi el error fue en el 4 pues no se debe usar
un mismo nombre ambiguo para especificar una variable cuantificada existencialmente
cuando dicho nombre ya ha sido usado antes en la misma deduccin. As, en vez de se
debi usar otro nombre, por ejemplo, . Por ello, el correcto procedimiento de esta regla no
nos permite llegar a una contradiccin, sino a una conjuncin que puede ser lcitamente
verdadera. En este caso, se llega a concluir que algunos son fsicos y algunos (otros) no son
fsicos.

1. (x) (Cx Fx)

2. (x) (Cx ~Fx)
3. C F EE (1)
4. C ~F EE (2)
5. F Simp. (3)
6. ~F Simp. (4)
7. ()F GE (5)
8. ()~F GE (6)
9. ()F ()~F Conj. (7,8)

c) Generalizacin universal (GU): Esta regla autoriza a aadir el cuantificador universal a

una frmula que provenga de una EU.

Fw
(x) Fx

As pues, solo es posible que de una frmula Fw podamos deducir la frmula (x)Fx
siempre que el trmino w no sea dbil en Fw. Un trmino de una frmula no es dbil si
proviene por EU de otra frmula cuya variable previamente est cuantificada
universalmente. Cuando una variable de una frmula est libre (sin cuantificar) y no
proviene de ninguna frmula cuantificada universalmente, no existe ninguna razn vlida
para generalizarla universalmente.

d) Generalizacin existencial (GE): Esta regla autoriza a aadir el cuantificador

existencial a una frmula dada.

Fw
(x) Fx
Es decir, a partir de una frmula Fw podemos deducir una frmula de la forma (x)Fx
reemplazando el trmino w por la variable x en todas sus ocurrencias en Fw. Esto significa
que w puede ser un nombre ambiguo, un nombre propio o inclusive una variable individual.

4. DISTRIBUCIN DE CUANTIFICADORES

1. El cuantificador universal es distributivo con respecto a la conjuncin

(x)(Fx Gx) (x)Fx (x)Gx

2. El cuantificador existencial es distributivo con respecto a la disyuncin

(x)(Fx Gx) (x)Fx (x)Gx

Igualmente, para futuras demostraciones es conveniente tener en cuenta dos implicaciones:

3. A partir de la disyuncin de proposiciones universales se infiere la cuantificacin

universal de la disyuncin de ambas proposiciones.

[ (x)Fx ( x)Gx] (x)(Fx Gx)

4. A partir de una proposicin cuantificada existencialmente se infiere la conjuncin de

cada uno de sus elementos, pero ahora cuantificado separadamente.

(x)(Fx Gx) [(x)Fx (x)Gx]

Ejemplos:

1. (x) (Hx Gx)

2. (x) (Fx Hx) // (x) (Fx Gx)
3. Hw Gw EU (1)
4. Fw Hw EU (2)
5. Fw Gw SH (4,3)
6. (x) (Fx Gx) GU (5)

1. (x) (Hx Gx)

2. (x) (Fx Hx) // (x) (Fx Gx)
3. H G EU (1)
4. F H EE (2)
5. H Simp. (4)
6. G MP (3, 5)
7. F Simp. (4)
8. F G Conj. (7,6)
9. (x) (Fx Gx) GE (8)

1. (x) (Jx Hx)

2. (x) (Jx ~Hx) // ()H ()~H
3. J H EE (1)
4. J ~H EE (2)
5. H Simp. (3)
6. ~H Simp. (4)
7. ()H GE (5)
8. ()~H GE (6)
9. ()H ()~H Conj. (7,8)

1. (x)Mx (x)Ex
2. (x) ~ Ex // (x) ~ Mx
3. ~ (x)Ex I.C. (2)
4. ~ (x)Mx MT (1,3)
5. (x) ~ Mx I.C. (4)

1. (x) (Sx Fx) Hf

2. ~ [(x) ~ Sx (x) ~ Fx] // Hf
3. ~ (x) ~ Sx ~ (x) ~Fx De M (2)
4. (x)Sx (x)Fx I.C. (3)
5. (x) (Sx Fx) Dist. C (4)
6. Hf MP (1, 5)

1. (x) (Fx Ax) ~ Em

2. ~ (x) ~ Ax
3. (x) Fx // ~ Em
4. (x)Ax I.C. (2)
5. (x)Fx (x)Ax Conj. (3, 4)
6. (x)(Fx Ax) Dist. C (5)
7. ~ Em MP (1, 6)

1. (x) [Cx(NxPx)]
// (x) (CxNx) (x)(CxPx)
2. (x) [~Cx (Nx Px)] Impl. (1)
3. (x) [(~CxNx) (~CxPx)] Dist. (2)
4. (x) [(CxNx) (CxPx)] Impl. (3)
5. (x)(CxNx) (x)(CxPx) Dist. C (4)

5. Mtodo de Deduccin Natural.

Tenemos tres casos del mencionado mtodo.

a) Prueba directa (PD)

1. (x) [Fx (Gx Hx)]

2. (x) (Fx Ix) // (x) (Gx Ix)
3. Fx (Gx Hx) EU (1)
4. Fx Ix EE (2)
5. Fx Simp. (4)
6. Gx Hx MP (3,5)
7. Ix Simp (4)
8. Gx Simp. (6)
9. Gx Ix Conj. (8,7)
10. (x) (Gx Ix) GE (9)

b) Prueba condicional (PC)

1. (x) (Fx ~Gx)

2. (x) (Hx Fx) // (x) (Hx ~Gx)
3. Hx P. Ad.
4. Fx ~Gx EU (1)
5. Hx Fx EU (2)
6. Fx MP (3,5)
7. ~Gx MP (4,6)
8. Hx ~Gx PC (3,7)
9. (x) (Hx ~Gx) GU (8)

c) Prueba por reduccin al absurdo (PRA)

1. (x) (Gx ~Hx)

2. (x) ~ (Fx ~Hx) // (x)~(~FxGx)
3. ~(x)~(~FxGx) P. Ad.
4. (x) (~FxGx) I.C. (3)
5. ~FxGx EU (4)
6. Gx ~Hx EU (1)
7. ~(Fx ~Hx) EE (2)
8. Fx Hx Imp. y De M (7)
9. Fx Simp. (8)
10. Gx SD (5,9)
11. Hx Simp. (8)
12. ~Gx MT (6,11)
13. Gx ~Gx Conj. (10, 12)
14. ~(x)~(~FxGx) (Gx ~Gx) PC (3,13)
15. ~~(x)~(~FxGx) PRA (14)
16. (x)~(~FxGx) DN (15)

DEMOSTRACIN DE FORMAS DE INFERENCIA VLIDAS

MEDIANTE EL MTODO DE LA DEDUCCIN NATURAL

I. Demuestre por la prueba directa (P.D.)

1) 1. (x)~(~Hx ~(Gx Fx))

2. (x)[~Jx (Fx Ix)]
3. (x)(Gx ~(~Hx ~Jx)) (x)(~Gx ~Kx)

2) 1. (x)(Mx Hx)
2. (x)(Hx Mx) (x)Hx

3) 1. ~(x)(Sx Hx)
2. (x)[(Fx Gx) Sx]
3. (x)[Gx (Px Hx)] (x)~Px (x)~Fx
4) 1. p ~(x)~Gx
2. [p ~(x)~Gx] ~p
3. (~Fa ~p) Fb (x)Gx (y)Fy

5) 1. (x)Ex
2. (x)(Ex Lx)
3. Ia
4. Na (y)(Ey Ly) (z)Iz

II. Demuestre por la prueba condicional (P.C.)

1) 1. (x)(Sx Px) (x)(Vx Zx)
2. (x)(Mx Nx) ~(x)(Vx Zx) (x)(Mx Nx) ~(x)(Sx Px)

2) 1. (x)(Hx Mx) Fs [(x)(Fx Hx) Ms]

3) 1. (x)[(Tx Bx) (Ex Dx)]

2. (x){(Ex Ix) [(Ax Rx) Px]} (x)[Tx (Ax Px)]

4) 1. (x)[(Cx Rx) (y)(Py Qy)]

2. ~Qs Ps (x)[(Cx ~Rx)

5) 1. (x){Ex [Hx (y)(Py Dy)]

2. ~(y)(Py Dy) (x)(Ex ~ Hx)

III. Demuestre por la prueba de reduccin al absurdo (P.R.A.)

1) 1. (y)Hy (~p Ga)
2. ~[p ~(y)Hy]
3. Fb Sc
4. ~p Fb (x)Sx (y)Gy

2) 1. (x)(Rx Gx)
2. (x)(Fx Gx) (x)Hx
3. (x)~Hx ~(x)Rx

3) 1. (x)Fx (y)Gy
2. (z)Hz (y)~Gy
3. (z)(Fz Hz) ~(x)~Fx

4) 1. (y)Fy (x)(Fx Gx)

2. (z)Hz (y)Fy
3. ~(x)Gx ~(z)~Hz ~(x)~Fx

5) 1. (x)(Fx Gx)
2. (x)(~Gx Hx)
3. (x)(Hx (Mx Fx)) Ma