Equipo 4

GENERALIZACION UNIVERSAL
¿Qué es la generalización universal?
Es una regla de inferencia, es decir, si una función proposicional tiene todos
sus casos de sustitución por constantes de su junto de referencia verdaderos,
se infiere la verdad del enunciado.
Para poder llegar a la G.U. debemos saber que:

 De A(x) podemos derivar ∀xA(x) siempre y cuando la variable no sea

débil o no este libre.
Cuando una formula tiene cuantificadores sobre todas sus variables, se
dice que tiene variables ligadas. Pero si alguna variable no tuviera
cuantificador, se dice que esta libre, libre de cuantificadores.
La G.U es a lo que llamamos en calculo, como cambio de variable.
∀xA(x) →A(a/x)
Por ejemplo:
 Es lógico aceptar que si todos son felices, entonces Pepe es feliz y si
Pepe es Feliz, entonces todos son felices.
 Esto se explica ya que es contradictorio afirmar que si Juan es santo,
entonces todos son santos.
Lo que se busca es encontrar las mismas sustituciones que unifiquen, por
ejemplo:
 Cada esquema de protección cuida un dispositivo.
 El fusible 2 es un esquema de protección.
Sustituyendo
 Por lo tanto, el fusible 2 cuida un dispositivo.
Definiendo:
Lx ⇔x Premisa: Es un esquema de protección
Px ⇔ x Premisa: Cuida un dispositivo
e Premisa: fusible 2

Simbolizando: Demostrar Pe
1) (∀x)(Lx→Px) P
2) Le P
3) Le→Pe e/x (1)
4) Pe MP(2,3)
Equipo 4

Ejemplo:
Premisas Definición
 Todos los perros son mamíferos A(x)
 Fido es un perro a
 Por lo tanto, Fido es un mamífero A(a/x)