Capı́tulo 5

Teorema de deducción

1. Sı́mbolos.
∼ , → , (, ) , pi con i ∈ Z+

2. Reglas de formación. Las siguientes expresiones de LP son fórmulas (For):

F1. para cada i ∈ Z+ se tiene que pi ∈ For,

F2. si A, B ∈ For entonces (∼ A) , (A → B) ∈ For, y
F3. ninguna otra expresión es una fórmula.

3. Axiomas. Las siguientes fórmulas son exiomas de LP

A1. A → (B → A),
A2. (∼ A →∼ B) → (B → A), y
A3. A → (B → C) . → . (A → B) → (A → C).

4. Regla de transformación (MP).

A→B
A
∴B

Definición 5.1. Sean Γ ⊂ F or y A ∈ For.

1. Una deducción de A desde Γ es una secuencia

A1 , . . . , Ai , . . . , An = A

de fórmulas tales que para cada i, 1 ≤ i ≤ n, se cumple que

a) Ai ∈ Γ,
b) Ai es un axioma, o
c) Ai de deduce de Aj = Ak → Ai y Ak , 1 ≤ j < k ≤ n − 1 por la regla de
transformación MP.

2. Decimos que A es consecuencia sintáctica de Γ, escribimos Γ LP A, si existe

una deducción de A desde Γ.
Definición 5.2. Sea A ∈ For.

1. Una demostración de A es una deducción de A desde ∅.

2. Decimos que A es un teorema, escribimos LP A, si existe una demostración de
A.

Teorema 5.3 (de deducción). Sean Γ ⊂ F or y A ∈ For. Entonces

Γ ∪ {A} LP B ⇒ Γ LP A → B.

Demostración. Como Γ∪{A} LP B hay una deducción de B desde Γ ∪ {A}, a saber,

(1) B1
···
DΓ∪{A}B : (i) Bi
···
(n) B
La demostración por inducción sobre n, la longitud de la deducción.

Etapa base. Supongamos que n = 1, entonces

DΓ∪{A}B : (1) B

Caso 1. B es un axioma. La deducción que sigue muestra que Γ LP A → B,

(1) B Axioma
DΓA→B : (2) B → (A → B) A1
(3) A → B MP (1, 2)
Caso 2. B es un elemento de Γ, entonces
(1) B Elemento de Γ
DΓA→B : (2) B → (A → B) A1
(3) A → B MP (1, 2)
Caso 3. B es la fórmula A, entonces
(1) A → (A → A. → .A) . → . (A → (A → A) . → .A → A) A2
(2) A → (A → A. → .A) A1
DΓA→A : (3) A → (A → A) . → .A → A MP (1, 2)
(4) A → (A → A) A1
(5) A→A MP (3, 4)
Etapa inductiva.
Hipótesis inductiva. Supongamos que

(1) B1
···
DΓ∪{A}B : (i) Bi
···
(n) B

15
y que para todo m si 1 < m ≤ n − 1 se cumple

(1) B1
···
DΓ∪{A}C : (i) Bi ⇒ Γ A → C
···
(m) C

Tesis inductiva. Γ A → B.
Caso 1. B es un axioma. La deducción sigue como en el caso 1 de la etapa base.
Caso 2. B es un elemento de Γ. La deducción sigue como en el caso 2 de la etapa
base.
Caso 3. B es la fórmula A. La deducción sigue como en el caso 3 de la etapa base.
Caso 4. B se obtiene de dos fórmulas anteriores mediante la regla de transformación,

(1) B1
···
(i) Bi
DΓ∪{A}B : ··· , 1 ≤ i < j ≤ n − 1 ⇒ Γ A → Bi y Γ A → (Bi → B) .
(j) Bi → B
···
(n) B

Entonces, la deducción que sigue muestra que Γ LP A → B,

Γ
···
(k) A → Bi Hip. inductiva
···
DΓA→A :
(l) A → (Bi → B) Hip. inductiva
(l + 1) A → (Bi . → .B) . → . (A → Bi . → .A → B) A2
(l + 2) A → Bi . → .A → B MP (l, l + 1)
(l + 3) A → B MP (k, l + 2)

Corolario 5.4. Sean Γ ⊂ F or y A ∈ For. Entonces

Γ LP A → B ⇒ Γ ∪ {A} LP B.

16
Capı́tulo 6

Teorema de adecuación (Kalmar)

Si A es una fórmula y v es una valoración, definimos la fórmula


v A si v (A) = V
A = .
∼A si v (A) = F
Lema 6.1 (de Kalmar). Si A es una fórmula cualquiera de L y Γ = {P1 , · · · , Pn } es el
conjunto de los únicos sı́mbolos proposicionales distintos de A, entonces para cualquier
valoración v se cumple
P1v , · · · , Pnv L Av .
Demostración. Por inducción sobre la cantidad k de conectivos lógicos de A.
Etapa base. Si k = 0, entonces A = P1 . Se debe probar que
P1v L P1v
es decir, dependiendo de v, se debe probar que
P1 L P1 cuando v (P1 ) = V (6.1)
o
∼ P1 L ∼ P1 cuando v (P1 ) = F . (6.2)
Pero (6.1) y (6.2) son inmediatos pues el Teorema de Deducción implica que L A → A.
Etapa inductiva.
Hipótesis inductiva. El lema vale para cualquier fórmula con menos de k conectivos
lógicos.
Tesis inductiva. El lema vale para cualquier fórmula con k conectivos lógicos.
1. Si A =∼ B, entonces Γ = ΓB 1 . Tenemos dos posibilidades.

