Correctitud y completitud de teoras de

primer orden

Gabriel I. Senno
1

Definiciones
Sea L un lenguaje de primer orden, C una clase de modelos (o
L-estructuras) y K FORM(L).

Definiciones
Sea L un lenguaje de primer orden, C una clase de modelos (o
L-estructuras) y K FORM(L).

Definicin (Correctitud)
Decimos que K es una axiomatizacin correcta con respecto a C
si para toda FORM(L) se tiene que:
`K = (Para todo M C, M |= )

Definiciones
Sea L un lenguaje de primer orden, C una clase de modelos (o
L-estructuras) y K FORM(L).

Definicin (Correctitud)
Decimos que K es una axiomatizacin correcta con respecto a C
si para toda FORM(L) se tiene que:
`K = (Para todo M C, M |= )

Definicin (Completitud)
Decimos que K es una axiomatizacin completa con respecto a
C si para toda FORM(L) se tiene que:
(Para todo M C, M |= ) = `K

Definiciones
Sea L un lenguaje de primer orden, C una clase de modelos (o
L-estructuras) y K FORM(L).

Definicin (Correctitud)
Decimos que K es una axiomatizacin correcta con respecto a C
si para toda FORM(L) se tiene que:
`K = (Para todo M C, M |= )

Definicin (Completitud)
Decimos que K es una axiomatizacin completa con respecto a
C si para toda FORM(L) se tiene que:
(Para todo M C, M |= ) = `K

Ejemplo
En la terica vieron que, dado un lenguaje de primer orden L,
el conjunto de instanciaciones de los esquemas axiomticos de
SQ con L-formulas, es una axiomatizacin correcta y completa
con respecto a la clase de todas las L-estructuras.

Ejercicio 5 de la prctica 7

Se dice que un modelo de primer orden es transitivo cuando

todas sus relaciones binarias son transitivas. Partiendo de la
axiomatizacin para SQ, proponer una extensin SQT que
caracterice la clase de modelos transitivos.
1

Demostrar que SQT es correcta con respecto a la clase de

modelos transitivos.
Demostrar que SQT es completa con respecto a la clase de
todos los modelos.
Demostrar que SQT no es correcta con respecto a la clase
de todos los modelos.

Resolucin
Idea:
Buscamos una axiomatizacin que nos de como teoremas todas
las formulas verdaderas en la clase de modelos transitivos y
solo las formulas verdaderas en la clase de modelos transitivos.

Resolucin
Idea:
Buscamos una axiomatizacin que nos de como teoremas todas
las formulas verdaderas en la clase de modelos transitivos y
solo las formulas verdaderas en la clase de modelos transitivos.
Sabemos que SQ es correcta tanto para los modelos transitivos
como para los no transitivos.

Resolucin
Idea:
Buscamos una axiomatizacin que nos de como teoremas todas
las formulas verdaderas en la clase de modelos transitivos y
solo las formulas verdaderas en la clase de modelos transitivos.
Sabemos que SQ es correcta tanto para los modelos transitivos
como para los no transitivos.
Si agregamos formulas a SQ que fuercen a que la interpretacin
de los smbolos de relacin binaria se haga con relaciones
transitivas, restringimos la clase de modelos para la cual
nuestra axiomatizacin es correcta, a la clase de modelos
transitivos.

Proponemos extender SQ con el siguiente esquema axiomtico:

SQTR (x)(y)(z)((R(x, y) R(y, z)) R(x, z))
(R smbolo de relacin binaria)

Entonces SQT = SQ + SQTR .

1. Sea L un lenguaje de primer orden. Demostremos que SQT

es correcta con respecto a C, la clase de L-estructuras cuyas
relaciones binarias son todas transitivas.

1. Sea L un lenguaje de primer orden. Demostremos que SQT

es correcta con respecto a C, la clase de L-estructuras cuyas
relaciones binarias son todas transitivas.
Para ello vamos a demostrar, por induccin en n, el siguiente
predicado P(n):
P(n):= Para todo M C y FORM(L), si 1 , . . . , n = es
una derivacin de en SQT , entonces para todo 1 i n,
M |= i .

Probemos P(1).

Probemos P(1).
Tenemos 2 posibilidades para 1 :

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ.

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ. Entonces, como SQ es correcta con

respecto a la clase de todos los modelos, M |= 1 para
todo M C.

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ. Entonces, como SQ es correcta con

respecto a la clase de todos los modelos, M |= 1 para
todo M C.

1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)) para algn

R smbolo de relacin binaria en L.

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ. Entonces, como SQ es correcta con

respecto a la clase de todos los modelos, M |= 1 para
todo M C.

1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)) para algn

R smbolo de relacin binaria en L.
Queremos ver que para todo M C y toda valuacin v,
M |= 1 [v].

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ. Entonces, como SQ es correcta con

respecto a la clase de todos los modelos, M |= 1 para
todo M C.

1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)) para algn

R smbolo de relacin binaria en L.
Queremos ver que para todo M C y toda valuacin v,
M |= 1 [v].
M |= (x)(y)(z)((R(x, y) R(y, z)) R(x, z))[v]

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ. Entonces, como SQ es correcta con

respecto a la clase de todos los modelos, M |= 1 para
todo M C.

1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)) para algn

R smbolo de relacin binaria en L.
Queremos ver que para todo M C y toda valuacin v,
M |= 1 [v].
M |= (x)(y)(z)((R(x, y) R(y, z)) R(x, z))[v]
para todo a, b, c UM ,
M |= ((R(x, y) R(y, z)) R(x, z))[v(x = a, y = b, z = c)]

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ. Entonces, como SQ es correcta con

respecto a la clase de todos los modelos, M |= 1 para
todo M C.

1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)) para algn

R smbolo de relacin binaria en L.
Queremos ver que para todo M C y toda valuacin v,
M |= 1 [v].
M |= (x)(y)(z)((R(x, y) R(y, z)) R(x, z))[v]
para todo a, b, c UM ,
M |= ((R(x, y) R(y, z)) R(x, z))[v(x = a, y = b, z = c)]
para todo a, b, c UM ,
M

(a, b) 6 R

o (b, c) 6 RM o (a, c) RM

Probemos P(1).
Tenemos 2 posibilidades para 1 :
1

1 es un axioma de SQ. Entonces, como SQ es correcta con

respecto a la clase de todos los modelos, M |= 1 para
todo M C.

1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)) para algn

R smbolo de relacin binaria en L.
Queremos ver que para todo M C y toda valuacin v,
M |= 1 [v].
M |= (x)(y)(z)((R(x, y) R(y, z)) R(x, z))[v]
para todo a, b, c UM ,
M |= ((R(x, y) R(y, z)) R(x, z))[v(x = a, y = b, z = c)]
para todo a, b, c UM ,
M

(a, b) 6 R

o (b, c) 6 RM o (a, c) RM
RM es transitiva.
7

Probemos P(n + 1).

Probemos P(n + 1).

HI: Vale P(k) para todo k n.
Tenemos 3 posibilidades para n :

Probemos P(n + 1).

HI: Vale P(k) para todo k n.
Tenemos 3 posibilidades para n :
1

n+1 es un axioma de SQ. Idem P(1).

n+1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)). Idem

P(1).

Probemos P(n + 1).

HI: Vale P(k) para todo k n.
Tenemos 3 posibilidades para n :
1

n+1 es un axioma de SQ. Idem P(1).

n+1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)). Idem

P(1).

n+1 se obtiene por MP de i y j (i, j n).

Probemos P(n + 1).

HI: Vale P(k) para todo k n.
Tenemos 3 posibilidades para n :
1

n+1 es un axioma de SQ. Idem P(1).

n+1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)). Idem

P(1).

n+1 se obtiene por MP de i y j (i, j n).

Por HI, para todo M C, M |= i y M |= j .

Probemos P(n + 1).

HI: Vale P(k) para todo k n.
Tenemos 3 posibilidades para n :
1

n+1 es un axioma de SQ. Idem P(1).

n+1 = (x)(y)(z)((R(x, y) R(y, z)) R(x, z)). Idem

P(1).

n+1 se obtiene por MP de i y j (i, j n).

Por HI, para todo M C, M |= i y M |= j .
Por lo tanto, como MP preserva validez, M |= n+1 .

2. Ahora probemos que SQT es completa con respecto a C, la

clase de todos modelos.

2. Ahora probemos que SQT es completa con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden y sea FORM(L)
universalmente valida.
= `SQ

