19

5 Axiomas y teoremas del CPC

Seg un Bourbaki, despues de los griegos, quien habla de Matem aticas habla
de demostracion
1
. Sin desconocer trabajos de matem aticos y l osofos an-
teriores, sin duda el paradigma de un tratado demostrativo es Elementos,
de Euclides. All qued o plasmada la idea de argumentar todo paso a paso a
partir de principios iniciales llamados axiomas y postulados. Estos principios
se aceptaran por consenso y, a su vez, cada paso debera estar justicado a
plenitud.
Con el tiempo se reconocieron algunos metodos de demostracion y ciertos
pasos de uso com un que se llamaron reglas de inferencia. En la Edad
Media, las m as empleadas de estas reglas se designaron con bellos nombres
en latn, como los siguientes.
Modus Ponendo Ponens Modus Tollendo Tollens
a b
a
b
a b
b
a
Modus Tollendo Ponens Simplicaci on
a b
b
a
a b
a
a b
b
Con estas reglas podra demostrarse el ejemplo del 1 como sigue.
1
Depuis les Grecs, qui dit mathematique dit demonstration.
20
1. p Premisa
2. q r Premisa
3. p (s r) Premisa
4. q (t s) Premisa
5. s r Modus Ponendo Ponens/1, 3
6. r Simplicaci on/5
7. q Modus Tollendo Tollens/2, 6
8. t s Modus Ponendo Ponens/4, 7
9. s Simplicaci on/5
10. t Modus Tollendo Ponens/8, 9
La mayor objecion a este metodo tradicional es que no hay mucho con-
trol sobre las reglas de inferencia. En las ultimas decadas del siglo XIX
y las primeras del XX, con el auge de las axiomatizaciones en Matem aticas,
tambien se introdujeron presentaciones m as tecnicas del c alculo proposicional
que capturan de manera rigurosa el metodo formal de las demostraciones
ilustrado arriba. Todas estas exposiciones inician, al mejor estilo de Eu-
clides, jando axiomas y reglas de inferencia que no se deben pensar como
una especie de verdades evidentes sino que son ciertas formulas y relaciones
entre ellas que se escogen como fundamentales.
En las presentaciones del c alculo proposicional hay diferentes estilos posibles.
En un extremo se encuentran los llamados sistemas de deduccion natural, con
el mnimo de axiomas y una gran cantidad de reglas de inferencia; en el otro
extremo estan las presentaciones llamadas de tipo Hilbert, con varios axiomas
y solo una regla de inferencia. En este texto se adopta la segunda opcion,
porque parece m as cercana al tratamiento de las estructuras matem aticas
acostumbrado en los cursos actuales.
21
Denici on 5.1. Una formula en F(L) es un axioma del c alculo proposicional
clasico (abreviado CPC de aqu en adelante) si tiene la forma de alguna de
las siguientes.
1. ( )
2. ( ( )) (( ) ( ))
3. ( ) ( )
4. ( )
5. ( )
6. ( ) (( ) ( ( )))
7. ( )
8. ( )
9. ( ) (( ) (( ) ))
Todos los axiomas se expresan en terminos de la implicaci on. Sin embargo,
los dos primeros hacen referencia exclusiva a este conectivo; el tercero se
reere a la negacion; los tres siguientes a la conjunci on; los tres ultimos
hacen referencia a la disyuncion. Por el resto de esta secci on desaparece el
conectivo de equivalencia como tal, la expresion es una abreviatura
de la formula ( ) ( ).
En principio solo se adopta una regla de inferencia, ella tambien se reere
solo a la implicaci on.
Denici on 5.2. La unica regla de inferencia del CPC es Modus Ponens
(MP) que de las formulas y permite pasar a la formula .
22
En estas dos deniciones las letras , y representan formulas que pueden
sustituirse por otras. Por ejemplo, el siguiente es un axioma del CPC.
(p q) ((q r) (p q))
A continuaci on se delimita con precision el CPC como teora. Esta denicion
puede verse como un diagrama, o una caricatura, de lo que es una de-
mostracion matem atica: una cadena de argumentos en la que se va inriendo
de manera sucesiva hasta la conclusi on deseada, empleando los axiomas de
la teora en el momento requerido.
Denici on 5.3. Una formula F(L) es un teorema del CPC si existe una
sucesion nita de formulas
1
,
2
,
3
, . . . ,
n
F(L) que concluye en (esto
es,
n
= ), cada una de las cuales o es un axioma o bien resulta de formulas
anteriores de la sucesion por aplicaci on de la regla. La sucesion de formulas
se denomina deduccion formal del teorema .
De manera trivial, cada axioma es entonces un teorema.
Ejemplo 5.4. ( ) ( ) es un teorema del CPC.
Demostraci on. Sigue una posible deduccion.
1. ( ( )) (( ( )) (( ) ( ))) Ax 9
2. ( ) Ax 8
3. ( ( )) (( ) ( )) MP/1, 2
4. ( ) Ax 7
5. ( ) ( ) MP/3, 4
Ejemplo 5.5. es un teorema del CPC.
23
Demostraci on.
1. ( (( ) )) (( ( )) ( )) Ax 2
2. (( ) ) Ax 1
3. ( ( )) ( ) MP/1, 2
4. ( ) Ax 1
5. MP/3, 4
Como es pr actica usual en Matem aticas, una vez demostrado un teorema
del CPC este puede invocarse para simplicar una deduccion. En principio,
la formula marcada Teo en la lista siguiente podra reemplazarse por su
deduccion para dar lugar a una cadena que contiene solo axiomas y formulas
obtenidas por MP.
Ejemplo 5.6. ( ) es un teorema del CPC.
Demostraci on.
1. ( ) (( ) ( ( ))) Ax 6
2. Teo 5.5
3. ( ) ( ( )) MP/1, 2
4. ( ) MP/2, 3
Ejercicios.
5.1. Halle deducciones para los siguientes teoremas del CPC, empleando solo
los axiomas y la regla de inferencia.
a) ( ) ( )
b) ( ( ))
c) (( ) ( ))
d) (( ) ( ))
5.2. Halle una deduccion para el siguiente teorema del CPC.

[Sugerencia: Combine los ejemplos 5.5 y 5.6.]