Tema 2: Teora de la Demostracin

Conceptos:

Estructura Frmulas
deductiva vlidas

Teora de
la Demostracin
Teorema de
Sistemas axiomticos: la Deduccin
Kleene
 Introduccin a la T. de la Demostracin

Estructura deductiva: es una representacin

formal de un proceso de razonamiento para
obtener una conclusin a partir de unas premisas.

Las deducciones se demuestran frmula a frmula.

 Introduccin a la T. de la Demostracin
La formalizacin de las estructuras deductivas en teora
de la demostracin requiere:
Un sistema de frmulas vlidas.

Una serie de frmulas que se asumen como vlidas por

hiptesis (axiomas del sistema)

Unas reglas de demostracin o inferencia que permiten obtener

nuevas frmulas vlidas a partir de los axiomas.

Una definicin de deduccin que permita, aplicando las reglas,

representar cualquier deduccin correcta.
 Teora de la demostracin
Es necesario que el conjunto de axiomas y reglas sea
consistente (no contradictorio):
no pueda demostrarse una frmula y su negacin.
Definicin: un sistema de demostracin formal S o sistema
de pruebas se define matemticamente mediante los
siguientes cuatro elementos:
A es el alfabeto del sistema: el conjunto de smbolos que se pueden
utilizar,
F es el conjunto de reglas de sintaxis: las reglas que permiten
definir las frmulas bien construidas,
X es el conjunto de axiomas: frmulas vlidas por definicin,
R es el conjunto de reglas de inferencias: reglas de transformacin
que permiten inferir una frmula, la conclusin, a partir de un
conjunto de frmulas, las condiciones o premisas.
 Teora de la demostracin
Un sistema de demostracin S como el anterior se
puede representar en forma compacta como
S = (A,F,X,R):
Existen varios sistemas, entre los que podemos
mencionar:
Sistema L (Lukasiewizc y Church).
Sistema PM. (Principia Mathematica)
Sistema de Kleene.
 Teora de la demostracin

Sistemas de demostracin se pueden dividir en dos clases:

Sistemas directos
Sistemas indirectos (o por refutacin).

Sistemas directos: los primeros aplican una cadena finita de reglas de

inferencia hasta llegar a la frmula que se quiere demostrar.
Los sistemas de demostracin directos tienen inters histrico y adems
son los ms naturales ya que son los ms cercanos a la forma de
razonamiento habitual.
Los sistemas directos son de difcil automatizacin.
Los sistemas de demostracin directos que vamos a estudiar son el sistema
axiomtico de Kleene

Sistemas indirectos: aplican la tcnica de reduccin al absurdo.

 Teora de la demostracin
Sistema axiomtico KLEENE:
K = (A,F,X,R)
Definido por:
A: el alfabeto est compuesto por los smbolos p; q, r, s, t,.. de proposiciones
atmicas, los smbolos de conectivas (~,,,) y los smbolos de parntesis ( ,
).
F: el conjunto de las frmulas bien construidas (fbc) se define recursivamente
como:
At : toda proposicin atmica es una fbc,
~ : si A es una fbc entonces ~A es una fbc,
resto: si A y B son dos fbc, entonces AB, AB, AB, BA son fbc.
Toda fbc se obtiene mediante las tres reglas anteriores.
Nota: en lo que se sigue usaremos tambin la conectiva de equivalencia (o
bicondicional) entre dos frmulas, AB: Esta conectiva se entender como
una forma abreviada de representar la frmula bien construida (A B) (B
A).
 X: Frmula
Frmula vlida
vlida

Axiomas de Kleene y Regla de

demostracin

R:
De
De AB
AB yy A,
A,
se
se puede deducir B
puede deducir B
(como
(como frmulas
frmulas vlidas)
vlidas)
 Concepto de demostracin
Una demostracin de una frmula A en el sistema,
es una sucesin de frmulas p1,p2,p3,,pn tales
que:
Cada frmula pi, elemento de la sucesin es:
Un axioma.
Una frmula vlida obtenida a partir de las
anteriores, aplicando la regla de demostracin.
El ltimo elemento de la sucesin: pn es precisamente
la frmula a demostrar A.
 Concepto de demostracin
Ejemplo de demostracin: T. Identidad: AA
1. A (A A) Axioma 1 de Kleene BA
2. (A (A A)) ((A((AA)A))(AA))
Axioma 2 de Kleene, definiendo BAA, CA, AA
3. (A((AA)A))(AA) Modus Ponens 1 y 2
4. (A((AA)A)) Axioma 1 de Kleene, definiendo BAA
5. (AA) Modus ponens 4,3
 Concepto de deduccin