(por completitud de SQ con resp. a C)

= `SQT

(SQ SQT )

2. Ahora probemos que SQT es completa con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden y sea FORM(L)
universalmente valida.
= `SQ

(por completitud de SQ con resp. a C)

= `SQT

(SQ SQT )

3. Ahora probemos que SQT no es correcta con respecto a C, la

clase de todos modelos.

2. Ahora probemos que SQT es completa con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden y sea FORM(L)
universalmente valida.
= `SQ

(por completitud de SQ con resp. a C)

= `SQT

(SQ SQT )

3. Ahora probemos que SQT no es correcta con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden con un smbolo de
relacin binario R y sea M = h{1, 2, 3}; RM i C con
RM = {(1, 2), (2, 3)}.

2. Ahora probemos que SQT es completa con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden y sea FORM(L)
universalmente valida.
= `SQ

(por completitud de SQ con resp. a C)

= `SQT

(SQ SQT )

3. Ahora probemos que SQT no es correcta con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden con un smbolo de
relacin binario R y sea M = h{1, 2, 3}; RM i C con
RM = {(1, 2), (2, 3)}.
Sea
= SQTR = (x)(y)(z)((R(x, y) R(y, z)) R(x, z))

2. Ahora probemos que SQT es completa con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden y sea FORM(L)
universalmente valida.
= `SQ

