Lógica Proposicional y de Predicados

(Resumen: definiciones y teoremas)

Juan Carlos Agudelo-Agudelo

1. Lógica proposicional (LP) 1.2. Semántica

Definición 3. Dado un conjunto de variables proposi-
1.1. Lenguaje
cionales V, una asignación de valores de verdad (o eva-
Definición 1. Dado un conjunto de variables proposicio- luación) es cualquier función e: V → {V, F }.
nales V = {A, A1 , A2 , . . . , B, B1 , B2 , . . . , C . . .}, el con-
junto de fórmulas de LP (FLP) se define recursivamente Proposición 2. Toda evaluación e: V → {V, F } se pue-
ası́: de extender a una única función ê: F LP → {V, F } que
satisface las siguientes condiciones:
Las variables proposicionales son F LP (es decir
V ⊆ F LP ), y se llaman fórmulas atómicas. ê(P ) = e(P ), para todo P ∈ V.
Si α y β son F LP , entonces (¬α), (α ∨ β), (α ∧ β), ê(¬α) = V si y solo si ê(α) = F .
(α → β) y (α ↔ β) son FLP, y se llaman fórmulas
ê(α ∨ β) = V si y solo si ê(α) = V o ê(β) = V .
compuestas.
ê(α ∧ β) = V si y solo si ê(α) = V y ê(β) = V .
Las únicas FLP son las expresiones que se pueden
obtener siguiendo los pasos anteriores (un número ê(α → β) = V si y solo si ê(α) = F o ê(β) = V .
finito de veces).
ê(α ↔ β) = V si y solo si ê(α) = ê(β).
Al último conectivo usado en la construcción de una
fórmula se le llama conectivo principal. El conjunto de variables proposicionales que hay en una
fórmula α ∈ F LP se denotará por V ar(α).
Observación: se usarán letras del alfabeto griego como
metavariables que representan F LP . Proposición 3. Sea α ∈ F LP y sean e1 , e2 evaluaciones
tales que e1 (A) = e2 (A), para todo A ∈ V ar(α), entonces
Definición 2. La complejidad (o profundidad ) de una
eˆ1 (α) = eˆ2 (α).
FLP está dada por la función C: F LP → N, definida
recursivamente por: Definición 4. Sea α ∈ F LP . Una evaluación e satisface
C(α) = 0, si α ∈ V. a (o es modelo de) α si ê(α) = V .

C(¬α) = C(α) + 1. Definición 5. Sea α ∈ F LP :

