Reglas de Eliminación e Introducción para los

cuantificadores en lógica cuantificacional

Lógica 2 Prof.David Gaytán Cabrera- Editado: César Garcés
10 de abril de 2018

Resumen
Vamos a explicar el uso adecuado de las reglas sobre los cuantificado-
res y las restrecciones correspondientes a la eliminación del cuantificador
existencial y el de introducción al cuantificador universal.

1. Eliminación del cuantificador Universal

   
x a
La siguiente regla nos dice que: ∀xP (x) ` P Donde P quie-
a x
re decir que siempre que sustituyamos las apariciones libres de ’x’ en P(x) por
una constante,esta constante puede ser nueva o puede ser la misma dentro del
contexto de la demostración. Veamos unos ejemplos de la aplicación de la misma:

1)∀x(P (x) ⊃ Q(x)

2) Pa⊃ Qa(Eli.∀1)

En el ejemplo anterior hicimos la aplicación de la Eliminación del Cuantifi-

cador Universal sobre la primera fórmula, usamos una constante, en este caso
’a’, y bien esta constante puede ser arbitraria o dentro de un contexto. Veamos
otro ejemplo:

1) ∀x(∃wP (w) ⊃ P (x))

2) (∃wP (w) ⊃ P (a))(Eli.∀1)

Notemos que cuando aplicamos la regla de Eliminación del Universal sobre

la primera fórmula 1), vemos que en 2) sólo sustituimos en ’x’ y no en ’w’ ya
que el cuantificador universal stiene de alcance a P(x) y no a P(w), pues P(w)
está cuantificada por el existencial y ’x’ no es la misma variable que ’w’. Veamos
otro ejemplo:

1)∀x∀y(P (x) ⊃ P (y))

2)∀y(P (a) ⊃ P (y))(Eli.∀1)

1
 3)(P(a) ⊃ P (b))(Eli.∀2)

Nótese que aplicamos dos veces la eliminación del universal debido a que
tenı́amos dos cuantificadores con distintas variables, a saber, ’x’ y ’y’. Un cuan-
tificador tenı́a ligada a ’x’ y otra a ’y’. Pero esto no quiere decir que debı́amos
obligadamente sustituir ’x’ y ’y’ con constantes distintas, bien pudieron ser las
mismas o bien pudieron ser distintas.

2. Introducción al cuantificador Universal o Ge-

neralización Universal
 
a
La siguiente regla nos dice lo siguiente: P ` ∀xP (x)
x
 
a
P dice que la sustitución en Pa de todas las apariciones LIBRES de
x
’a’ por una variable x, son la misma en todos los casos.
Las restricciones para esta regla son: I) Que ’x’ no sea cuantificada directamen-
te; II) Las variables aplicadas al usar la introducción del Universal tienen que
provenir de la eliminación de un cuantificador Universal previamente, ya sea
que usemos una misma o una nueva varible.
Veamos algunos ejemplos:

1)∀x(P (x) ⊃ Q(x))

2) Pa⊃ Qa(Eli.∀1)
3)∀x(P (x) ⊃ Q(x)(Int.∀2)

Notemos que a la primera frmula le aplicamos la regla de la eliminación del

Universal y a la segunda frmula, producto de la aplicación de la eliminación del
universal, en uno le aplicamos la introducción del Universal bajo la restricción
II. Veamos otro ejemplo:

1)∀x(P (x) ⊃ Q(x))

2) Pa⊃ Qa(Eli.∀1)
3)∀z(P (z) ⊃ Q(z)(Int.∀2)

En este ejemplo hicimos lo mismo que en el anterior, slo que aquı́ usamos
una variable nueva. Veamos ahora unos ejemplos de qué no hacer:

1) (P(x) ⊃ Q(x))
2)∀x(P (x) ⊃ Q(x))(Int.∀1)

Véase que hemos violado la I como la II restriccin que habı́amos establecido.

Veamos otro ejemplo:

2
 1)∀x(f 0 (x, x))
2)f’(x,x) (Eli.∀1)
3)∀y(f 0 (x, y))(Int.∀2)
4)∀x∀y(f 0 (x, y))(Int.∀3)

Véase que en este ejemplo no se aplic de forma correcta la regla de Intrduc-

ción del Universal, pues no se aplicó de forma uniforme tal que aplicara en la
primera fórmula a las dos ’x’ de la función o relación.

3. Introducción del Existencial

 
a
Esta regla nos dice lo siguiente: Φx ` ∃xΦ
  x
a
Donde Φ dice que sustituyamos en Φ a la constante por una una variable
x
’x’.
Veamos unos ejemplos:
1)P(a, b)
∃xP (a, x)
2)∃xP (a, x)(Intr.∃1)

En este ejemplo sustituimos b por ’x’ gracias a la regla de Introducción del

Existencial. Otro ejemplo más:
1)P(e, e)
∃y∃zP (y, z)
2) ∃yP (y, e)(Int.∃1)
3) ∃y∃zP (y, z)(Int.∃2)

4. Eliminación del Existencial

 
a
Esta regla nos dice lo siguiente: ∃xβx ` β
x
 
a
Donde β
x
dice que sustituyamos en βx la variable ’x’ por una constante siempre que x
aparezcca libre y la constante aplicada sea nueva dentro del contexto de la de-
mostración. La restricción es la siguiente: (I) La constante que se use no debe
parecer en el contexto de la demostración.
Veamos algunos ejemplos:

1)∃x(P (x) ∧ Q(x))

Q(a)

3
 2) P(a) ∧Q(a)(Eli.∃1)
3) Q(a) (Eli. ∧2)
Otro ejemplo más:
1) ∀x(P (x) ⊃ Q(x))
2) ∃y(P (y))
Q(a)
3) P(a) (Eli.∃2)
4) P(a) ⊃ Q(a)(Eli.∀1)
5) Q(a) (M.P. 3-4)

Ahora bien, veamos un ejemplo de lo que no debemos hacer:

1)P(a)
2) ∃y(Q(y) ∨ R(y))
3)(Q(a) ∨R(a))(Eli.∃2)

En el ejemplo anterior vemos que en la tercera lı́nea hemos violado la (I)

restriccin respecto a la regla de la Eliminación del Existencial.

Nota: Siempre que hagamos una prueba aplicando nuestras reglas de de-
duccin en lgica cuantificacional, suele ser recomendable eliminar primero los
existenciales para que una vez sustituidas las variables por constantes en los
existenciles, podamos descargar los universales con la misma constante, pues
los universales no nos exigen constntes nuevas dentro del contexto de la demos-
tracin.