Lgica

Clases Tericas
4/11/2013-6/11/2013
Federico M. Pailos
Repaso
Lenguaje P

Sistema SP

(SP1) (A (B A))
(SP2) ((A(BC)) ((AB)(AC)))
(SP3) ((A B) (B A))

(MP) A, (AB) /B


Repaso
Demostracin: Una demostracin en SP es una tira finita de
frmulas de P, cada una de las cuales o bien es un axioma de
Sp o bien una consecuencia por MP de dos frmulas anteriores
de la tira, y donde la ltima frmula de la tira es A.
Teorema: Una frmula A de P es un teorema de SP ( A) sii existe
una demostracin de A en SP.
Derivacin: Una derivacin en SP de una frmula A a partir de un
conjunto de frmulas de P es una tira finita de frmulas de P,
cada una de las cuales o bien es un axioma de SP o bien es un
miembro de o bien una consecuencia por MP de dos frmulas
anteriores de la tira, y donde la ltima frmula de la tira es A.
Consecuencia sintctica: Una frmula A de P es una
consecuencia sintctica de un conjunto de frmulas de P
( A) sii existe una derivacin de A a partir de en SP.

Repaso
Metateorema de la deduccin
{A} B (AB)
Principio de Induccin Matemtica
Completa
Si: 1 es F
y (Si todo m menor a k es F k es F)
todo n es F
Repaso
Consistencia simple de un aparato deductivo:
Un aparato deductivo es simplemente consistente sii no existe una
frmula B tal que ella y su negacin son teoremas del sistema ( B
y B).
Un aparato es simplemente inconsistente sii existe tal frmula B.

Consistencia absoluta de un aparato deductivo:
Un aparato deductivo es absolutamente consistente sii existe al
menos una frmula del lenguaje en el cual dicho sistema est
formulado que no es un teorema en l.
Un aparato deductivo es absolutamente inconsistente si toda
frmula es teorema suyo
Repaso
4.12. Consistencia Simple de SP: SP es
simplemente consistente
4.9. SP es simplemente inconsistente
SP es absolutamente inconsistente.


CORRECCIN FUERTE DE SP
SI A A (5.2)
Vamos a probar: Para todo nmero natural n, si
existe una derivacin de A a partir de en n
pasos, entonces A.
Caso base:
n=1 (longitud de la demostracin =1)
Probar: si existe una derivacin de A a partir
de en 1 paso, entonces A

CORRECCIN FUERTE DE SP
SI A A (5.2)
Si la longitud de la demostracin de A tiene un solo
paso,
1-Ese paso es A (Def. Derivacin)
2-Hay dos casos posibles: A es un axioma de SP
(caso 1) o un miembro de (caso 2) (Def.
Derivacin)
3-Caso 1: A
4-A (4.10)
5- A (3.8)
6-Caso 2: A e
7-Para toda valuacin V, si V()=1 entonces V(A)=1
8- A (3.5)
Paso inductivo para probar 4.11
Vamos a probar: Para todo nmero natural n, si
existe una derivacin de A a partir de en n pasos,
entonces A.

Paso inductivo:
Hiptesis inductiva: Si existe una derivacin de A
a partir de en un nmero de pasos menor a k,
entonces A.
Tesis inductiva: Si existe una derivacin de A a
partir de en un nmero de pasos k, entonces
A.

Paso inductivo
Sea A un enunciado derivable a partir de en
exactamente k pasos:
existe una tira finita de frmulas cada una
de las cuales es o bien un axioma (caso 1), o
bien es un miembro de (caso 2) o bien una
frmula que se obtiene por la aplicacin de
MP de dos frmulas anteriores (caso 3) y
donde la ltima lnea de la tira es A. (def.
deriv.)

Paso Inductivo
Caso 1: dem.
Caso 2: dem.
Caso 3: A se obtiene por la aplicacin de MP a dos fr. anteriores en la
tira.
Existen dos frmulas anteriores (en la tira) a A, Bi y Bj (donde
la i y la j indican el lugar que las frmulas ocupan en la demostracin,
de modo que i<k y j<k)
Una de esas frmulas debe tener frmula condicional, con A
como consecuente y con la otro frmula como antecedente.
Sea Bi (Bj A)
Tanto Bi como Bj aparecen en la derivacin de A, removiendo todos los
pasos posteriores obtenemos derivacin de Bi de longitud i y de Bj de
longitud j (donde i<k y j<k)
Bj y (BjA) (por hiptesis inductiva)
A (por metateorema 3.7)