C(α#β) = max{C(α), C(β)} + 1, donde # ∈ α es satisfacible si existe una evaluación que satis-
{ ∨ , ∧ , → , ↔ }. face a α.
Principio 1 (Principio de inducción (estructural) para α es tautologı́a (lógicamente válida, o ley lógica) si
F LP ). Sea P una propiedad sobre fórmulas. Si: toda evaluación satisface a α.
toda fórmula atómica satisface P (es decir, V ⊆ α es contradicción (o insatisfacible) si ninguna eva-
{α ∈ F LP | P(α)}), y luación satisface a α.
para todo α, β ∈ F LP , si α y β satisfacen P, en-
Algunas leyes lógicas importantes son:
tonces ¬α y α#β (con # ∈ { ∨ , ∧ , → , ↔ })
también satisfacen P, (a) α ∨ ¬α (Tercer Excluido),
entonces todas las F LP satisfacen P (es decir, F LP = (b) α → α (Identidad ),
{α ∈ F LP | P(α)}).
(c) (α ∨ α) ↔ α (Idempotencia disyunción),
Proposición 1. En toda fórmula α ∈ F LP , el número
(d) (α ∧ α) ↔ α (Idempotencia conjunción),
de paréntesis izquierdos ‘(’ es igual al número de parénte-
sis derechos ‘)’. (e) ¬¬α ↔ α (Doble negación),

1
(f) (α → β) ↔ (¬α ∨ β) (Def. implicación), Definición 7. Sean α, β1 , . . . , βn ∈ F LP y A1 , . . . , An ∈
V. Por α(β1 /A1 , . . . , βn /An ) se denota la formula que se
(g) (α ∧ β) ↔ ¬(¬α ∨ ¬β) (Def. conjunción),
obtiene al sustituir simultáneamente en α toda ocurren-
(h) (α ↔ β) ↔ ((α → β) ∧ (β → α)) (Def. bicondicio- cia de la variable proposicional Ai por la fórmula βi , para
nal ). 1 ≤ i ≤ n.
Leyes Conmutativas Teorema 1 (Principio de sustitución uniforme). Si
LP α, entonces LP α(β1 /A1 , . . . , βn /An ), para todo
(i) (α ∨ β) ↔ (β ∨ α), β1 , . . . , βn ∈ F LP y A1 , . . . , An ∈ V.
(j) (α ∧ β) ↔ (β ∧ α).
Definición 8. Sean α, β ∈ F LP . Se dice que α y β son
Leyes Asociativas semánticamente equivalentes si ê(α) = ê(β) para toda
evaluación e.
(k) (α ∨ (β ∨ δ)) ↔ ((α ∨ β) ∨ δ),
Teorema 2 (Principio de sustitución por equivalen-
(l) (α ∧ (β ∧ δ)) ↔ ((α ∧ β) ∧ δ).
tes). Sean α, β ∈ F LP semánticamente equivalentes y
Leyes Distributivas δ ∈ F LP . Si δ 0 es el resultado de sustituir algunas ocu-
rrencias de α por β en δ, entonces δ y δ 0 son semántica-
(m) (α ∧ (β ∨ δ)) ↔ ((α ∧ β) ∨ (α ∧ δ)), mente equivalentes.
(n) (α ∨ (β ∧ δ)) ↔ ((α ∨ β) ∧ (α ∨ δ)).
Leyes de De Morgan
1.3. Sintaxis
Definición 9. Un sistema axiomático para LP es el
(o) ¬(α ∨ β) ↔ (¬α ∧ ¬β),
constituido por los axiomas:
(p) ¬(α ∧ β) ↔ (¬α ∨ ¬β).
α → (β → α), (A1)
Leyes para → (α → (β → δ)) → ((α → β) → (α → δ)), (A2)
(p) (α → β) ↔ (¬β → ¬α) (Contrarrecı́proco), (¬α → ¬β) → ((¬α → β) → α). (A3)
(q) (α → (β → δ)) ↔ ((α ∧ β) → δ) (Ley de Hipótesis), y modus ponens (MP) como única regla de inferencia:
(r) (α → (β → δ)) ↔ (β → (α → δ)) (Conmutatividad α
de Hipótesis), α→β (MP)
(s) ¬(α → β) ↔ (α ∧ ¬β) (Negación implicación). β

Leyes para ↔ En el sistema axiomático para LP, también se consideran

las siguientes definiciones de conectivos:
(t) (α ↔ β) ↔ (β ↔ α) (Conmutativa),
α∧β es ¬(α → ¬β),
(u) (α ↔ (β ↔ δ)) ↔ ((α ↔ β) ↔ δ) (Asociativa),
α∨β es ¬α → β,
(v) ¬(α ↔ β) ↔ (¬α ↔ β) (Negación equivalencia). α↔β es (α → β) ∧ (β → α).

Definición 6. Sea α ∈ F LP y Σ ⊆ F LP . Definición 10. Sea Σ ∪ {α} ⊆ F LP . Una deducción

de α a partir de Σ es una sucesión finita de F LP
una evaluación e satisface a Σ si e satisface todos α1 , α2 , . . . , αn , tal que αn es α y para cada αi se cumple
los elementos de Σ (es decir, si ê(σ) = V para todo una de las siguientes condiciones:
σ ∈ Σ).
1. αi es un elemento de Σ,
α es consecuencia semántica de Σ, lo que se de-
2. αi es (un caso particular de) un axioma (A1)–(A3)
nota Σ LP α, si toda evaluación que satisface a
o
Σ también satisface a α. Si α no es consecuencia
semántica de Σ esto se denota Σ 2LP α. 3. αi es el resultado de aplicar (M P ) a fórmulas que
la preceden en la sucesión.
Convenciones de notación:
Se dice que α se deduce (se demuestra, se prueba o se
Si Σ es un conjunto finito {σ1 , . . . , σn }, se escribe sigue) de Σ, lo que se denota Σ `LP α, si existe una
σ1 , . . . , σn LP α en lugar de {σ1 , . . . , σn } LP α. deducción de α a partir de Σ. Los elementos de Σ son
llamados hipótesis y α es llamada conclusión. Si α no se
Se escribe Σ, α1 , . . . , αn LP β en lugar de Σ ∪
deduce de Σ esto se denota Σ 0LP α. Una deducción a
{α1 , . . . , αn } LP β.
partir del conjunto vacı́o es llamada demostración y la
Si Σ = ∅, se escribe LP α en lugar de ∅ LP α. formula demostrada es llamada teorema.

2
Convenciones de notación: similares a las que se tienen 2. Lógica de predicados o cuanti-
para LP .
ficacional (LC)
Proposición 4. `LP α → α (Identidad).
2.1. Lenguaje
Proposición 5. `LP (¬α → α) → α.
Un lenguaje de primer orden se define indicando los ele-
Proposición 6. α `LP β → α (Ad. antecedente).
mentos no comunes (constantes, sı́mbolos de función y
Proposición 7. α → β, β → δ `LP α → δ (Transitivi- sı́mbolos de predicado).
dad → ).
Definición 12. Dado un lenguaje de primer orden L, el
Proposición 8. conjunto de términos de L (Term(L)) se define recursi-
vamente ası́:
α `LP β ∨ α (Adjunción)
`LP α ∨ ¬α (Tercer excluı́do) Las variables x, x1 , x2 , y, y1 , y2 . . . y las constan-
α → (β → δ) `LP β → (α → δ) (Conm. hipótesis) tes de L son términos (atómicos) de L (es de-
cir, {x, x1 , x2 , y, y1 , y2 . . .} ⊆ T erm(L) y a ∈
`LP ¬¬α → α (Elim. doble negación) T erm(L), para toda constante a ∈ L).
`LP α → ¬¬α (Incl. doble negación)
Si t1 , . . . , tn ∈ T erm(L) y f ∈ L es un sı́mbolo de
¬α → ¬β `LP β → α (Contrarecı́proco)
función de aridad n, entonces f (t1 , . . . , tn ) es un
α → β `LP ¬β → ¬α (Contrarecı́proco) término (compuesto) de L (es decir, f (t1 , . . . , tn ) ∈
α ∨ β, α → δ, β → δ `LP δ (Disy. de casos) T erm(L)).
Teorema 3 (Teorema de la Deducción (TD)). Sea Σ ∪ Los únicos términos de L son las expresiones que
{α, β} ⊆ F LP . Si Σ, α `LP β, entonces Σ `LP α → β. se pueden obtener siguiendo los pasos anteriores
(un número finito de veces).
Proposición 9. `LP ¬α → (α → β).
Definición 11. Un conjunto Σ ⊆ F LP es inconsistente Convención de notación: para sı́mbolos de función f de
si existe α ∈ F LP tal que Σ `LP α y Σ `LP ¬α. aridad 2, se escribe (t1 f t2 ) en lugar de f (t1 , t2 ), y se
permite la eliminación de paréntesis externos.
Teorema 4. Si Σ ⊆ F LP es un conjunto inconsistente,
entonces Σ `LP β, para toda β ∈ F LP . Definición 13. Dado un lenguaje de primer orden L, el
conjunto de fórmulas de L (Form(L)) se define recursi-
Teorema 5 (Reducción al Absurdo (RA)). Sea Σ ∪
vamente ası́:
{α} ⊆ F LP . Si Σ ∪ {¬α} es inconsistente, entonces
Σ `LP α. Si t1 , . . . , tn ∈ T erm(L) y P ∈ L es un
Proposición 10 (Conjunción). α, β `LP α ∧ β. sı́mbolo de predicado de aridad n, entonces
P (t1 , . . . , tn ) es una fórmula (atómica) de L (es
decir, P (t1 , . . . , tn ) ∈ F orm(L)).
1.4. Validez y completitud
Si α, β ∈ F orm(L), entonces (¬α), (α ∨ β),
Teorema 6 (Validez débil). Sea α ∈ F LP . Si `LP α,
(α ∧ β), (α → β), (α ↔ β), ∀x(α), ∃x(α) (para
entonces LP α.
cualquier variable x) son fórmulas (compuestas)
Lema 1. Sea α ∈ F LP y V ar(α) = {A1 , . . . , An }. Dada de L.
una evaluación e, se define α0 como siendo α si ê(α) = V
Las únicas fórmulas de L son las expresiones que
y como siendo ¬α en caso contrario; y para 1 ≤ i ≤ n,
se pueden obtener siguiendo los pasos anteriores
se define A0i como siendo Ai si e(Ai ) = V y como siendo
(un número finito de veces).
¬Ai en caso contrario. Entonces A01 , . . . , A0n `LP α0 .
Teorema 7 (Completitud débil). Sea α ∈ F LP . Si Convenciones de notación:
LP α, entonces `LP α.
Para sı́mbolos de predicado P de aridad 2, se es-
Corolario 1 (Consistencia de LP). No existe α ∈ F LP cribe (t1 P t2 ) en lugar de P (t1 , t2 ).
tal que `LP α y `LP ¬α.
Se escribe (t1 6= t2 ) en lugar de ¬(t1 = t2 ).
Teorema 8 (Validez fuerte). Sea Σ ∪ {α} ⊆ F LP . Si
Σ `LP α, entonces Σ LP α. Se permite la eliminación de paréntesis desde que
no se genere ambigüedad.
Teorema 9 (Completitud fuerte). Sea Σ ∪ {α} ⊆ F LP .
Si Σ LP α, entonces Σ `LP α. Definición 14. Sea L un lenguaje de primer orden:

3
 El alcance de un cuantificador es la fórmula sobre Definición 19. Dada una evaluación e en un modelo
la cual se aplica el cuantificador (en ∀x(α) y ∃x(α), con dominio D y dado un elemento a ∈ D, la evaluación
el alcance de los cuantificadores es α). eax se define ası́:
Sea α ∈ F orm(L), una ocurrencia de una variable (
a a si v = x,
w en α es ligada (o acotada) si w está inmedia- ex (v) = (1)
tamente a la derecha de ∀ o ∃ (es decir, si w es e(v) en caso contrario.
la variable sobre la que se está cuantificando) o si
Definición 20. Sea L un lenguaje de primer orden y M
está en el alcance de un cuantificador ∀w o ∃w. En
un modelo para L, con dominio D. Bajo una asignación
caso contrario, la ocurrencia de w es libre.
e: V → D se define la función de asignación de valores
Una fórmula α ∈ F orm(L) es llamada cerrada si de verdad valeM : F orm(L) → {V, F } ası́:
no tiene ocurrencias de variables libres. Las fórmu-
Si α es una fórmula atómica Pj (t1 , . . . , tn ),
las cerradas también son llamadas sentencias.
valeM (α) = V si y solo si (ê(t1 ), . . . , ê(tn )) ∈ PjM .
Definición 15. Sea L un lenguaje de primer orden, valeM (¬β) = V si y solo si valeM (β) = F .
α ∈ F orm(L), t1 , . . . , tn ∈ T erm(L) y wi1 , . . . , win varia-
bles. Por α(t1 /w1 , . . . , tn /wn ) se denota la formula que valeM (β ∨ δ) = V si y solo si valeM (β) = V o
M
se obtiene al sustituir simultáneamente en α toda ocu- vale (δ) = V .
rrencia libre de la variable wi por el término ti , para valeM (β ∧ δ) = V si y solo si valeM (β) = V y
1 ≤ i ≤ n. valM (δ) = V . e
Definición 16. Sea L un lenguaje de primer orden y valeM (β → δ) = V si y solo si valeM (β) = F o
α ∈ F orm(L). Un término t ∈ T erm(L) es libre para valeM (δ) = V .
una variable w en α si en α(t/w) no se generan nuevas
valeM (β ↔ δ) = V si y solo si valeM (β) = valeM (δ).
ocurrencias de variables ligadas.
valeM (∀x(β)) = V si y solo si valeM
a (β) = V para
x

2.2. Semántica todo a ∈ D.

Definición 17. Sea L = {f1n1 , . . . , frnr , P1m1 , . . . , Psms , valeM (∃x(β)) = V si y solo si valeM
a (β) = V para
x

a1 , . . . , at } un lenguaje de primer orden, donde cada algún a ∈ D.

fini es un sı́mbolo de función de aridad ni , cada Pj j
es un sı́mbolo de predicado de aridad mj y cada ak
es una constante. Un modelo para L es una estructura
M = hD, f1M , . . . , frM , P1M , . . . , PsM , aM
1 , . . . , at i, don-
de:
D es un conjunto diferente del vacı́o, llamado do-
minio del modelo.
Cada fiM es una función de aridad ni en D (es
decir, fiM : Dni → D).
Cada PjM es una relación de aridad mj en D (es
decir, PjM ⊆ Dmj ).
Cada aM
k es un elemento de D.
Definición 18. Sea L un lenguaje de primer orden y M
un modelo para L, con dominio D. Denotando el conjun-
to de variables (individuales) por V, una asignación (o
evaluación) es cualquier función e: V → D.
Proposición 11. Toda asignación e: V → D puede ser
extendida a una única función ê: T erm(L) → D satisfa-
ciendo las condiciones:
ê(w) = e(w), para todo w ∈ V.
ê(ak ) = aM
k , para toda constante ak ∈ L.
ê(fi (t1 , . . . , tn )) = fiM (ê(t1 ), . . . , ê(tn )), para todo
sı́mbolo de función fi ∈ L, de aridad n.
m
Si V aleM (α) = V se dice que e satisface a α en M, y se
denota M, e LC α.
M Definición 21. Sea L un lenguaje de primer orden y M
un modelo para L. Se dice que una fórmula α ∈ F orm(L)
es verdadera en M (o que M es modelo de α), lo que se
denota M LC α, si M, e LC α para toda asignación e.
Definición 22. Sea L un lenguaje de primer orden,
M un modelo para L (con dominio D) y Σ ∪ {α} ⊆
F orm(L):
Una evaluación e: V → D satisface a Σ si e
satisface todos los elementos de Σ (es decir, si
V aleM (σ) = V para todo σ ∈ Σ).
α es consecuencia semántica de Σ en M, lo que se
denota Σ M α, si toda evaluación e: V → D que
satisface a Σ también satisface a α.
α es consecuencia semántica de Σ, lo que se denota
Σ LC α, si Σ M α en todo modelo M.
Si LC α, se dice que α es una fórmula lógicamente
válida (o una ley lógica).
Proposición 12. Sea L un lenguaje de primer orden y
α, β ∈ F orm(L):
1. LC ∀x(α ∧ β) ↔ (∀x(α) ∧ ∀x(β)).
2. 2LC ∃x(α ∧ β) ↔ (∃x(α) ∧ ∃x(β)).

4
Proposición 13. Proposición 14.
1. Todo caso particular de una tautologı́a es una 1. ∀w(α) `LC α(t/w), si t es libre para w en α (Par-
fórmula lógicamente válida. ticularización).
2. Si t es un término libre para x en α, entonces la 2. `LC ∀w(α) → α.
fórmula ∀x(α) → α(t/x) es lógicamente válida.
3. α(t/w) `LC ∃w(α), si t es libre para w en α (Gen.
3. Si w no aparece libre en α, entonces existencial).
∀w(α → β) → (α → ∀w(β)) es lógicamente váli-
da. 4. `LC α → ∃w(α).
4. Una fórmula α es lógicamente válida si y solo si 5. `LC ∀w(α) → ∃w(α).
∀w1 . . . ∀wn (α) es lógicamente válida.
6. α → β `LC ∀w(α) → ∀w(β).

2.3. Sintaxis 7. α ↔ β `LC ∀w(α) ↔ ∀w(β).

Definición 23. Un sistema axiomático para LC es el 8. α → β `LC ∃w(α) → ∃w(β).

constituido por los axiomas: 9. α ↔ β `LC ∃w(α) ↔ ∃w(β).
α → (β → α); (A1) Teorema 10 (Teorema de la Deducción (TD)). Sea L
(α → (β → δ)) → ((α → β) → (α → δ)); (A2) un lenguaje de primer orden y Σ ∪ {α, β} ⊆ F orm(L).
(¬α → ¬β) → ((¬α → β) → α); (A3) Si Σ, α `LC β y en la deducción no se usa (Gen) sobre
variables libres de α, entonces Σ `LC α → β.
∀w(α) → α(t/w), si t es libre para w en α; (A4)
∀w(α → β) → (α → ∀w(β)), si w no Corolario 2. Sea L un lenguaje de primer orden y
aparece libre en α. (A5) Σ∪{α, β} ⊆ F orm(L). Si Σ, α `LC β y α es una fórmula
cerrada, entonces Σ `LC α → β.
y las reglas de inferencia:
Proposición 15.
Modus Ponens (MP) Generalización (Gen)
α α 1. `LC ∀w∀v(α) ↔ ∀v∀w(α) (Conmut. ∀).
α→β ∀w(α)
2. `LC ∀w(α → β) → (∀w(α) → ∀w(β)).
β
3. `LC ∀w(α → β) → (∃w(α) → ∃w(β)).
En el sistema axiomático para LC, también se consideran
las siguientes definiciones de conectivos: Definición 25. Sea L un lenguaje de primer orden,
α ∧ β es ¬(α → ¬β), un conjunto Σ ⊆ F orm(L) es inconsistente si existe
α ∨ β es ¬α → β, α ∈ F orm(L) tal que Σ `LC α y Σ `LC ¬α.
α↔β es (α → β) ∧ (β → α), Teorema 11. Sea L un lenguaje de primer orden y
∃w(α) es ¬∀w(¬α). Σ ⊆ F orm(L). Si Σ es inconsistente, entonces Σ `LC α,
Definición 24. Sea L un lenguaje de primer orden y para toda α ∈ F orm(L).
Σ ∪ {α} ⊆ F orm(L). Una deducción de α a partir de
Teorema 12 (Reducción al Absurdo (RA)). Sea L un
Σ es una sucesión finita de fórmulas α1 , α2 , . . . , αn ∈
lenguaje de primer orden y Σ∪{α} ⊆ F orm(L). Si existe
F orm(L), tal que αn es α y para cada αi se cumple una
β ∈ F orm(L) tal que Σ, ¬α `LC β ∧ ¬β y en la deduc-
de las siguientes condiciones:
ción no se usa (Gen) sobre variables libres de α, entonces
1. αi es un elemento de Σ, Σ `LC α.
2. αi es (un caso particular de) un axioma (A1)–(A5)
Teorema 13 (Principio de sustitución por equivalentes).
o
Sea L un lenguaje de primer orden y α, β, δ ∈ F orm(L).
3. αi es el resultado de aplicar (M P ) o (Gen) a Si `LC α ↔ β y δ 0 es el resultado de sustituir algunas
fórmulas que la preceden en la sucesión. ocurrencias de α por β en δ, entonces `LC δ ↔ δ 0 .
Se dice que α se deduce (se demuestra, se prueba o se
Proposición 16.
sigue) de Σ, lo que se denota Σ `LC α, si existe una
deducción de α a partir de Σ. Los elementos de Σ son 1. `LC ∀x(α → β) → (∃x(α) → β), si x no aparece
llamados hipótesis y α es llamada conclusión. Si α no se libre en β.
deduce de Σ esto se denota Σ 0LC α. Una deducción a
2. `LC ∀x(α) ↔ α, si x no aparece libre en α.
partir del conjunto vacı́o es llamada demostración y la
formula demostrada es llamada teorema lógico. 3. `LC ¬∀x(α) ↔ ∃x(¬α).

5
 4. ∀x(α → ¬β) ↔ ¬∃x(α ∧ β).
5. `LC ∀x(α) ↔ ∀w(α(w/x)), si w no aparece en α.
Definición 26. La regla C consisten en pasar de una
fórmula ∃w(α) a α(c/w), donde c es una constante. Una
deducción en la que se usa el método de escogencia es una
deducción en la que se usa la regla C bajo las siguientes
condiciones:
1. Al aplicar la regla C, la constante c utilizada debe
ser una nueva constante, que no es una constante
del lenguaje ni aparece antes en la deducción.
2. Después de aplicar regla C sobre ∃w(α), no se pue-
de aplicar (Gen) sobre variables libre de ∃w(α).
3. La regla C se puede aplicar varias veces, pero en
cada aplicación se debe usar una constante dife-
rente.
4. La conclusión de la deducción no puede contener
las constantes introducidas por regla C.
Teorema 14 (Método de escogencia). Sea L un lengua-
je de primer orden y Σ ∪ {α} ⊆ F orm(L). Si α se deduce
de Σ usando el método de escogencia, entonces Σ `LC α.
Proposición 17. ∃x(α ∧ β) `LC (∃x(α) ∧ ∃x(β)).
La lógica de primer orden con igualdad (LC= ) se obtiene
al adicionar a LC los axiomas:
∀x(x = x); (A6)
0 0
x = y → (α → α ), si α es el resultado de
sustituir algunas ocurrencias libres de x por y
en α, sin generar nuevas variables ligadas. (A7)
Proposición 18. Sea L un lenguaje de primer orden,
con =∈ L (sı́mbolo de predicado de aridad 2) y sean
t, r, s ∈ T erm(L):
1. `LC = t = t.
2. `LC = ∀x∀y(x = y → y = x).
3. `LC = t = s → s = t.
4. `LC = ∀x∀y∀z((x = y ∧ y = z) → x = z).
5. `LC = (t = s ∧ s = r) → t = r.
Teorema 15 (Principio de sustitución por iguales).
Sea L un lenguaje de primer orden, t, s ∈ T erm(L) y
α ∈ F orm(L). Si α0 es el resultado de sustituir algunas
ocurrencias de t por s en α, sin generar nuevas variables
ligadas, entonces `LC = t = s → (α ↔ α0 ).
Proposición 19. Sea L un lenguaje de primer orden,
t ∈ T erm(L) y α ∈ F orm(L). Si x no aparece en
t y t es libre para x en α, entonces `LC = ∃x(x =
t ∧ α) ↔ α(t/x) y `LC = ∀x(x = t → α) ↔ α(t/x).
2.4. Validez y completitud
Teorema 16 (Validez débil). Sea L un lenguaje de pri-
mer orden y α ∈ F orm(L). Si `LC α, entonces LC α.
Teorema 17 (Completitud débil). Sea L un lenguaje
de primer orden y α ∈ F orm(L). Si LC α, entonces
`LC α.
Corolario 3 (Consistencia de LC). Sea L un lenguaje
de primer orden, no existe α ∈ F orm(L) tal que `LC α
y `LC ¬α.
Teorema 18 (Validez fuerte). Sea L un lenguaje de pri-
mer orden y Σ ∪ {α} ⊆ F orm(L). Si Σ `LC α y todos
los elementos de Σ son sentencias, entonces Σ LC α.
Teorema 19 (Completitud fuerte). Sea L un lenguaje
de primer orden y Σ ∪ {α} ⊆ F orm(L). Si Σ LC α,
entonces Σ `LC α.