Lenguajes de primer órden - Lógica de predicados

Ignacio Badell
Junio de 2021

Estas notas son un resumen de lo visto en el curso de Lógica de la facultad de ingenierı́a sobre
lenguajes de Primer Orden - Lógica de predicados, y lo visto en el libro Logic and Structure de Dirk
Van Dalen.

1
1 Sintaxis de lenguajes de primer orden

Definición 1.1 ( Estructura )

Una estructura es una secuencia ordenada

M = hU, R1 , ..., Rn , F1 , ..., Fm , {ci : 1 ≤ i ≤ k}i

tal que,
· U es un conjunto no vacı́o (Notación U = |M |)
· R1 , ..., Rn son relaciones sobre U (n ≥ 0)
· F1 , ..., Fm son funciones en U (m ≥ 0)

Observación.

Las funciones Fi son totales es decir definidas para todo el dominio

Definición 1.2 ( Tipo de similaridad )

El tipo de similaridad de hU, R1 , ..., Rn , F1 , ..., Fn , {ci : 1 ≤ i ≤ k}i es una secuencia

hr1 , ...., rn ; a1 , ..., am ; ki

tal que,
· Ri ⊆ U ri (1 ≤ i ≤ n y ri ≥ 0)
· Fj : U aj → U (1 ≤ j ≤ n y aj ≥ 0)
· k = |{ci : 1 ≤ i ≤ k}| (cardinalidad del conjunto)

Definición 1.3 ( Lenguajes del tipo de similaridad )

El alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki para un lenguaje de primer orden consta de los siguientes
sı́mbolos:

· Sı́mbolos de relación: P1 , ..., Pn , =

˙
· Sı́mbolos de función: f1 , ..., fm
· Sı́mbolos de constantes: ci , 1 ≤ i ≤ k
· Variables: x0 , x1 , x2 , ...
· Conectivos: →, ↔, ¬, ∨, ∧, ⊥
· Cuantificadores ∀, ∃
· Auxiliares: ( )

2
Definición 1.4 ( Términos )
Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki. El conjunto TERMA de los términos del lenguaje de
primer orden con alfabeto A se define inductivamente por:

· xi ∈ TERMA (i ∈ N)

· ci ∈ TERMA (1 ≤ i ≤ k)
· si t1 , ..., tai ∈ TERMA ⇒ fi (t1 , ..., tai ) ∈ TERMA

Definición 1.5 ( Fórmulas )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki. El conjunto FORMA de las fórmulas del lenguaje de
primer orden con alfabeto A se define inductivamente por:

· ⊥ ∈ FORMA
· t1 , ..., tri ∈ TERMA ⇒ Pi (t1 , ..., tri ) ∈ FORMA
· t1 , t2 ∈ TERMA ⇒ t1 =
˙ t2 ∈ FORMA

· α, β ∈ FORMA ⇒ (α ∗ β) ∈ FORMA
· α ∈ FORMA ⇒ (¬α) ∈ FORMA
· α ∈ FORMA ⇒ ((∀xi )α) ∈ FORMA
· α ∈ FORMA ⇒ ((∃xi )α) ∈ FORMA

Observación.

Reglas de parentización
· Las reglas de precedencia de conectivos son las mismas que para P ROP
· Conectivos de igual procedencia se asocian a la derecha.

· Cuantificadores: El ∀ y el ∃ tienen igual precedencia que el ¬

3
1.1 Conjuntos notables

Definición 1.6 ( Variables )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki
[VarA ] es el conjunto de las variables de A

VarA = {xi : i ∈ N}

Definición 1.7 ( Constantes )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki
[ConstA ] es un conjunto de los sı́mbolos de constante de A

ConstA = {ci : 1 ≤ i ≤ k}

Definición 1.8 ( Formulas atómicas )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki
[ATA ] es el conjunto de fórmulas de FORMA que se obtienen con las cláusulas base

ATA = {⊥, Pj (t1 , ...trj ), t1 =t

˙ 2 , ...}

1.2 Esquemas y principios sobre lenguajes de primer orden

Definición 1.9
)
Principio de inducción primitiva para TERMA
Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki
Sea P una propiedad sobre TERMA . Si se cumple
¯ ∈ VarA
1. P(x) ∀x
¯ ∈ ConstA
2. P(x) ∀x
¯ ∈ {1, ..., m}
3. P(t1 ), ..., P(tai ) ⇒ P(fi (t1 , ..., tai )) ∀i
¯ ∈ TERMA )P(t)
Entonces se cumple (∀t

Definición 1.10 ( Principio de inducción primitiva para FORMA )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki
Sea P una propiedad sobre FORMA . Si se cumple
¯ ∈ AT
1. P(α) ∀α
2. P(α) y P(β) ⇒ P((α ∗ β)) (∗ ∈ {→, ↔, ∧, ∨})
3. P(α) ⇒ P(¬α)
¯ ∈ Var
4. P(α) ⇒ P(((∀x)α)) ∀x
¯ ∈ Var
5. P(α) ⇒ P(((∃x)α)) ∀x

4
 ¯ ∈ FORMA )P(α)