(por completitud de SQ con resp. a C)

= `SQT

(SQ SQT )

3. Ahora probemos que SQT no es correcta con respecto a C, la

clase de todos modelos.
Sea L un lenguaje de primer orden con un smbolo de
relacin binario R y sea M = h{1, 2, 3}; RM i C con
RM = {(1, 2), (2, 3)}.
Sea
= SQTR = (x)(y)(z)((R(x, y) R(y, z)) R(x, z))
Entonces, `SQT pero M 6|= . Por lo tanto, SQT no es
correcta con respecto a C.
9

Ejercicio de parcial

Vamos a llamar Z = hZ>0 , 1, divZ , primoZ i a la estructura cuyo

universo son los nmeros enteros postivos, divZ Z2>0 es la relacin
binaria de divisibilidad, y primoZ Z>0 es el conjunto de nmeros
primos. Consideremos la siguiente axiomatizacin SQZ (escrita en el
lenguaje con igualdad sobre la signatura h1, div, primoi) que extiende
a SQ con los axiomas:
S1 (x)(y)(z) ((x div y y div z) (x div z))
S2 (x)(y) ((x div y y div x) x = y)
S3 (x) (x div x 1 div x)


S4 (x) primo (x) (x 6= 1 (y) (y div x (y = x y = 1)))
S5 (x)(y) ((x = y) x div y)
a) Demostrar que S5 es verdadera en Z.
b) Dar una frmula y un modelo M tal que:
I ) todos los axiomas de SQZ sean vlidos en M;
II ) M 6|= ;
III) Z |= .
(Alcanza con exhibir la frmula y el modelo).
c) Asumiendo que SQZ es correcto con respecto Z, demostrar que
SQZ no es completa con respecto a Z.

