Universidad Nacional de Trujillo

SUSTITUCIONES
Definicin de la Sustitucin Una Sustitucin (de L) es una funcin : Var-> Term(L) Notacin: [1 /1 ,2 /2 ,.., / ] representa una sustitucin definida por: , = = , *1 , 2 , , +

Ejemplo: [X/a, y/ x+y] es la sustitucin de Var en los trminos aritmticos definidos por: = , = +

Aplicaciones de Sustituciones a Trminos:

Definicin.: t[1 /1 ,2 /2 ,.., / ] es el trmino obtenido sustituyendo en t las apariciones de xi por ti. Definicin.: La extensin de a trminos es la aplicacin : Trm(L) -> Trm(L) definida por ; ; 1 , . , , (1 , , )

Aplicaciones de Sustituciones a Trminos:

Ejemplo: Si = [x/ f (y, a), y/z], entonces -a = a, donde a es una constante. - w = w, donde w es una variable distinta de x e y. - h(a, x, w) = h(a, x, w) = h(a, f (y, a),w) - f(x, y) = f (x , y ) = f ( f (y, a), z) -h(a, f (x, y),w) = h(a , f (x, y) ,w ) = h(a, f ( f (y, a), z),w)

Sustituciones libres:
Una sustitucin se denomina libre para una formula cuando todas las apariciones de variables introducidas por la sustitucin en esa frmula resultan libres.

Ejemplos: a. [y/x] no es libre para x (x < y) x (x < y)[y/x] = x (x < x)

b. [y/g(y)] es libre para x (P(x) -> Q(x, f (y))) x (P(x) -> Q(x, f (y)))[y/g(y)]= x (P(x) -> Q(x, f (g(y)))) c. [y/g(x)] no es libre para x (P(x) -> Q(x, f (y))) x (P(x) -> Q(x, f (y)))[y/g(x)]= x (P(x) -> Q(x, f (g(x))))

Sustituciones a formulas:
Definicin: F[1 /1 ,2 /2 ,.., / ] es la frmula obtenida sustituyendo en F las apariciones libres de xi por ti.

Definicin: La extensin de a frmulas es la aplicacin : Frm(L) -> Frm(L) definida por 1 , . , 1 , . , 1 = 2 1 = 2 *, +

Donde es la sustitucin definida por =

Sustituciones a formulas:

Ejemplos: Si = [x/ f (y), y/b], entonces a. (x (Q(x) -> R(x, y))) = x ((Q(x) -> R(x, y)) x) =x (Q(x) x -> R(x, y) x) = x (Q(x) -> R(x, b))

 para todo elemento que pertenece al conjunto A existe un solo elemento, y solo uno, que pertenece al conjunto B al cual se le asocia o corresponde. Para simbolizar que se ha establecido una funcin f, de un conjunto A en un conjunto B, se usa la siguiente notacin:

CUANTIFICADOR UNIVERSAL:
(Primer Principio 1):
A partir de Pc, designando c, arbitrariamente, a cualquier individuo del dominio, se puede inferir xPx. c: designa una constante de individuo que no puede aparecer ni en una premisa del razonamiento, ni en un supuesto no cancelado, ni en la conclusin (es un parmetro propio de la deduccin). Tiene la caracterstica de, digamos, ir nombrando a todos los individuos del dominio.

(Segundo Principio 2):

A partir de x Px, puede inferirse Pa, donde a es un individuo del dominio. a: denota a un individuo especfico del dominio.

REGLAS PRELIMINARES:

Regla de eliminacin de cuantificador universal:

,/-

: Donde ,/- es libre para F.

Analoga con e1 y e2. EJEMPLO: Todos los pases exportadores de petrleo tienen supervit comercial. Venezuela es un pas exportador de petrleo y de gas.Luego, Venezuela tiene supervit comercial.

Ejemplo: eliminacin de cuantificador universal:

x (Px Sx), Pa Qa |= Sa
1) x (Px Sx) 2) Pa Qa 3) Pa Sa 4) Pa 5) Sa premisa premisa (e),1 (e), 2 (e), 3, 4

Introduccion de cuantificador universal:

Xo es una variable nueva, que no aparece fuera de la caja Analoga con e1 y e2.

Ejemplo 01: x (Px - Qx), x P(x) |=x Q(x)

1. 2 3 4 5 6 7 x (P(x) -> -Q(x)) x P(x) actual x0 P(x0) -> -Q(x0) P(x0) Q(x0) x -Q(x) premisa premisa supuesto e 1, 3 e 2, 3 ->e 4, 5 i 3 6

Reglas del Cuantificador Existencial

Regla de Introduccin del Cuantificador existencial

,/ Donde [x/t] es libre para F.

Nota: Analoga con Vi1 y Vi2.

Ejemplo : x P(x) x P(x)

1 2 3 x P(x) P(x0) x P(x) premisa e 1 i 2

Reglas del Cuantificador Existencial

Regla de eliminacin del cuantificador existencial

Donde es una variable nueva, ya que no aparece fuera de la caja.
Nota: Analoga con Ve. Ejemplo: x [P(x) -> Q(x)], x P(x) x Q(x) 1 2 3 4 5 6 7 x (P(x) -> Q(x)) x P(x) actual x0, P(x0) P(x0) -> Q(x0) Q(x0) x Q(x) x Q(x) i 5 e 2, 3 6 premisa premisa supuesto e 1, 3 ->e 4, 3

Reglas dela Igualdad :

Regla de Eliminacin de la Igualdad:

1= 2 F[y/1 ] =e F(y/2 )

Donde [/1 ] y [/2 ] son libres para F.

Ejemplo 1:

Donde [/1 ] y [/2 ] Y=x+1

1. + 1 = (1 + ) premisa 2. ( + 1 > 1) ( + 1 > 0) premisa 3. (1 + > 1) (1 + > 0) =e 1,2

 Ejemplo 2:

1 = 2 , 2 = 3

1 = 3

1. 1 = 2 premisa 2. 2 = 3 premisa 3. 1 = 3 =e 1,2

 Regla de Introduccin de la Igualdad:

=i

t=t

Ejemplo:

1 = 2

2 = 1

1. 1 = 2 premisa 2. 1 = 1 =i 3. 2 =1 = e 1,2