UNA BREVE CHARLA SOBRE EL TEOREMA DE DEDUCCIN

Teorema de deduccin.- Sea y formulas de un lenguaje formal

y sea una coleccin de frmulas de , si existe una deduccin
de a partir de y (, ) en la que no se generalice respecto a
ninguna variable libre en , entonces
Demostracin.Solo voy a explicar cosas que tal vez no son tan evidentes, bueno
que al menos yo considero no tan evidentes, en ese sentido se
explicaran mejor las partes que yo considere necesarias.
Lo probaremos por induccin sobre el nmero n de lneas de
una deduccin de .
Si n=1 entonces
(1)
y ah termina la deduccin de , que es lo que sabemos se puede
conseguir por las condiciones del teorema. Ahora, debemos
considerar los casos en los que es lcito que se deduzca , segn la
definicin de deduccin que hemos adoptado.
Definicin de deduccin.- Una deduccin de en un sistema
deductivo formal es una sucesin finita de formulas 1n en la
que i es UNA FORMULA DE , UN AXIOMA DEL SISTEMA
DEDUCTIVO, O UNA CONSECUENCIA INMEDIATA DEL
SISTEMA DEDUCTIVO. Obviamente nuestro sistema deductivo
formal es L.
Aplicada esta definicin al teorema nos damos cuenta que
- O bien esta en
- O bien es un axioma
- O bien (esto no porque sea una consecuencia inmediata
de alguna formula, (ya que esto exigira mas de una lnea en
la deduccin de ), sino porque las formulas licitas para usar
en la deduccin de son , y los axiomas de KL, por tanto
debe pertenecer necesariamente a alguna de estos tres
grupos.

Una vez deducida se prosigue con la deduccin de , a

partir solo de como exige el teorema.
Veamos los casos:
a) es un axioma o premisa (si es formula de , se llama
premisa.
(1)

(axioma o premisa) se la puede utilizar por

ser precisamente lo que es.
(2) ()
(K1)
(3)
(MP 1,2)
Luego se concluye que
b)
En este caso tenemos que luego o lo que es
igual a
Luego se concluye que
Si n1 entonces
Supongamos el teorema cierto para frmulas deducibles en
menos de n pasos y supongamos que se deduce en n pasos.
(La importancia de esta suposicin se vera con mas claridad a
medida que avancemos)
Ahora, o es una formula de , o es un axioma, o es una
consecuencia inmediata de alguna o algunas formulas, por
alguna de las reglas de inferencia de L.
a) Si es un axioma o premisa, se razona como antes. Es decir
tenemos el caso del inciso a) anterior, obviamente no se
deduce en n pasos, sino que puede ser tomada en el primer
paso como este inciso muestra.
b) es una consecuencia inmediata por algunas de las reglas de
inferencia.
Veamos el caso en el que es una consecuencia inmediata a
travs del Modus Ponendo Ponens (MP)
En este caso se debe seguir por MP de y , por tanto
existe una deduccin de y a partir de y en menos de n
pasos y sin generalizar respecto a variables libres en . Es decir

, y adems , , y es aqu donde la suposicin de

que el teorema se cumple para formulas deducibles en menos de
n pasos nos ayuda. Sin esta suposicin no podramos demostrar
el teorema. Vase porque:
Ahora segn la suposicin tenemos que
y () luego:
(1)
.
.
.
(k)
(k+1)
.
.
(1)
(1+1)
(1+2)
(1+3)

(Deduccin a partir de )

() (Deduccin a partir de )
(())(()()) (k2)
()()
(MP1,1+1)
()
(MP k,1+2)

Luego se concluye que

c) Veamos el caso en el que es una consecuencia inmediata
por la introduccin del generalizador.
Si es consecuencia inmediata de por esta regla entonces
xi, y por hiptesis de induccin xi no esta libre en , vase
que esto es necesario, ya que si xi estuviera libre en , al deducir
por la introduccin del generalizador estaramos generalizando
respecto a variables libres en , en contra de las condiciones de
teorema, por tanto si con la introduccin del generalizador se
generaliza por fuerza la variable xi, es lgico suponer que esta
variable no estaba libre en , antes de la generalizacin.
Por hiptesis de induccin suponemos que ( se deduce de y
en menos de n pasos), . Por tanto:
(1)
.
.
.
(k)

(k+1) xi ()

(Deduccin a partir de )
(IG k)

(k+2) xi () (xi)
(k5)
(MP k+1,k+2)
(k+3) (xi) ()
Luego se concluye que
Es bueno aclarar que en la deduccin de se generaliza
respecto a las mismas variables que en la deduccin de .
RECIPROCO DEL TEOREMA DE DEDUCCION.
Sean y formulas de un lenguaje formal , sea una
coleccin de formulas de , si existe una deduccin de a
partir de en la que no se generalice respecto a variables libres
en , es decir , entonces ,.
Demostracin.Si es una deduccin a partir de entonces es UN
AXIOMA DEL SISTEMA DEDUCTIVO (L), ESTA EN , O ES
UNA CONSECUENCIA INMEDIATA POR ALGUNA DE LAS
REGLAS DE INFERENCIA DEL SISTEMA DEDUCTIVO (L).
Lo probaremos por induccin sobre el nmero n de lneas de
una deduccin de .
Si n=1, entonces es un axioma o premisa
Veamos una demostracin de a partir de y
Tomando como premisa tenemos
(1)
(Axioma o premisa)
(2)
(Premisa)
(3)
(MP 1,2)
Luego se concluye que ,
Si n1 entonces se deduce a partir de una de las reglas de
inferencia.
Primera regla de inferencia.- Por el MP se debera deducir de y (), por tanto
existe una deduccin en de y de () a partir de en
menos de n pasos (suponiendo que se deduce en n pasos)
luego, podemos demostrar que se deduce de y .Por
ejemplo:
(1)
.
. Deduccin de a partir de de
.
(K)

.
.Deduccin de a partir de
.
(1+1) ()
(MP 1+1,1+2)
(1+2) ()
(1+3)
(Premisa)
(1+4)
(MP 1+3,1+4)
Luego se concluye que ,
Segunda regla de inferencia.- es consecuencia inmediata de , luego por introduccin
del generalizador xi. Es claro que xi no esta libre en y
que se deduce de en meno de n pasos, luego:
(1)
.
.Deduccin de a partir de
.

(k)
(k+1) xi
(k+2) xi ()(xi)
(k+3) (xi)
(k+4)
(k+5) xi
Luego se concluye que ,

(IG)
(K5)
(MP k+1,k+2)
(Premisa)
(MP k+3,k+4)