10

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]
para todo n Z>0 , Z |= (y)((x = y) x div y)[v(x = n)]

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]
para todo n Z>0 , Z |= (y)((x = y) x div y)[v(x = n)]
para todo n Z>0 , existe m Z>0 ,
Z |= ((x = y) x div y)[v(x = n, y = m)]

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]
para todo n Z>0 , Z |= (y)((x = y) x div y)[v(x = n)]
para todo n Z>0 , existe m Z>0 ,
Z |= ((x = y) x div y)[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z |= (x = y)[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]
para todo n Z>0 , Z |= (y)((x = y) x div y)[v(x = n)]
para todo n Z>0 , existe m Z>0 ,
Z |= ((x = y) x div y)[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z |= (x = y)[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z 6|= x = y[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]
para todo n Z>0 , Z |= (y)((x = y) x div y)[v(x = n)]
para todo n Z>0 , existe m Z>0 ,
Z |= ((x = y) x div y)[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z |= (x = y)[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z 6|= x = y[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 , n 6= m y n div Z m

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]
para todo n Z>0 , Z |= (y)((x = y) x div y)[v(x = n)]
para todo n Z>0 , existe m Z>0 ,
Z |= ((x = y) x div y)[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z |= (x = y)[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z 6|= x = y[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 , n 6= m y n div Z m

11

Resolucin
a) Vamos a demostrar que S5 es vlido en Z.
Sea v una valuacin.
Z |= (x)(y)((x = y) x div y)[v]
para todo n Z>0 , Z |= (y)((x = y) x div y)[v(x = n)]
para todo n Z>0 , existe m Z>0 ,
Z |= ((x = y) x div y)[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z |= (x = y)[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 ,
Z 6|= x = y[v(x = n, y = m)] y Z |= x div y[v(x = n, y = m)]
para todo n Z>0 , existe m Z>0 , n 6= m y n div Z m
Y esta ltima afirmacin es cierta tomando, por ejemplo,
m = 2n.
11

Resolucin
b) Dar una frmula y un modelo M tal que:
I)
II )
III)

todos los axiomas de SQZ sean vlidos en M;

M 6|= ;
Z |= .

12

Resolucin
b) Dar una frmula y un modelo M tal que:
I)
II )
III)

todos los axiomas de SQZ sean vlidos en M;

M 6|= ;
Z |= .

Sugerencias?

12

Resolucin
b) Dar una frmula y un modelo M tal que:
I)
II )
III)

todos los axiomas de SQZ sean vlidos en M;

M 6|= ;
Z |= .

Sugerencias?
Una posible solucin es:
U = {n Z>0 | 2 divZ n} {1}
M = hU; 1; divZ U2 ; primoZ Ui

12

Resolucin
b) Dar una frmula y un modelo M tal que:
I)
II )
III)

todos los axiomas de SQZ sean vlidos en M;

M 6|= ;
Z |= .

Sugerencias?
Una posible solucin es:
U = {n Z>0 | 2 divZ n} {1}
M = hU; 1; divZ U2 ; primoZ Ui
:= (x)(y) ((x = y) (primo(x) primo(y))

12

Resolucin

c) Asumiendo que SQZ es correcto con respecto Z, demostrar

que SQZ no es completa con respecto a Z.

13

Resolucin

c) Asumiendo que SQZ es correcto con respecto Z, demostrar

que SQZ no es completa con respecto a Z.
Nuestro M del ejercicio anterior es modelo de todos los
axiomas de SQZ .

13

Resolucin

c) Asumiendo que SQZ es correcto con respecto Z, demostrar

que SQZ no es completa con respecto a Z.
Nuestro M del ejercicio anterior es modelo de todos los
axiomas de SQZ .
Por lo tanto, SQZ es correcta con respecto a M.

13

Resolucin

c) Asumiendo que SQZ es correcto con respecto Z, demostrar

que SQZ no es completa con respecto a Z.
Nuestro M del ejercicio anterior es modelo de todos los
axiomas de SQZ .
Por lo tanto, SQZ es correcta con respecto a M.
Adems, vimos que M 6|= .

13

Resolucin

c) Asumiendo que SQZ es correcto con respecto Z, demostrar

que SQZ no es completa con respecto a Z.
Nuestro M del ejercicio anterior es modelo de todos los
axiomas de SQZ .
Por lo tanto, SQZ es correcta con respecto a M.
Adems, vimos que M 6|= .
Por lo tanto, como SQZ es correcta con respecto a M, 6`SQZ .

13

Resolucin

c) Asumiendo que SQZ es correcto con respecto Z, demostrar

que SQZ no es completa con respecto a Z.
Nuestro M del ejercicio anterior es modelo de todos los
axiomas de SQZ .
Por lo tanto, SQZ es correcta con respecto a M.
Adems, vimos que M 6|= .
Por lo tanto, como SQZ es correcta con respecto a M, 6`SQZ .
Entonces, como Z |= , SQZ no es completa con respecto a Z.

13