Completitud
En SP tambin se cumple que:
(Completitud) A A
Nociones preeliminares:
(Conjunto mximamente consistente) Un
conjunto de expresiones de P es
mximamente consistente (1) es consistente,
y (2) toda frmula A del lenguaje cumple alguna
de estas dos condiciones:
(i) AeI, o bien
(ii) I{A} B y I{A} B, para alguna frmula
B de P
Mtodo Efectivo
Mtodo Efectivo: conjunto finito de
instrucciones que indican cmo realizar paso
a paso una determinada tarea, de modo tal
que no involucre imaginacin, fuentes
externas de informacin ni mtodos
azarosos es un procedimiento para
resolver un problema, un mecanismo que, de
seguirlo, ofrece la respuesta correcta, por s
o por no, a una determinada pregunta en un
tiempo finito.
Mtodo Efectivo
Un M.E. no es, necesariamente, un procedimiento
que pueda ser realizado por un ser humano. (Los
pasos deben ser finitos, pero pueden ser
demasiados para un humano.)
No hay consideraciones respecto del tiempo (salvo
la exigencia de finitud), los recursos tcnicos o las
capacidades psicolgicas a poner en juego.
Ejemplos: la receta de un omelette, la receta de un
omelette del tamao de Jpiter.
Mtodo Efectivo
Definicin intuitiva o preterica.
Puede ser capturada en un definicin
rigurosa?
Tesis de Church: Todo procedimiento
efectivo puede ser representado por una
definicin recursiva.
(Parece plausible. De momento, no ha sido
refutada.)
Enumeracin Efectiva
Una E.E. de los elementos de un conjunto es
una funcin que asigna nmeros naturales a
esos elementos, de modo tal que:
1-Un mismo nmero no corresponde a ms
de un elemento.
2-Existe un mtodo efectivo para, dado
cualquier nmero natural n, saber a qu
miembro del conjunto fue asignado.
Completitud para SP: Prueba
de Henkin
Objetivo: probar A A
Corolario: A A. (Caso particular.)
Estrategia general de la prueba:
(1) Mostraremos que si A, entonces I{A}
es insatisfacible.
Si A, entonces no existe una valuacin v t.q.
v()=1 & v(A)=0, o, lo que es lo mismo, v(A)=1.
Por tanto, no existe una valuacin v t.q. asigne 1 a
cada elemento de I{A}.
As que I{A} no tiene modelo, y es por tanto
insatisfacible.
Completitud para SP: Prueba
de Henkin
(2) Probaremos que si I{A} es
insatisfacible, entonces tambin es
inconsistente.
(i) Probaremos primero que si I es un conjunto
mximamente consistente, entonces:
1.Dada una frmula cualquiera A de P, o bien ella o
su negacin, A, son miembros de I.
2.Toda frmula A que pueda derivarse a partir de I
es un miembro de este conjunto: si A AeI.
Completitud para SP: Prueba
de Henkin
(ii) Demostraremos luego el Metateorema de la
Enumeracin.
Con este metateorema y los referidos a los conjuntos
maximales consistentes, probaremos el Lema de
Lindenbaum que dice que los conjuntos consistentes son
subconjuntos de conjuntos maximales consistentes. (Es
decir, que cualquier conjunto consistente I de frmulas,
puede extenderse a un conjunto I
max
mximamente
consistente.)
Con el Lema de Lindenbaum, probaremos el Lema de
Henkin, que afirma que si un conjunto I es consistente,
entonces tiene modelo (i.e., es satisfacible).
Lema de Henkin: estrategia de
prueba
Probaremos el lema para un conjunto mximamente
consistente I
max
, construido a partir de un conjunto I
consistente cualquiera.
Si probamos que I
max
tiene modelo, probamos que
todos sus subconjuntos (de frmulas) lo tienen. En
particular, I.
Finalmente, aplicaremos el Lema de Henkin al conjunto
I{A}. Dado que este conjunto no es satisfacible,
entonces suponiendo A- ser inconsistente.
(3) Demostraremos que si I{A} es
inconsistente, entonces A (a travs del
metateorema de la Deduccin).
(1) Metateorema 5.3. Si A,
entonces I{A} es insatisfacible.
Prueba: si A, (def. 3.5)
no existe una valuacin V t.q. V()=1 &
V(A)=0 (def. 3.5)
no existe una valuacin V t.q. V()=1 &
V(A)=1 (def. 3.1,1)
no existe una valuacin V t.q.
V(I{A} )=1
I{A} es insatisfacible (def. 3.3)
(2) Metateorema 5.4. Si es un conjunto
mximamente consistente para toda frmula A,
o bien AeI, o bien AeI, pero no ambas.
Prueba: Si es mximamente consistente es consistente, y para
toda frmula A, o bien AeI o bien I{A} es inconsistente (def. 5.1)
Supongamos por absurdo que existe una frmula A t.q. AeI y
AeI
I{A} es inconsistente y I{A} es inconsistente (def. 5.1)
existe una frmula B t.q. I{A}B y I{A} B, y existe una
frmula C t.q. I{A}C y I{A}C (def. 4.6)
existe una frmula B t.q. IAB y IAB, y existe una
frmula C t.q. IAC y IAC (Deduccin)
(AA), ((AB)((AB)A) y
((AC)((AC)A) (ejs. 4.1.5 y 4.1.15)
I(AA), I((AB)((AB)A) y
I((AC)((AC)A) (met. 4.5)
I(AA), I(AB)A) y I(AC)A)
(met. 4.4)
(2) Metateorema 5.4. Si es un conjunto
mximamente consistente para toda frmula A,
o bien AeI, o bien AeI, pero no ambas.
I(AA), IA y IA (met. 4.4)
IA y IA (met. 4.4)
I es inconsistente, lo cual es un absurdo
porque dijimos que era consistente (def. 4.6)

El absurdo parti de suponer que existe una
frmula A t.q. AeI y AeI. Por tanto, para toda
frmula A, o bien AeI o bien AeI.
(2) Metateorema 5.4. Si es un conjunto
mximamente consistente para toda frmula A,
o bien AeI, o bien AeI, pero no ambas.
Supongamos por absurdo que existe una frmula
A t.q. AeI y AeI.
IA y IA (ej. 4.1.17)
I es inconsistente, lo cul es un absurdo
porque dijimos que era consistente (def. 4.6)

El absurdo parti de suponer que existe una
frmula A t.q. AeI y AeI. Por tanto, para toda
frmula A, no es el caso de que AeI y AeI.

Metateorema 5.5. Si es mximamente
consistente y IA y AeI.
Prueba: Si es mximamente consistente y IA

es consistente y AeI o AeI y IA
(def. 5.1 y met. 5.4)
Si AeI
A (ej. 4.1.17)
IA y A
es inconsistente (def. 4.6)
Absurdo. Luego, AeI

Metateorema 5.6. METATEOREMA DE LA
ENUMERACIN. Existe una enumeracin efectiva
de todas las expresiones de P.
Prueba: Comenzaremos por asignar numerales a los smboles
del vocabulario de P del siguiente modo:
p 10
100
1000
10000
( 100000
) 1000000

Numeral de una frmula: aqul que se obtiene yuxtaponiendo los
numerales de sus smbolos de izquiera a derecha. Ej: el numeral
de (pp) es 10000010010010000101001001000000.
Cada frmula tendr un numeral asociado.
Metateorema 5.6. METATEOREMA DE LA
ENUMERACIN. Existe una enumeracin efectiva
de todas las expresiones de P.
Ordenamos las expresiones de P de acuerdo con sus
numerales, de menor a mayor.
Esta enumeracin es efectiva: (i) a frmulas diferentes
corresponden numerales diferentes, y(ii) existe un mtodo
efectivo para encontrar, para cualquier nmero n, la frmula que
se encuentra en el lugar n:
El numeral ms chico es el correspondiente a la frmula p:
10100
A partir de ah, se avanza de diez en diez, controlando si para
cada numeral resultante se corresponde o no a una frmula (por
medio de la def. de frmula bien formada). Si corresponde, se
anota la expresin en una lista, a continuacin de las anteriores,
hasta haber anotado n frmulas.
Metateorema 5.6. METATEOREMA DE LA
ENUMERACIN. Existe una enumeracin efectiva
de todas las expresiones de P.
Existe un mtodo efectivo para encontrar
para cualquier frmula su posicin en la lista:

1-Se calcula el numeral de la frmula.
2-Se parte del numeral 10100 y se van
listando todas las frmulas hasta encontrar la
deseada. La cantidad de expresiones
listadas hasta el nmero de la frmula
origninal nos dar su posicin en la lista.