Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Notas Logica 07
Notas Logica 07
7 Dos metateoremas
Existen varios resultados potentes que permiten simplificar mucho las pruebas de la logica proposicional. En el sentido estricto no son teoremas del
CPC sino teorema sobre deducciones, o en particular, teoremas sobre teoremas (con precision, teoremas matematicos sobre teoremas del CPC). El
primer resultado de esta seccion codifica la practica matematica de suponer
el antecedente y deducir el consecuente cuando se quiere demostrar una
implicacion.
Teorema 7.1 (Teorema de la Deduccion). Sea F(L) un conjunto de
formulas, posiblemente vaco, y sean , F(L) formulas.
Si , ` entonces ` .
Las referencias al teorema de la deduccion se abrevian TD. En realidad se
trata de una equivalencia, la otra implicacion es inmediata por MP.
Demostracion. Si 1 , 2 , 3 , . . . , n = es una deduccion de a partir de
{}, se demuestra por induccion (matematica completa) que ` i
para cada i (1 i n). En particular, para i = n resulta ` .
Paso inicial. La formula 1 no puede deducirse de formulas anteriores luego
es un axioma o una premisa. En el primer caso se tiene lo siguiente.
1. 1
Ax
2. 1 ( 1 )
Ax 1
3. 1
MP/1, 2
31
obtiene ` 1 de manera directa. Si 1 = entonces 1 =
que es un teorema por el ejemplo 5.5, de manera que de nuevo ` 1 .
Paso inductivo. Sea k > 1 y supongase que ` i para cada i con
1 i < k. Si k es un axioma o una premisa entonces ` k como
en el paso inicial. Si se obtiene por MP entonces existen formulas anteriores
de la forma j , j k y por hipotesis de induccion se tiene ` j ,
` (j k ). Supongase que la primera deduccion requiere M pasos
y la segunda N M pasos, entonces a la yuxtaposicion de las dos sucesiones
se a
naden las lneas siguientes.
N + 1. ( (j k )) (( j ) ( k ))
Ax 2
N + 2. ( j ) ( k )
MP/N, N + 1
N + 3. k
MP/M, N + 2
De esta manera ` k .
La prueba anterior es constructiva porque dada una deduccion de , siguiendo en cada renglon los pasos de la demostracion es posible elaborar una
deduccion de .
El teorema de la deduccion, aplicado de manera reiterada, permite ver cualquier deduccion con finitas premisas como un teorema del CPC.
Corolario 7.2. Sean 1 , 2 , . . . , n , F(L) formulas.
1 , . . . , n ` si y solo si ` 1 (2 (n ) ).
Ejemplo 7.3. ` ( ) (( ) ( ))
Demostracion. Por TD, basta probar ` ( ) ( ) y, de
nuevo por TD, basta probar , ` . Este es el ejemplo
6.4, sin embargo ahora la prueba puede simplificarse porque, por TD, basta
probar , , ` . Esta deduccion se prueba de manera sencilla
con dos aplicaciones de MP.
32
Ejemplo 7.4. `
Demostracion. Se obtiene por TD del ejemplo 6.9.
Ejemplo 7.5. `
Demostracion.
1. ( ) ( )
Ax 3
2.
Teo 7.4
3.
MP/1, 2
Ax 3
N + 2.
MP/N, N + 1
N + 3.
Teo
N + 4.
MP/N + 2, N + 3
De esta manera ` .
33
Corolario 7.8. Sea F(L) un conjunto de formulas y sean , F(L)
formulas.
1. Si , ` , entonces `
2. Si , ` entonces `
Ejemplo 7.9 (No Contradiccion). ` ( )
Demostracion. Por RA (caso (1 ) del corolario 7.8) basta probar `
, , lo cual es consecuencia inmediata de los axiomas 4 y 5.
Ejemplo 7.10 (Modus Tollendo Tollens). , `
Demostracion. Por RA ((1 ) del corolario 7.8) basta probar , , `
, . La primera deduccion es inmediata por MP ; la segunda es mas inmediata a
un porque la conclusion esta entre las premisas.
El ejemplo siguiente se obtiene aplicando dos veces TD a Tollendo Tollens,
y en cierto modo es un complemento del axioma 3.
Ejemplo 7.11. ` ( ) ( )
Ejemplo 7.12. , `
Demostracion. Por RA ((2 ) del corolario 7.8) basta ver , , `
.
1.
2.
3.
Ded 7.10/1, 2
4.
4.
MP/3, 4
34
En esta presentacion, el camino para llegar al proximo teorema es bastante
dispendioso.
Ejemplo 7.13 (Tercero Excludo). `
Demostracion. Resulta de inmediato aplicando el ejemplo 7.12 a los axiomas
( ) y ( ).
Ejercicios.
7.1. Demuestre el siguiente teorema del CPC.
( ) ( )
[Sugerencia: Use el resultado 7.12.]
7.2. Demuestre:
a) ( ) `
d) ` ( )
b) ( ) `
e) ` ( )
c) ( ) `
f ) ` ( )
b) `
c) ( ) `
b) ( ) ` ( )
d) ( ) ` ( )
35
7.6. Demuestre:
a) , ` ( ) ( )
b) , ` ( ) ( )
7.7. Demuestre:
a) ( ) ` ( )
b) , ` ( )