Una deduccin o estructura deductiva se describe
mediante dos sucesiones separadas por el signo

p1,p2,p3,,pn q1,q2,..,qm

La sucesin pi es el antecedente de la deduccin y

sus elementos se llaman premisas. La sucesin qi
es el consecuente de la deduccin y sus elementos
se llaman conclusiones.
 Deduccin correcta
Una estructura deductiva se define como correcta
cuando la sucesin consecuente se obtiene de
acuerdo con alguna de las reglas siguientes.
qi es una de las premisas.

qi es una frmula vlida del sistema (axioma o

teorema1).

qi se deduce de alguna premisa o alguna conclusin

previa aplicando la regla de modus ponens.
1Frmula obtenida a partir de los axiomas mediante las reglas de inferencia con que se define el sistema.
 Teorema de la deduccin
Definicin recursiva de teorema:
Un teorema es una frmula vlida (demostrable) y tiene la
siguiente definicin recursiva:
Una frmula bien construida A es un teorema si es un axioma o
si se obtiene como conclusin de la aplicacin de un conjunto
de reglas de inferencias a otros teoremas.
Es
Es un
un axioma
axioma
O
O
se
se obtiene
obtiene como
como conclusin
conclusin de
de otras
otras reglas
reglas
La demostracin de un teorema es la demostracin de una
deduccin cuyo conjunto de premisas es vaco.
 Teorema de la deduccin
Permite definir una relacin entre las estructuras
deductivas correctas y las frmulas vlidas.

Si p1,p2,,pn q1,q2,..,qm es una deduccin

correcta, existe una deduccin correcta de pnqm
con premisas p1,p2,,pn-1

Es decir, si q1,q2,..,qm es deducible de p1,p2,,pn,

entonces pnqm es deducible de p1,p2,,pn-1
 Teorema de la deduccin
De acuerdo con el concepto de demostracin, la
deduccin
p1,p2,,pn q1,q2,..,qm
se puede escribir de la forma
p1,p2,,pn-1,pnqm
es decir, como una demostracin que tiene por
conclusin una frmula vlida.
 Teorema de la deduccin
De una estructura deductiva correcta siempre es
posible encontrar una frmula vlida que la
representa (basta con aplicar el teorema de la deduccin de forma
sucesiva hasta que desaparezca la secuencia antecedente).

Una estructura deductiva correcta es tambin una

regla de demostracin sin ms que asumir como
frmulas vlidas las premisas.
 Con T.Deduccin:
Premisa A, BA
Premisas AB
y A(BC) AC

Premisa A, Premisa B A y B

Si tengo A y B, puedo tener A

Si tengo A y B, puedo tener B
De Premisa A A v B
De premisa B A v B
B
[etc..]
 Reglas derivadas
T1: Teorema de la identidad:
AA, de toda frmula se deduce ella misma.

Ya demostrado anteriormente.
 Reglas derivadas
T2: Regla del silogismo (prop. transitiva)
(A B) ((B C) (A C))
De dos implicaciones (A B y B C) tales que la
conclusin de la primera es la premisa de la segunda se
deduce la implicacin de la premisa de la primera frmula
a la conclusin de la segunda. (AC).
Ejemplo:
1. Si como mucho entonces me duele la tripa.
2. Si me duele la tripa entonces me tumbo en la cama
Q => Si como mucho entonces me tumbo en la cama
 Reglas derivadas
T3: Modus ponens (T. Deduccin)
A((A B) B)
De una implicacin y de su premisa se deduce su
conclusin.
Ejemplo: Luis es un hombre y si Luis es un
hombre entonces es mortal se deduce que Luis es
mortal.
 Reglas derivadas
T4: Excontradictione Quodlibet
A(~A B) o bien, ~ A(A B)
De una frmula y de su negacin se deduce
cualquier frmula.
Ejemplo: Pedro es un hombre y Pedro no es un
hombre. Por lo tanto se deduce que el cielo es
azul.

Extrao verdad?
Reglas derivadas

. axioma ??
 Reglas derivadas
T5: Producto Condicional
(AB) ((A C) ( A B C))
De dos implicaciones con la misma premisa se
deduce la implicacin de esa misma premisa y
conjuncin de sus conclusiones.
Ejemplo: si x es par, es divisible por dos y si x es
par entonces no es impar, por lo tanto, se deduce
que si x es par, entonces x es divisible por dos y
no es impar.
 Reglas derivadas
