El Teorema de la Deducción

Teorema 1 (El Teorema de la Deducción, Herbrand 1930). Sea Γ un conjunto de fórmulas bien
formadas de L, y sean γ y β fórmulas bien formadas de L. Entonces, Γ, β `L γ implica que Γ`L β → γ.

Proof. Sea γ1 , γ2 , . . . , γn , con γn = γ, una prueba de γ a partir de Γ y β en L. Por inducción fuerte

demostraremos que para toda k ≤ n, Γ `L β → γk . El resultado entonces queda probrado al poner
k = n.
Base inductiva: Sabemos que γ1 o es un axioma de L, o es un elemento de Γ, o es igual a β
(al ser la primera fórmula en la prueba, γ1 no puede ser consecuencia directa de anteriores). Cuando
γ1 = β, podemos usar que `L β → β (lo cual no requirió usar el Teorema de la Deducción), y por
lo tanto Γ `L β → γ1 . Ahora supongamos que γ1 o está en Γ o es un axioma de L. Notemos que
γ1 → (β → γ1 ) es una estancia de A1, y por MP de esta fórmula con γ1 obtenemos β → γ1 . Lo
anterior muestra que γ1 `L β → γ1 , y claramente entonces Γ `L β → γ1 . Esto termina el caso base.
Hipótesis de inducción: k ≤ n y para todo i < k, Γ `L β → γi .
Paso inductivo: Queremos probar que Γ `L β → γk . Como en la base de la inducción, debemos
hacer casos sobre la naturaleza de γk . Primeramente, si γk o es un elemento de Γ, o es un axioma de
L, o es igual a β, podemos argumentar exactamente como hicimos en la base de la inducción. Ası́, en
esos casos Γ `L β → γk . El caso interesante ahora es cuando γk es consecuencia directa de algunas
γi y γj , con i, j < k, por virtud de MP. En este caso, forzosamente y sin pérdida de generalidad, γj
es γi → γk . Por hipótesis de inducción tenemos que

Γ `L β → γi y (1)
Γ `L β → (γi → γk ). (2)

Por otro lado, por A2 (y el hecho de que ser teorema de L implica ser automáticamente consecuencia
de Γ) tenemos que
Γ `L (β → (γi → γk )) → ((β → γi ) → (β → γk )). (3)
Usando MP con (2) y (3), deducimos que Γ `L (β → γi ) → (β → γk ). Usando una vez más MP,
pero con lo anterior y (1), concluimos que Γ `L β → γk , lo que querı́amos probar. Esto termina el
paso inductivo.
Por lo tanto, Γ `L β → γk para toda k ≤ n, y el teorema se sigue.