Entonces se cumple (∀α

Definición 1.11 ( Esquema de recursión primitiva para TERMA )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki,
sean las siguientes funciones:
· Hb : VarA ∪ ConstA → B

· Hi : (TERM × B)ai → B, con i ∈ {1, ..., m}

Entonces existe una única función F : TERMA → B tal que:
· F (t) = Hb (t) si t ∈ Var∪A
· F (fi (t1 , ..., tai )) = Hi (t1 , F (t1 ), ..., tai , F (tai ))

Definición 1.12 ( Esquema de recursión primitiva para FORMA )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki
Sean las siguientes funciones:
· HAT : ATA → B
· H∗ : (FORMA × B)2 → B (∗ ∈ {→, ↔, ∧, ∨})

· H¬ : FORMA × B → B
· H∀ : VarA × FORMA × B → B
· H∃ : VarA × FORMA × B → B
Entonces existe una única función F : FORMA → B tal que:

· F (α) = HAT (α) si α ∈ AT

· F ((α ∗ β)) = H∗ (α, F (α), β, F (β))
· F ((¬α)) = H¬ (α, F (α)

· F (((∀x)α)) = H∀ (x, α, F (α))

· F (((∃x)α)) = H∃ (x, α, F (α))

5
1.3 Otras definiciones

Definición 1.13 ( Alcance o radio de accioón )

Sea x ∈ Var, α ∈ FORM
· El alcance del cuantificador ∀x en la fórmula ((∀x)α) es la fórmula α
· El alcance del cuantificador ∃x en la fórmula ((∃x)α) es la fórmula α

Definición 1.14 ( Ocurrencias libres y ligadas )

Sea x ∈ Var, α ∈ FORM
Una ocurrencia de una variable x en α está ligada si se encuentra bajo alcance de un cuantificador
∀x o ∃x, o si es la variable de un cuantificador ∀x o ∃x.
Si una ocurrencia de una variable x no está ligada en α, se dice que es una ocurrencia libre.

Definición 1.15 ( Variables libres y ligadas )

Sea x ∈ Var, α ∈ FORM

· Una variable x está ligada en α si x tiene alguna ocurrencia ligada en α

· Una variable x está libre en α si x tiene alguna ocurrencia libre en α

Observación.

· Una ocurrencia de variable en una fórmula está o bien libre o bien ligada (No ambas)
· Una variable puede estar libre y ligada en una misma fórmula.

6
Definición 1.16 ( Conjunto de variables libres de un término )
Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki, definimos

FV : TERMA → Var recursivamente en TERMA :

· FV(x) = {x} si x ∈ Var

· FV(ci ) = ∅
· FV(fi (t1 , ..., tai )) = FV(t1 ) ∪ ... ∪ FV(tai )

Definición 1.17 ( Conjunto de variables libres de una fórmula )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki, definimos

FV : FORMA → Var recursivamente en FORMA :

· FV(⊥) = ∅
· FV(Pi (t1 , ..., tri )) = FV(t1 ) ∪ ... ∪ FV(tri )
· FV(t1 =t
˙ 2 ) = FV(t1 ) ∪ FV(t2 )
· FV((α ∗ β)) = FV(α) ∪ FV(β)

· FV((¬α)) = FV(α)
· FV(((∀x)α)) = FV(α) − {x}
· FV(((∃x)α)) = FV(α) − {x}

Definición 1.18 ( Conjunto de variables ligadas )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki, definimos

BV : FORMA → 2Var recursivamente en FORMA :

· BV(⊥) = ∅
· BV(Pi (t1 , ..., tri )) = ∅

· BV(t1 =t
˙ 2) = ∅
· BV((α ∗ β)) = BV(α) ∪ BV(β)
· BV((¬α)) = BV(α)
· BV(((∀x)α)) = BV(α) ∪ {x}

· BV(((∃x)α)) = BV(α) ∪ {x}

7
Definición 1.19 ( Términos y fórmulas cerradas )
Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki
· Un término t es cerrado si FV(t) = ∅
· Una fórmula α es cerrada si FV(α) = ∅
También se dice en este caso que α es unfa sentencia

· Una fórmula α es abierta si no tiene cuantificadores.

Notación
· TERMCA = {t ∈ TERMA : t es cerrado}

· SENTA = {α ∈ FORMA : α es cerrada}

Definición 1.20 ( Sustitución de términos en términos )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki, s, t ∈ TERMA y xj ∈ Var.
Se define s[t/xj ] del siguiente modo:

· xi [t/xj ] = t si (i = j) sino xi

· ci [t/xJ ] = ci
· fi (t1 , ..., tai )[t/xj ] = f (t1 [t/xj ], ..., tai [t/xj ])

Definición 1.21 ( Sustitución de variables por términos en fórmulas )

Sea A el alfabeto de tipo hr1 , ..., rn ; a1 , ..., am ; ki, t ∈ TERMA , xj ∈ Var, α ∈ FORMA .

Se define α[t/xj ] del siguiente modo:

· ⊥[t/xj ] = ⊥

· Pj (t1 , ..., trj )[t/xj ] = Pj (t1 [t/xj ], ..., trj [t/xj ])

· t1 =t
˙ 2 [t/xj ] = t1 [t/xj ]=t
˙ 2 [t/xj ]
· (α ∗ β)[t/xj ] = α[t/xj ] ∗ β[t/xj ]
· (¬α)[t/xj ] = (¬α[t/xj ])
(
((∀xi )α[t/xj ]) si i 6= j
· (∀xi )α)[t/xj ] =
((∀xi )α si x = j
(
6 j
((∃xi )α[t/xj ]) si i =
· (∃xi )α)[t/xj ] =
((∃xi )α si x = j

8
Definición 1.22 ( Término libre para una variable en una fórmula )
Sean t ∈ TERM, φ ∈ FORM t está libre para x en φ si se cumple alguna de las siguientes:

1. φ es atómica
2. φ = φ1 ∗ φ2 y t está libre para x en φ1 y en φ2

3. φ = ¬φ1 y t está libre para x en φ1

4. φ = ((∀y)φ1 ) y se cumple una de las siguientes
(a) x ∈
/ FV(((∀y)φ1 ))
(b) x ∈
/ FV(t) y t está libre para x en φ1

5. φ = ((∃y)φ1 ) y se cumple una de las siguientes

(a) x ∈
/ FV(((∃y)φ1 ))
(b) x ∈
/ FV(t) y t está libre para x en φ1

Observación.

t está libre para x en φ si sustituyo x por t y todas las ocurrencias que antes estaban libres siguen
estando
Solo se aplica la sustitución φ[t/x] si t está libre para x en φ

Definición 1.23 ( Simbolo de predicado )

Se agrega a la definición de FORM una cláusula más:

· $ ∈ FORM ($ es una variable de fórmula, se usa como comodı́n para sustituir una fórmula en otra).

Definición 1.24 ( Fórmula libre para $ )

Sean α, φ ∈ FORM, φ está libre para $ en α si se cumple alguna de las siguientes condiciones:

1. α es atómica
2. α = α1 ∗ α2 y φ está libre para $ en α1 y en α2

3. α = ¬α1 y φ está libre para $ en α1

4. α = ((∀y)α) y se cumple una de las siguientes
(a) $ no ocurre en α1
(b) x ∈
/ FV(φ) y φ está libre para $ en α1

5. α = ((∃y)α) y se cumple una de las siguientes

(a) $ no ocurre en α1
(b) x ∈
/ FV(φ) y φ está libre para $ en α1

9
Definición 1.25 ( Sustitución de fórmulas en fórmulas )
Sean α, φ ∈ FORM tal que φ está libre para $ en α.
Definimos α[φ/$] recursivamente en α:

• si α es atómica α[φ/$] = α si α 6= φ sino φ

• (α1 ∗ α2 )[φ/$] = (α1 [φ/$] ∗ α2 [φ/$])

• (¬α1 )[φ/$] = (¬α1 [φ/$])
• ((∀x)α1 )[φ/$] = ((∀x)(α1 [φ/$]))
• ((∃x)α1 )[φ/$] = ((∃x)(α1 [φ/$]))

10
2 Semántica de lenguajes de primer orden

Definición 2.1 ( Lenguaje extendido para una estructura )

Sea M una estructura

El lenguaje extendido para M denotado L (M ) se obtiene del lenguaje L de tipo M agregando sı́mbolo
de constante para todos los elementos de |M |
Al sı́mbolo de constante asociado a a ∈ M lo denotamos ā

Definición 2.2 ( Interpretación de términos cerrados de L (M ) en M )

Sea M = hR1 , ..., Rn , F1 , ..., Fm , {Ci |1 ≤ i ≤ k}i de tipo hri , ..., rn ; fi , ...fm ; ki
La interpretación de los términos cerrados de L (M ) en M es la función
M
: T ERMC → |M | definida:
· cM ¯
i = ci ∀1 ≤ i ≤ k

· āM = a ∀a
¯ ∈M

· fi (t1 , ..., tai )M = Fi (t1 , ..., tai ), i ∈ {1, ..., m}

Definición 2.3 ( Interpretación de las sentencias de L (M ) en M )

Sea M = hR1 , ..., Rn , F1 , ..., Fm , {Ci |1 ≤ i ≤ k}i de tipo hri , ..., rn ; fi , ...fm ; ki
La interpretación de las sentencias de L (M ) en M es la función
v M : SENT → {0, 1} definida:
(
1 si tM M
1 = t2
· v M (t1 =t
˙ 2) = M
0 si t1 6= tM2
(
1 si htM M
1 , ..., trj i ∈ Rj
· v M (Pj (t1 , ..., trj )) =
0 si htM 1 , ..., t M
rj i ∈
/ Rj

· v M (⊥) = 0

· v M ((¬α)) = 1 − vM ( α)
· v M ((α ∧ β)) = min{v M (α), v M (β)}
· v M ((α ∨ β)) = max{v M (α), v M (β)}

· v M ((α → β)) = max{1 − v M (α), v M (β)}

· v M ((α ↔ β)) = 1 ⇔ v M (α) = v M (beta)
· v M ((∀x)α) = min{v M (α[ā/x])|a ∈ |M |}
· v M ((∃x)α) = max{v M (α[ā/x])|a ∈ |M |}

11
2.1 Consecuencia semántica

Definición 2.4 ( Clausura universal de una fórmula. )

Sean α ∈ FORM y F V (α) = {z1 , ..., zk }
cl(α) = (∀z1 )...(∀zk )α

Definición 2.5 ( Uso de |= )

Sea α ∈ SENT, ∆ ⊆ SENT, β ∈ FORM, Γ ⊆ FORM

• M |= α ⇔ v M (α) = 1
• M |= β ⇔ v M (cl(β)) = 1
¯ ∈Γ
• M |= Γ ⇔ M |= ϕ ∀ϕ
¯
• |= β ⇔ ∀M (de tipo adecuado) M |= β
¯
• ∆ |= α ⇔ ∀M (de tipo adecuado) M |= ∆ ⇒ M |= α

Nomenclatura ( |= )
1. M es modelo de α si M |= α
2. M es modelo de Γ si M |= Γ
3. α es verdadera si |= α
4. α es consecuencia semántica de Γ si Γ |= α
5. α es satisfecha por a1 , ..., ak ∈ M si M |= α[ā1 , ..., āk /z1 , ..., zk ](con FV(α) = {z1 , ..., zk })
6. α es satifacible en M si existen a1 , ..., ak ∈ |M | que la satisfacen
7. α es satifacible si existe algún M tal que α es satisfacible en M

Lema 2.6 (Propiedades de |= (2.4.5)1 )

Sean α, β ∈ SENT, γ ∈ FORM, F V (γ) ⊆ {x} ,

M |= (α ∧ β) ⇔ M |= α y M |= β
M |= (α ∨ β) ⇔ M |= α o M |= β
M |= (¬α) ⇔ M 6|= α
M |= (α → β) ⇔ (M |= α ⇒ M |= β)
M |= (α ↔ β) ⇔ (M |= α ⇔ M |= β)
¯ a ∈ |M |, M |= γ[ā/x]
M |= (∀x)γ ⇔ ∀
¯ a ∈ |M |, M |= γ[ā/x]
M |= (∃x)γ ⇔ ∃

1 Ası́ esta definido en las notas del curso, y hay que aplicarlo nombrńdolo ası́

12
Lema 2.7 (Propiedades de |= (contrarecı́procos))
Sean α, β ∈ SENT ,

M 6|= (α ∧ β) ⇔ M 6|= α o M 6|= β

M 6|= (α ∨ β) ⇔ M 6|= α y M 6|= β
M 6|= (¬α) ⇔ M |= α

M 6|= (α → β) ⇔ (M |= α y M 6|= β)
M 6|= (α ↔ β) ⇔ (M 6|= α ⇔ M |= β)
¯ a ∈ |M |, M 6|= α[ā/x]
M 6|= (∀x)α ⇔ ∃
¯ a ∈ |M |, M 6|= α[ā/x]
M 6|= (∃x)α ⇔ ∀

13
2.2 Equivalencias

Definición 2.8 ( eq )
Dados α, β ∈ FORM
α eq β ⇔ |= α ↔ β

Teorema Leyes de Morgan Generalizadas

( Hipótesis. )
Sea α ∈ FORM
( Tesis. )

¬(∀x)α eq (∃x)¬α
¬(∃x)α eq (∀x)¬α
(∀x)α eq ¬(∃x)¬α
(∃x)α eq ¬(∀x)¬α

Observación.

No hay ninguna suposición sobre las fórmulas involucradas, por lo que se asume que pueden tener
variables libres. Esto hace que se deba hacer las clausuras antes de comenzar a hacer demostraciones
(de equivalencias).

Lema 2.9 (Orden de los cuantificadores)

x, y ∈ FORM,

(∀x)(∀y)α eq (∀y)(∀x)α
(∃x)(∃y)α eq (∃y)(∃x)α
(∀x)α eq α, si x ∈
/ F V (α)
(∃x)α eq α, si x ∈
/ F V (α)

Teorema Cambio de variables

( Hipótesis. )
Sean x, z tales que x, z ∈
/ FV(α)
( Tesis. )

(∀x)α[x/y] eq (∀z)α[z/y]
(∃x)α[x/y] eq (∃z)α[z/y]

14
Teorema Distirbutividad generalizada
( Hipótesis. )
Sean α, β ∈ FORM
( Tesis. )

(∀x)(α ∧ β) eq (∀x)α ∧ (∀x)β

(∃x)(α ∨ β) eq (∃x)α ∨ (∃x)β
(∀x)(α ∨ β) eq (∀x)α ∨ β si x ∈
/ FV(β)
(∃x)(α ∧ β) eq (∃x)α ∧ β si x ∈
/ FV(β)
(∀x)(α → β) eq (∃x)α → β si x ∈
/ FV(β)
(∃x)(α → β) eq (∀x)α → β si x ∈
/ FV(β)
(∀x)(α → β) eq α → (∃x)β si x ∈
/ FV(α)
(∃x)(α → β) eq α → (∀x)β si x ∈
/ FV(α)

Lema 2.10 (Distributividad generalizada)

Sean α, β ∈ FORM ,

|= (∀x)α ∨ (∀x)β → (∀x)(α ∨ β)

|= (∃x)α ∧ β → (∃x)α ∧ (∃x)β

Observación.

De estas propiedades anteriores no se cumple el reciproco

15
Definición 2.11 ( Equivalencias heredadas de PROP )
Sean α, β, ϕ, ψ, σ ∈ FORM

· (Asociatividad)
(ϕ ∨ ψ) ∨ σ eq ϕ ∨ (ψ ∨ σ)
(ϕ ∧ ψ) ∧ σ eq ϕ ∧ (ψ ∧ σ)

· (Conmutatividad)
ϕ ∨ ψ eq ψ ∨ ϕ
ϕ ∧ ψ eq ψ ∧ ϕ
· (Distributividad)
ϕ ∨ (ψ ∧ σ) eq (ϕ ∨ ψ) ∧ (ϕ ∨ σ)
ϕ ∧ (ψ ∨ σ) eq (ϕ ∧ ψ) ∨ (ϕ ∧ σ)
· (Neutro)
ϕ ∨ ⊥ eq ϕ
ϕ ∧ ¬⊥ eq ϕ

· (Absorción)
ϕ ∨ ¬⊥ eq ¬⊥
ϕ ∧ ⊥ eq ⊥
· (Leyes de morgan)
¬(ϕ ∨ ψ) eq ¬ϕ ∧ ¬ψ
¬(ϕ ∧ ψ) eq ¬ϕ ∨ ¬ψ
· (Idempotencia)
ϕ ∨ ϕ eq ϕ
ϕ ∧ ϕ eq ϕ

· (Doble negación)
¬¬ϕ eq ϕ
· (Tercero excluido)
ϕ ∨ ¬ϕ eq ¬⊥
· (Si y solo si)
α ↔ β eq α → β ∧ β → α
· (Implica)
α → β eq ¬α ∨ β
· (Or con implica)
α ∨ β eq ¬α → β
· (Or con and)
α ∨ β eq ¬(¬α ∧ ¬β)
· (Conjunción)
α ∧ β eq ¬(¬α ∨ ¬β)

· (Negación)
¬α eq α → ⊥
· (Bottom)(Principio de no cotnradicción)
⊥ eq α ∧ ¬α

· (Contrarecı́proco)
α → β eq ¬α → ¬β
· (Conmutativa del ssi)
α ↔ β eq β ↔ α

16
Propiedades de la sustitución

1. Si z ∈
/ FV(t) entonces t[c/x] = t[z/x][c/z
2. Si z no ocurre en α entonces α[c/x] = α[z/x][c/z]
3. Sea t libre para x en α, y β, y β libre para $ en α. Entonces,
α[β/$][t/x] = α[t/x][β[t/x]/$]

Teorema Sustitución
( Hipótesis. )
Sean
s, t, t0 ∈ TERM

α, β, ϕ ∈ FORM
t y t0 estń libres para x en α
α y β estan libres para $ en ϕ
( Tesis. )

˙ 0 → s[t/x]=s[t
|= t=d ˙ 0 /x]
˙ 0 → α[t/x]=α[t
|= t=d ˙ 0
/x]
|= (α ↔ β) → ϕ[α/$] ↔ ϕ[β/$]

Otra propiedad
Sean α, β, ϕ ∈ FORM tales que
|= α ↔ β ⇒|= ϕ[α/$] ↔ ϕ[β/$]

Observación.

En la propiedad anterior no importa si α y β estan libres para $ en ϕ

Definición 2.12 ( Forma normal prenexa )

Sea α ∈ FORM
Decimos que α está en forma (normal) prenexa sii α es una fórmula abierta precedida de cero o mas
cuantificadores.

Teorema Existencia de forma normal prenexa

( Hipótesis. )
α ∈ FORM
( Tesis. )

17
 ¯ β, tal que β esta en forma normal prenexa
∃
α eq β

Definición 2.13 ( Relativización de un cuantificador )

Sea P un simbolo de predicado unario, entonces

¯ ∈ P )ϕ := ∀x(P (x) → ϕ)
· (∀x
¯ ∈ P )ϕ := (∃x)(P (x) ∧ ϕ)
· (∃x

Definición 2.14 ( Axiomas de identidad )

I1 ∀x(x = x)
I2 ∀x∀y(x = y → y = x)
I3 ∀x∀y∀z((x = y ∧ y = z) → x = z)
V
V
I4 ∀x1 ...∀xn ∀y1 ...∀yn (V
Vi≤n xi = yi → t(xi , ..., xn ) = t(y1 , ..., yn ))
∀x1 ...∀xn ∀y1 ...∀yn ( i≤n xi = yi → ϕ(xi , ..., xn ) = ϕ(y1 , ..., yn ))

· Los axiomas I1 , I2 , I3 dicen que la identidad es una relación de equivalencia.

· El axioma I4 dice que la identidad es congruente con respecto a todas las relaciones (definibles)
· Se puede demostrar que para toda estructura M, la identidad cumple:

M |= {I1 , I2 , I3 , I4 }

18
 3 Deducción natural en lenguajes de primer orden

Definición 3.1 ( DERP )

El conjunto DERP de las derivaciones de la lógica de lenguajes de primer orden se define como sigue:

(P B) Si ϕ ∈ FORM, entonces ϕ ∈ DERP

(RI1) Sea t ∈ TERM
RI1 ∈ DERP
t=t
˙
(RI2) Sea t, s ∈ TERM
t=s
˙
RI2 ∈ DERP
s=t
˙
(RI13) Sea t, s, r ∈ TERM
t=s
˙ s=r
˙
RI3 ∈ DERP
t=r
˙
¯ ∈ [1...n], ti , si estan libres para zi en ϕ
(RI14) Sea t1 , ..tn , s1 , .., sn , ∈ TERM, z1 , .., zn ∈ Var ϕ ∈ FORM ∗ ∀i
t1 =s
˙ 1 ... tn =s
˙ n
RI4 ∈ DERP
t[t1 , ..., tn /z1 , ..., zn ]=t[s
˙ 1 , ..., sn /z1 , ..., zn ]

t1 =s
˙ 1 ... tn =s
˙ n ϕ[t1 , ..., tn /z1 , ..., zn ]
RI4∗ ∈ DERP
ϕ[s1 , ..., sn /z1 , ..., zn ]
D D0
(I∧) ∈ DERP y ∈ DERP , entonces
ϕ ψ
D D0
ϕ ψ ∈ DERP
I∧
ϕ∧ψ

D
(E∧1 ) ∈ DERP , entonces
ϕ∧ψ
D
ϕ∧ψ ∈ DERP
E∧1
ϕ
D
(E∧2 ) ∈ DERP , entonces
ϕ∧ψ
D
ϕ∧ψ ∈ DERP
E∧2
ψ
ϕ
(I→) D ∈ DERP , entonces
ψ
[ϕ]
D
ψ ∈ DERP
I→
ϕ→ψ
D D0
(E→) ∈ DERP y ∈ DERP , entonces
ϕ→ψ ϕ
D D0
ϕ→ψ ϕ ∈ DERP
E→
ψ

19
 D
(I∨1 ) ∈ DERP , entonces
ϕ
D
ϕ ∈ DERP
I∨1
ϕ∨ψ
D
(I∨2 ) ∈ DERP , entonces
ψ
D
ψ ∈ DERP
I∨2
ϕ∨ψ
ϕ ψ
D
(E∨) ∈ DERP , D0 ∈ DERP , D00 ∈ DERP , entonces
ϕ∨ψ γ γ

[ϕ] [ψ]
D
D0 D00 ∈ DERP
ϕ∨ψ γ γ
γ E∨

ϕ ψ
(I↔) D ∈ DERP D0 ∈ DERP , entonces
ψ ϕ

[ϕ] [ψ]
D D0
ψ ϕ ∈ DERP
I↔
ϕ↔ψ

D D0
(E↔1 ) ∈ DERP ∈ DER, entonces
ϕ↔ψ ϕ

D D0
ϕ↔ψ ϕ ∈ DERP
E ↔1
ψ

D D0
(E↔2 ) ∈ DERP ∈ DERP , entonces
ϕ↔ψ ψ

D D0
ϕ↔ψ ψ ∈ DERP
E ↔2
ϕ

ϕ
(I¬) D ∈ DERP , entonces
⊥
[ϕ]
D ∈ DER
⊥
¬ϕ I¬

D D0
(E¬) ∈ DERP ∈ DERP , entonces
¬ϕ ϕ
D D0
¬ϕ ϕ ∈ DERP
E¬
⊥

20
 D
(E⊥) ∈ DERP , entonces
⊥
D
⊥ ∈ DER
ϕ E⊥
¬ϕ
(RAA) D ∈ DERP , entonces
⊥
[¬ϕ]
D ∈ DERP
⊥
ϕ RAA

ϕ
(I∀) ∈ DERP , y x ∈
/ FV(H(D)) (hipótesis sin cancelar), entonces
D
D
ϕ ∈ DERP
I∀
(∀x)ϕ

(∀x)ϕ
(E∀) ∈ DERP , y ∗(t esta libre para x en ϕ), entonces
D
D
(∀x)ϕ ∈ DERP
E∀∗
ϕ[t/x]

ϕ[t/x]
(I∃) ∈ DERP , ∗(t esta libre para x en ϕ), entonces
D
D
ϕ[t/x] ∈ DERP
I∃∗
(∃x)ϕ
ϕ
D
(E∃) ∈ DERP , D0 ∈ DERP , x ∈
/ FV(H(D0 )) − {D0 } (hipótesis sin cancelar) y x ∈
/ FV(ψ)
(∃x)ϕ ψ
[ϕ]
D
D0
(∃x)ϕ ψ ∈ DERP
E∃
ψ

Definición 3.2 ( Consecuencia sintáctica )

Sean Γ ⊆ FORM y ϕ ∈ FORM
¯ D ∈ DERP tal que: C(D) = ϕ y H(D) ⊆ Γ
ϕ es consecuencia sintáctica de Γ o que ϕ se deriva de Γ ssi ∃

Observación.

Γ ` ϕ se lee ϕ se deriva de Γ.
` ϕ se lee ϕ es teorema.

21
Definición 3.3 ( Propiedades de los cuantificadores )
Γ ⊆ FORM, ϕ, ψ ∈ FORM

· Si Γ ` ϕ, x ∈
/ FV(Γ) ⇒ Γ ` (∀x)ϕ
· Si Γ ` (∀x)ϕ, t t esta libre para x en ϕ, entonces Γ ` ϕ[t/x]

· Si t esta libre para x en ϕ, entonces ϕ[t/x] ` (∃x)ϕ

· Si x ∈
/ FV(ψ) ∪ FV(Γ) ⇒ Γ, ϕ ` ψ ⇒ Γ, (∃x)ϕ ` ψ

22
4 Corrección y completitud de lenguajes de primer orden

Definición 4.1 ( Sustitución por una secuencia )

Sean Γ ⊆ FORM, ϕ ∈ FORM, tales que FV(Γ) ∪ FV(ϕ) ⊆ {y1 , ..., yn }
Una secuencia ã := (a1 , ..., an ), una estructura M tal que ã ∈ |M |
Se define
· Γ(ã) := Γ[ā1 , ..., ān /y1 , ...yn ]
· ϕ(ã) := Γ[ā1 , ..., ān /y1 , ...yn ]

Definición 4.2 ( Modela con sustitución por una secuencia )

Sean Γ ⊆ FORM, ϕ ∈ FORM una estructura M , y una secuencia ã ∈ |M |

¯ ∈ Γ(ã))M |= ψ
1. M |= Γ(ã) si (∀ψ
¯ )(∀ã
2. Γ |= ϕ si (∀M ¯ ∈ |M |)(M |= Γ(ã) ⇒ M |= ϕ(a))

Observación.

Lo anterior es una generalización de la def 2.5

Lema 4.3 (Corrección de DERP )

Sean Γ ⊆ FORM, ϕ ∈ FORM ,

Γ ` ϕ ⇒ Γ |= ϕ

Lema 4.4 (Consistencia)

Sea Γ ⊆ FORM
Γ es consistente ⇔ Γ 6` ⊥
,
(Condición suficiente)
¯ )M |= Γ
(∃M

Definición 4.5 ( Completitud )

Sean Γ ⊆ SENT, ϕ ∈ SENT

Γ |= ϕ ⇒ Γ ` ϕ

Lema 4.6 (Variables libres y constantes)

Sean Γ ⊆ FORM, ϕ ∈ FORM, ∈ Const, tales que z no aparece en Γ ni en ϕ y Γ ` ϕ, ,

Γ[z/c] ` ϕ[z/c]

23
Lema 4.7 (Introducción del testigo)
Sean Γ ⊆ SENT, ϕ, ψ ∈ SENT, c ∈ Const ,

(H) c no aparece en Γ ni en ϕ, ψ
Γ, (∃x)ϕ(x) → ϕ(c) ` ψ
(T) Γ ` ψ

Nomenclatura ( Conjunto Cons ) Cons(Γ) := {ϕ ∈ SENT : Γ ` ϕ}

Definición 4.8 ( Teorı́a )

Sea T ⊆ SENT
T es una teorı́a si es cerrado bajo derivación, es decir

T `ϕ⇒ϕ∈T

es equivalente decir que

T es una teorı́a ⇔ Cons(T) = T

Definición 4.9 ( Conjunto de axiomas )

Sea una teorı́a T , Γ es un conjunto de axiomas para T , si

T = Cons(Γ)

Definición 4.10 ( Consistente maximal )

Γ ⊆ SENT
Γ es consistente maximal sii Γ es consistente y (las siguientes son equivalentes entre si)
¯ ⊆ SENT)(Γ ⊆ ∆, ∆ es consistente ⇒ ∆ = Γ
1. (∀∆
¯ ⊆ SENT)(Γ ⊂ ∆ ⇒ ∆ es inconsistente)
2. (∀∆
¯ ∈ SENT)(ϕ ∈
3. (∀ϕ / Γ ⇒ Γ ∪ {ϕ} es inconsistente)
¯ ∈ SENT)(ϕ ∈ Γ y Γ ∪ {ϕ} es consistente)
4. ¬(∃ϕ

24
Definición 4.11 ( Teorı́a de Henkin )
Sea T una teorı́a, c ∈ Const

Para toda sentencia (∃x)ϕ ∈ SENT, existe c tal que (∃x)ϕ → ϕ[c/x] ∈ T

Definición 4.12 ( Extensión )

Sean T una teorı́a en el lenguaje L y T0 una teorı́a en L 0

· T0 es una extensión de T si T ⊆ T0
· T es una extensión conservativa de T0 si T0 ∩ L = T

Observación.

· L 0 es una extensión del lenguaje L sii L ⊆ L 0

· Si T es una teorı́a consistente, y T0 es una extensión conservativa de T, entonces T0 también es
consistente.

25
Definición 4.13 ( Operador ∗ )
Sea T una teorı́a con lenguaje L

· L ∗ es el lenguaje que se obtiene agregando a L un sı́mbolo de constante nuevo cϕ para cada

sentencia (∃x)ϕ(x) ∈ L

· W ∗ := {(∃x)ϕ(x) → ϕ(cϕ ) : cϕ es testigo de (∃x)ϕ(x)}

· T∗ := Cons(T ∪ W∗ )

Lema 4.14 (T∗ es conservativa con respecto a T)

Sean T una teorı́a en el lenguaje L y T0 una teorı́a en L 0 , ϕ ∈ SENT ,

(H) T∗ ` ϕ
(T) T ` ϕ

Lema 4.15 (Construcción de Teorı́a de Henkin Conservativa)

Sea T una teorı́a. Definimos Ti , Tω de la forma siguiente: ,

T0 := T
Tn+1 := T∗n
[
Tω := Tn
n∈N

Luego Tω una teorı́a de Henkin conservativa con respecto a T. Y se

Lema 4.16 (Conjunto consistente esta incluido en un Consistente Maximal)

Si T es una teorı́a consistente en el lenguaje L , entonces existe Tm consistente maximal tal que T ⊆ Tm ,

1. Sea hA, ⊆i el poset ordenado por inclusión, donde A es

{T0 ⊆ L : T ⊆ T0 , y T0 es teorı́a consistente}
2. Toda cadena tiene una cota superior; la unión de estas teoriı́as,

3. Existe una extensión consistente maximal de T (Lema de Zorn)

26
Lema 4.17 (Existencia de modelo)
Sea T una teorı́a de Henkin consistente maximal en un lenguaje L . ,

¯ M )M |= T
(∃
Consturcción del modelo
Mˆ := hTERMc , P̂ 1 , P̂ 2 , ..., fˆ1 , fˆ2 , ..., ĉ1 , ĉ2 , ...i
donde,

ĉi := ci
fˆi (t1 , ..., tn ) := fi (t1 , ..., tn )
P̂ i (t1 , ...t1 ) ⇔ T ` Pi (t1 , ...tn )

Como falta la igualdad, se modifica el modelo con la relación ∼

Mˆ := hTERMc / ∼, P˜1 , P˜2 , ..., f˜1 , f˜2 , ..., c˜1 , c˜2 , ...i

donde,

c˜i := [ĉi ]
fi ([t1 ], ..., [tn ]) := [fˆi (t1 , ..., tn )]
˜
P̃i (t1 , ...t1 ) ⇔ P̂ i (t1 , ...t1 )

Definición 4.18 ( Mod )

Si Γ es un conjunto de sentencias de cierto tipo de similaridad,

¯ ∈ Γ)M |= α}
Mod(Γ) := {M : (∀α

Definición 4.19 ( Th )
Si K es una clase de estructuras para un tipo de similaridad

¯
Th(K ) := {α ∈ SENT : (∀M ∈ K )M |= α}

Observación.

Γ ⊆ Th(Mod(Γ))
M ⊆ Mod(Th(K ))

Cons(Γ) = Th(Mod(Γ))

Definición 4.20 ( Teorema de compacidad )

Γ ⊆ SENT

Γ tiene modelo ⇔ todo subconjunto finito ∆ ⊆ Γ tiene modelo.

27
4.1 Como aplicar completitud y correctitud

Γ`ϕ
1. Construir derivacion
2. Aplicar correctitud: Γ |= ϕ
Γ 6` ϕ
1. Aplicar correctitudL Γ 6|= ϕ
Γ |= ϕ
1. Aplicar definición de consecuencia lógica
2. Aplicar completitud: Γ ` ϕ
Γ 6|= ϕ
1. Aplicar consecuencia de definición logica
Γ es consistente ?
1. Encontrar M :eta
2. M |= Γ
Γ inconsistente ?
1. Derivar ⊥

4.2 Propiedades notables

Sean T1 y T2 dos teorı́as

1. T1 ∩ T2 es una teorı́a
2. SENT − T1 no es una teorı́a
3. T1 ∪ T2 no necesariamente es una teorı́a
Γ, ∆ ⊆ SENT, k, k1 , k2 conjuntos de estructuras
1. Γ ⊆ ∆ ⇒ Mod(∆) ⊆ Mod(Γ)
2. k1 ⊆ k2 ⇒ Th(k2 ) ⊆ Th(k1 )
3. Mod(Γ ∪ ∆) = Mod(Γ) ∩ Mod(∆)
4. Th(k1 ∪ k2 ) = Th(k1 ) ∩ Th(k2 )
5. k ⊆ Mod(Γ) ⇔ Γ ⊆ Th(k)
6. Mod(Γ) ∪ Mod(∆) ⊆ Mod(Γ ∩ ∆)
7. Th(k1 ) ∪ Th(k2 ) ⊆ k1 ∩ k2
8. Γ ⊆ Th(Mod(Γ))
9. k ⊆ Mod(Th(k))
10. Th(Mod(Γ) ) es una teorı́a con conjunto de axiomas Γ
11. Γ = {ϕ1 ∧ ... ∧ ϕn } entonces Mod(Γ) = Mod({ϕ1 ∧ ... ∧ ϕn })
12. Γ |= ϕ ⇒ ∆ |= ϕ ∆ ⊆f Γ
¯ ϕ)T1 |= ϕ, T2 |= ¬ϕ
13. T1 , T2 ∈ SENT, T1 ∪ T2 = ∅ ⇒ (∃
14. Mod(Γ ∩ ∆) = ∅ ⇒ Γ, y ∆ son inconsistentes
15. {M } es consistente maximal para cualquier estructura M
16. |= ϕ ⇒ ϕ pertenece a todos los conjuntos consistentes maximales

28