T5: Producto Condicional
 Reglas derivadas
T6: Contraposicin
(AB) (~ B ~ A),
(A ~ B) (B ~ A), (equivalentes)
(~ AB) (~ B A) (equivalentes)

De una implicacin se deduce su contrapositiva.

Ejemplo: de voy en metro slo si llueve, se
deduce, que si no llueve no voy en metro
 Reglas derivadas
T7: Interdefinicin (de conectivas) respecto disyuncin
(AB) ~(A ~ B) (directa)

De una implicacin se deduce la negacin de la conjuncin

de su premisa con la negacin de su conclusin.
Ejemplo: de voy en metro slo si llueve se deduce que
no es posible que vaya en metro y no llueva.
Y tambin el recproco del anterior: una implicacin se
deduce de la negacin de la conjuncin de su premisa con
la negacin de su conclusin:
~(A ~ B) (AB) (recproca)
 Reglas derivadas
T8: Leyes de Morgan
~(A B) ~A ~ B (directa), ~A ~ B ~ (A B) (recproca)
De la negacin de la disyuncin de dos frmulas se deduce
la conjuncin de las negaciones de las mismas.
Ejemplo: de no es posible que Pedro sea hermano de
Marta o que sea hermano de Luis. De esto se deduce que
Pedro no es hermano de Marta y Pedro no es hermano de
Luis.
T8b: Leyes de Morgan
~(A B) ~A ~ B (directa), ~A ~ B ~(A B) (recproca)
 Reglas derivadas
T9: Interdefinicin (de conectivas) respecto
conjuncin
(AB) ~A B (directa)
De una implicacin se deduce la disyuncin de la
negacin de su premisa con su conclusin.
Ejemplo: de Una funcin derivable es continua
se deduce que Una funcin no es derivable o es
continua.

~A B (AB) (recproca)
 Propiedades conjuncin
T10: Propiedad conmutativa
(A B) (B A) , (B A) (A B)
T11: Propiedad asociativa
A (B C) (A B) C , (A B) C A (B C)
T12: Propiedad distributiva
A (B C) (A B) (A C) ,
(A B) (A C) A (B C)
T13: Propiedad de absorcin
A (A B) A, A A (A B)
T14: Idempotencia
AAA, AAA
 Propiedades disyuncin
T15: Propiedad conmutativa
(A B) (B A) , (B A) (A B)
T16: Propiedad asociativa
A (B C) (A B) C , (A B) C A (B C)
T17: Propiedad distributiva
A (B C) (A B) (A C) ,
(A B) (A C) A (B C)
T18: Propiedad de absorcin
A (A B) A, A A (A B)
T19: Idempotencia
AAA, AAA
 Reglas derivadas
T15: Coimplicacin
(A B) (B A) (A B)

La coimplicacin (doble implicacin) entre dos

frmulas se deduce de las dos implicaciones que
tienen estas dos frmulas como premisa y
conclusin y como conclusin y premisa,
respectivamente.
 Reglas derivadas
T16: Eliminacin de la Coimplicacin
(A B) (A B)
(A B) (B A)

De una coimplicacin entre dos frmulas se

deducen las implicaciones de cada una a la otra.

T17: Propiedad Simtrica Coimplicacin

(A B) (B A)
 Reglas derivadas
T18: Importacin-Exportacin
(A (B C)) (A B C) (directa)
(A B C) (A (B C)) (recproca)
De una implicacin cuya conclusin es una implicacin A B se
deduce la implicacin de la conjuncin de las dos premisas a la
conclusin B.
Ejemplo: Sean
p = n es un nmero natural,
q = n es par,
r = el cuadrado de n es par.
entonces,
si n es nmero natural, entonces, si n es par, su cuadrado es par.
Se deduce que:
si n es un nmero natural y es par, entonces su cuadrado es par
 Reglas derivadas
T18: Importacin-Exportacin
(A (B C)) (A B C) (directa)
(A B C) (A (B C)) (recproca)
Demostracin:
1. (A (B C)) premisa 1
2. AB
3. A B A Ax. 4
4. A M.P 2,3
5. BC M.P. 1,4
6. A B B Ax. 4
7. B M.P 2,6
8. C M.P. 5,7
 Regla de intercambio
Sea FA la notacin correspondiente a una frmula
del clculo proposicional en la que aparece la
frmula A. El teorema dice:

Si AB entonces FAFB

Siendo FB la frmula resultante de sustituir la

ocurrencia de A en FA por B