SISTEMA AXIOMATICO DE KLEENE

Teoría de la demostración

Es necesario que el conjunto de axiomas y reglas sea consistente, es decir,

no contradictorio.

Elementos del sistema axiomático

A es el alfabeto del sistema: el conjunto de símbolos que se pueden utilizar.

F es el conjunto de reglas de sintaxis: las reglas que permiten definir las

formulas bien construidas.

X es el conjunto de axiomas: fórmulas válidas por definición.

R es el conjunto de reglas de inferencia: reglas de transformación que

permiten inferir una formula, la conclusión a partir de un conjunto de
fórmulas, las condiciones o premisas.

Teoría de la Demostración

Un sistema de demostración formal S o sistema de prueba se define

matemáticamente mediante cuatro elementos.

A: el alfabeto del sistema, está formado por:

• Los símbolos p, q, r, s,…, p1, p2, p3,… de proposiciones atómicas

• Los símbolos lógicos de conectivos ~, ∧, ∨, →

• Los símbolos de agrupación: (,)

F: el conjunto de las fórmulas bien construidas denotado por (fbc) se define

recursivamente así:

• Toda proposición atómica es una fbc.

• Si P y Q son fbc entonces ¬P, P ∧ Q, P ∨ Q, P →Q y Q → P son fbc.

X: Axiomas

El sistema Kleene cuenta con 8 Axiomas

A1: ⱶ P → (Q→P)
A2: ⱶ (P→Q) → ((P→ (Q→R)) → (P→R))

A3: ⱶ P→ (Q→P∧Q)

A4: ⱶ P∧Q→P ; ⱶ P∧Q→Q

A5: ⱶ P →P∨Q ; ⱶ Q →P∨Q

A6: ⱶ (P →R) → ((Q→R) → (P∨Q→R))

A7: ⱶ (P→Q) → ((P→~Q) →~P)

A8: ⱶ ~ ~ P →P

R: Regla de inferencia

El sistema cuenta con una única regla de demostración que es la conocida

como “Modus Ponens” que es:

ⱶP

ⱶ P→Q

ⱶQ

Esto es equivalente a “Modus Ponens” como estructura deductiva P, P→Q =>

Q

Ejemplo de Demostración

Demuestre que la fórmula A se deduce de la fórmula A, es decir A→A

1) El axioma 1 es: P→ (Q→P), sustituyendo P por A y Q por A se tiene:

A→ (A→A)

2) El axioma 2 es: (P→Q) → ((P→ (Q→R)) → (P→R)), sustituyendo P por

A, Q por (A→A) y R por A se tiene:
(A→ (A→A)) → ((A→ ((A→A) →A)) → (A→A))
3) Aplicando la regla Modus Ponens a las proposiciones de 1) y 2) se
tiene:
(A→ ((A→A)→A)) → (A→A)
4) Utilizando de nuevo A1 con Q dado por A→A se tiene:
A→ ((A→A) →A)
5) Aplicando Modus Ponens a las proposiciones de los pasos 3) y 4) se
tiene:
A→A