30

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

As 1 es un teorema del CPC, luego tambien ` 1 .

En el caso en que 1 es una premisa, de nuevo hay dos posibilidades. Si
1 entonces basta sustituir Ax por P en la deduccion anterior, y se

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

Ejemplo 7.6 (Doble Negacion II). `

Demostracion. Se obtiene por MP del ejemplo anterior (7.5).
Otro importante metateorema codifica el metodo de reduccion al absurdo
(RA), tan querido en la practica matematica.
Teorema 7.7 (Reduccion al Absurdo). Sea F(L) un conjunto de formulas, posiblemente vaco, y sea F(L) una formula.
Si , ` y , ` para alguna F(L), entonces ` .
Demostracion. Si es cualquier teorema (o axioma) entonces por las deducciones 6.5 y 6.10 se tiene , ` luego por hipotesis , ` y por
TD resulta ` . Supongase que esta deduccion requiere N pasos,
entonces a ella se a
naden las lneas siguientes.
N + 1. ( ) ( )

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 ) ` ( )

7.3. A partir del ejercicio anterior concluya:

a) `

b) `

7.4. Demuestre el razonamiento presentado como ejemplo en el 1 y al

comienzo de la seccion 1.2.
7.5. Demuestre:
a) ` ( )

c) ( ) `

b) ( ) ` ( )

d) ( ) ` ( )

35
7.6. Demuestre:
a) , ` ( ) ( )
b) , ` ( ) ( )
7.7. Demuestre:
a) ( ) ` ( )

b) , ` ( )

7.8. Demuestre que si ` entonces ` .