a) Cuando v (A) = V . Entonces

v (B) = F ⇒ Av = A ∧ B v =∼ B.
Como B tiene menos de k conectivos, la hipótesis inductiva implica que
P1v , · · · , Pnv L ∼ B. Tenemos
(1) P1v , · · · , Pnv Hip.
(2) ∼ B = A Hip. Inductiva
1
ΓB conjunto de los únicos sı́mbolos proposicionales distintos de B.
 Por lo tanto,
P1v , · · · , Pnv L A.
b) Cuando v (A) = F . Entonces

v (B) = V ⇒ Av =∼ A ∧ B v = B.

Dado que B tiene menos de k conectivos, P1v , · · · , Pnv L B. Tenemos la

siguiente deducción

(1) P1v , · · · , Pnv Hip.

(2) B Hip. Inductiva
(3) B →∼∼ B Teorema Anterior
(4) ∼∼ B =∼ A MP (2, 3)

Por lo tanto,
P1v , · · · , Pnv L ∼ A.

2. Si A = B → C, entonces ΓB ⊆ Γ y ΓC ⊆ Γ.

a) Cuando v (B) = F . Entonces

v (A) = V ⇒ Av = A ∧ B v =∼ B.

Tenemos
ΓvB L ∼ B ⇒ P1v , · · · , Pnv L ∼ B
y
(1) P1v , · · · , Pnv Hip.
(2) ∼B Hip. Inductiva
(3) ∼ B → (B → C) Teorema Anterior
(4) B→C=A MP (2, 3)
b) Cuando v (C) = V , entonces

v (A) = V ⇒ Av = A ∧ C v = C.

Tenemos
ΓvC L C ⇒ P1v , · · · , Pnv L C
y
(1) P1v , · · · , Pnv Hip.
(2) C Hip. Inductiva
(3) C → (B → C) L1
(4) B→C=A MP (2, 3)
c) Cuando v (B) = V y v (C) = F , entonces

v (A) = F ⇒ Av =∼ A ∧ B v = B ∧ C v =∼ C.

Tenemos

ΓvB L B ∧ ΓvC L ∼ C ⇒ P1v , · · · , Pnv L B ∧ P1v , · · · , Pnv L ∼ C

18
 y
(1) P1v , · · · , Pnv Hip.
(2) B Hip. Inductiva
(3) ∼C Hip. Inductiva
(4) B → (∼ C →∼ (B → C)) Teorema anterior
(5) ∼ C →∼ (B → C) MP (2, 4)
(6) ∼ (B → C) = A MP (3, 5)

Con esto termina la etapa inductiva y, a la vez, la demostración del lema. 2

Teorema 6.2 (de adecuación). Si L A, entonces L A.

Demostración. Sea Γ = {P1 , · · · , Pn } el conjunto de los únicos sı́mbolos proposicionales
distintos de A. Por el Lema de Kalmar, para una valoración cualquiera v tenemos
P1v , · · · , Pnv L A
pues que L A implica v (A) = V de donde Av = A.
Si v1 es una valoración que se diferencia de v porque v (Pi ) = v1 (Pi ) para i =
1, . . . , n − 1 mientras que v (Pn ) = v1 (Pn ), entonces
P1v , · · · , Pn−1
v
, Pnv L A y P1v , · · · , Pn−1
v
, Pnv1 L A.
1. Si v (Pn ) = V entonces v1 (Pn ) = F . Ası́
P1v , · · · , Pn−1
v
, Pn L A y P1v , · · · , Pn−1
v
, ∼ Pn L A
de donde, por el Teorema de Deducción tenemos
P1v , · · · , Pn−1
v
L Pn → A y P1v , · · · , Pn−1
v
L ∼ Pn → A (6.3)
(1) P1v , · · · , Pn−1
v
Hip.
(2) Pn → A Propiedad (6.3)
(3) ∼ Pn → A Propiedad (6.3)
(4) (Pn → A) → ((∼ Pn → A) → A) Teorema anterior
(5) (∼ Pn → A) → A MP (2, 4)
(6) A MP (3, 5)
Por lo tanto,
P1v , · · · , Pn−1
v
L A.

2. Si v (Pn ) = F entonces v1 (Pn ) = V , el procedimiento es el mismo que el del

subcaso anterior.
Si n = 1 tenemos que L A. Si n > 1, consideramos una valoración v1 que se
diferencia de v porque v (Pi ) = v2 (Pi ) para i = 1, . . . , n − 2 a la vez que v (Pn−1 ) =
v1 (Pn−1 ). Repitiendo el argumento anterior, efectuando los cambios que resulten
obvios, del mismo modo que hemos eliminado a Pn del argumento, eliminamos a
Pn−1 y concluimos que
P1v , · · · , Pn−2
v
L A.
Ası́ procedemos sucesivamente, hasta eliminar del argumento a P1v , . . . , Pn−2
v
y
concluir que L A. 2

19