Logica de Primer Orden

IIC2213

IIC2213 L
ogica de Primer Orden 1 / 60
 Logica de primer orden

Dos de los objetivos de la l

ogica proposicional:
Poder modelar el proceso de razonamiento.
Poder formalizar la noci
on de demostracion.

Podemos expresar el siguiente argumento en l

ogica proposicional?
Todos los hombres son mortales.
S
ocrates es hombre.
Por lo tanto, S
ocrates es mortal.

Podemos demostrar que para el conjunto de los numeros

naturales es cierto que todo n
umero es par o impar?

IIC2213 L
ogica de Primer Orden 2 / 60
 Logica de primer orden

El poder expresivo de la l
ogica proposicional es limitado.
Por que usamos esta l
ogica?

Vamos a introducir una l

ogica m
as expresiva.
Tiene algunas de las buenas propiedades de la l
ogica
proposicional, pero no todas.

Para expresar el argumento mostrado al principio necesitamos

cuantificadores: para todo y existe.

IIC2213 L
ogica de Primer Orden 3 / 60
 Logica de primer orden: Vocabulario
Una formula en l
ogica de primer orden est
a definida sobre algunas
constantes, funciones y predicados.

Notacion
Un vocabulario L es la uni
on de tres conjuntos:
constantes : {c1 , . . . , c , . . .},
funciones : {f1 , . . . , fm , . . .},
relaciones : {R1 , . . . , Rn , . . .}.

Notacion
La aridad de una funcion f (relacion R) es el n
umero de
argumentos de f (de R).
Cada funcion tiene una aridad mayor a 0.
Cada relaci
on tiene una aridad mayor o igual a 0.

IIC2213 L
ogica de Primer Orden 4 / 60
 Logica de primer orden: Vocabulario

Ejemplo
umeros naturales L es la uni
Para los n on de
constantes : {0, 1},
funciones : {s, +, },
relaciones : {<}.

s es una funcion unaria, + y son funciones binarias y < es una

relacion binaria.

IIC2213 L
ogica de Primer Orden 5 / 60
 Logica de primer orden: Sintaxis

Las formulas de la l
ogica de primer orden se construyen usando:
ogicos: , , , y .
Conectivos l
Parentesis: ( y ).
Relaci
on binaria =.
Variables.
Cuantificadores: y .

Veamos algunos ejemplos, antes de introducir formalmente la

sintaxis de la l
ogica de primer orden.

IIC2213 L
ogica de Primer Orden 6 / 60
 Sintaxis de la logica de primer orden: Ejemplos

Ejemplo
Sea L = {0, 1, s, +, , <}.

1 = s(0).
Para la igualdad usamos notaci
on infija: No escribimos
= (1, s(0)).

x x < s(x).
Usamos notaci
on infija para funciones y relaciones comunes.

xy x = y + y .

xy (s(x) = s(y ) x = y ).

IIC2213 L
ogica de Primer Orden 7 / 60
 Sintaxis de la logica de primer orden: Terminos

Desde ahora en adelante: Suponemos dada una lista infinita de

variables.

Definicion
El conjunto de L-terminos es el menor conjunto que satisface las
siguientes condiciones:
Cada constante c en L es un L-termino.
Cada variable x es un L-termino.
Si t1 , . . ., tn son L-terminos y f es una funcion n-aria en L,
entonces f (t1 , . . . , tn ) es un L-termino.

Ejemplos
0, s(s(s(1))) y s(0) s(x)

IIC2213 L
ogica de Primer Orden 8 / 60
 Sintaxis de la logica de primer orden: Formulas

Definicion
El conjunto de L-formulas es el menor conjunto que satisface las
siguientes condiciones:
Si t1 y t2 son L-terminos, entonces t1 = t2 es una L-formula.
Si t1 , . . ., tn son L-terminos y R es una relacion n-aria en L,
entonces R(t1 , . . . , tn ) es una L-formula.
Si y son L-formulas, entonces (), ( ), ( ),
( ) y ( ) son L-formulas.
Si es una L-formula y x es una variable, entonces (x ) y
(x ) son L-formulas.

Notacion
t1 = t2 y R(t1 , . . . , tn ) son llamadas formulas at
omicas.

IIC2213 L
ogica de Primer Orden 9 / 60
 Logica de primer orden: Semantica

Notacion
Omitimos parentesis si no se produce una ambig
uedad.

Es xy x = y + y cierta en L = {0, 1, s, +, , <}?

Si pensamos en los n
umeros naturales es falsa.
Pero L tambien puede usarse como vocabulario para los
n
umeros reales, y en este conjunto la formula es cierta.

El valor de verdad de una formula depende de la interpretaci

on
que se da a las constantes, funciones y relaciones.
Tenemos que introducir la noci
on de estructura.

IIC2213 L
ogica de Primer Orden 10 / 60
 Semantica de la logica de primer orden: Estructuras

Una L-estructura interpreta todos los componentes de L en un

dominio.

Definicion
Una L-estructura A contiene:
Un dominio A no vaco.
on c A A de c.
Para cada constante c L, una interpretaci
Para cada funcion m-aria f L, una interpretacion
f A : Am A de f .
Para cada relacion n-aria R L, una interpretacion R A An
de R.

Notacion
A = hA, c A , . . . , f A , . . . , R A , . . .i

IIC2213 L
ogica de Primer Orden 11 / 60
 Algunos ejemplos de estructuras

Ejemplo
Para representar grafos usamos un vocabulario L = {E }. Por
ejemplo, el siguiente grafo:
1 2

3 4

es representado por la estructura A = hA, E A i, donde:

A = {1, 2, 3, 4},
E A = {(1, 2), (1, 3), (3, 2), (4, 1), (4, 2)}.

IIC2213 L
ogica de Primer Orden 12 / 60
 Algunos ejemplos de estructuras

Ejemplo
Los n
umeros naturales son representados por la estructura:

N = hN, 0N , 1N , s N , +N , N , <N i.

Los n
umeros reales son representados por la estructura:

R = hR, 0R , 1R , s R , +R , R , <R i.

Ahora podemos decir que N no satisface xy x = y + y y que R

si satisface esta formula.

IIC2213 L
ogica de Primer Orden 13 / 60
 Semantica de la logica de primer orden: Variables libres

Necesitamos introducir la noci

on de variable libre.
El conjunto de variables de un L-termino t se define como:
Si t es una constante, entonces V (t) = .
Si t = x es una variable, entonces V (t) = {x}.
Si t = f (t1 , . . . , tn ), entonces V (t) = V (t1 ) V (tn ).

Ejemplo
V (f (g (x, y ), s(0))) = V (g (x, y )) V (s(0))
= V (x) V (y ) V (0)
= {x} {y }
= {x, y }

IIC2213 L
ogica de Primer Orden 14 / 60
 Semantica de la logica de primer orden: Variables libres

El conjunto de variables de una L-formula se define como:

Si = t1 = t2 , entonces V () = V (t1 ) V (t2 ).
Si = R(t1 , . . . , tn ), entonces V () = V (t1 ) V (tn ).
Si = (), entonces V () = V ().
Si = ( ) ( {, , , }), entonces
V () = V () V ().
Si = (x ) o = (x ), entonces V () = {x} V ().

Ejemplo
V ((x P(x)) (y Q(s(y )))) = V (x P(x)) V (y Q(s(y )))
= ({x} V (P(x))) V (Q(s(y )))
= ({x} V (x)) V (s(y ))
= {x, y }

IIC2213 L
ogica de Primer Orden 15 / 60
 Semantica de la logica de primer orden: Variables libres

Definicion
El conjunto de variables libres de una L-formula se define como:
Si es una formula at
omica, entonces VL() = V ().
Si = (), entonces VL() = VL().
Si = ( ) ( {, , , }), entonces
VL() = VL() VL().
Si = (x ) o = (x ), entonces VL() = VL() \ {x}.

Variable libre: No aparece cuantificada.

IIC2213 L
ogica de Primer Orden 16 / 60
 Semantica de la logica de primer orden: Variables libres

Ejemplo
VL(P(x) y Q(x, y )) = {x},
VL(P(z) z R(z)) = {z}.

Notacion
Si es una formula, entonces usamos (x1 , . . . , xk ) para
indicar que VL() = {x1 , . . . , xk }.
on si VL() = .
Decimos que es una oraci

IIC2213 L
ogica de Primer Orden 17 / 60
 Semantica de la logica de primer orden: Definicion

Si una formula contiene variables libres, entonces no podemos

decir directamente que es verdadera o falsa en una estructura.
Es x < s(0) cierta en N?

El valor de verdad de una formula con variables libres depende de

los valores dados a estas variables.
Si x es 0, entonces x < s(0) es cierta en N. Pero si x es 1,
entonces es falsa.

IIC2213 L
ogica de Primer Orden 18 / 60
 Semantica de la logica de primer orden: Definicion

Dada una estructura A con dominio A, una asignacion es una

funcion que asigna a cada variable un valor en A.

Extendemos para dar valores a los terminos:

(t) = c A .
Si t = c es una constante, entonces
Si t = x es una variable, entonces
(t) = (x).
(t) = f A (
Si t = f (t1 , . . . , tn ), entonces (t1 ), . . . ,
(tn )).

IIC2213 L
ogica de Primer Orden 19 / 60
 Semantica de la logica de primer orden: Definicion

Ejemplo
Si (x) = 7 es una asignacion para N, entonces

(s(1)) N
(s(1) s(x)) = (s(x))
= s N (
(1)) N s N (
(x))
= s N (1N ) N s N ((x ))
= 2 N s N (7)
= 2 N 8
= 16

Por simplicidad, usamos en lugar de

.

IIC2213 L
ogica de Primer Orden 20 / 60
 Semantica de la logica de primer orden: Definicion

Vamos a definir la sem

antica de la l
ogica de primer orden.

Dado: Un vocabulario L, una L-estructura A con dominio A y una

asignacion para A.

Definicion
Decimos que (A, ) satisface una L-formula , denotado como
(A, ) |= , si y solo si:
= t1 = t2 y (t1 ) = (t2 ).
= R(t1 , . . . , tn ) y ((t1 ), . . . , (tn )) R A .
= () y (A, ) 6|= .
= ( ) y (A, ) |= o (A, ) |= .

IIC2213 L
ogica de Primer Orden 21 / 60
 Semantica de la logica de primer orden: Definicion

= ( ), (A, ) |= y (A, ) |= .
= ( ) y (A, ) 6|= o (A, ) |= .
= ( ) y ambos (A, ) |= , (A, ) |= o ambos
(A, ) 6|= , (A, ) 6|= .
= (x ) y existe a A tal que (A, [x/a]) |= , donde
(
a y = x,
[x/a](y ) =
(y ) y 6= x.

= (x ) y para todo a A se tiene que

(A, [x/a]) |= .

on, podemos decir que A |= .

Nota: Si es una oraci

IIC2213 L
ogica de Primer Orden 22 / 60
 Semantica de la logica de primer orden: Ejemplos

Ejemplo
Sea A = hA, E A i, donde A = {1, 2, 3, 4} y E A = {(1, 2), (1, 3),
(3, 2), (4, 1), (4, 2)}.
Cuales de las siguientes formulas son ciertas en A:
xy E (x, y ), xy E (x, y ), xy E (x, y ), xy E (x, y )?

Ejercicios
1. Sea f una funcion unaria y L = {f }. Construya una estructura
finita que satisfaga = xy (f (x) = f (y ) x = y ).
2. Sean L y como en el ejercicio anterior. Construya una
estructura que satisfaga = xy f (y ) 6= x. Existe una
estructura finita que satisfaga ?

IIC2213 L
ogica de Primer Orden 23 / 60
 Dos nociones utiles

Decimos que una L-formula es satisfacible si existe una

L-estructura A y una asignacion para A tal que (A, ) |= .
Si es oraci
on, entonces es satisfacible si existe A tal que
A |= .

Decimos que una L-formula es v alida si para toda L-estructura

A y toda asignacion para A se tiene que (A, ) |= .
Si es oraci
on, entonces es v
alida si para todo A se tiene
que A |= .

Ejercicio
Construya una formula v
alida.

IIC2213 L
ogica de Primer Orden 24 / 60
 Dos nociones utiles

Al igual que en la l
ogica proposicional, la l
ogica de primer orden
tiene asociados algunos problemas de decisi on:

SAT = { | es una oraci

on satisfacible},
VAL = { | es una oraci
on v
alida}.

Son estos problemas m

as difciles que para el caso de la l
ogica
proposicional?
C
omo se demuestra que son al menos tan difciles?

Vamos a mostrar una primera diferencia entre estas dos l

ogicas ...

IIC2213 L
ogica de Primer Orden 25 / 60
 La complejidad de VAL

Teorema (Church)
VAL es indecidible.

on: Vamos a reducir el siguiente problema a VAL:

Demostraci

L = {w {0, 1} | existe una MT determinista M

tal que w = C (M) y M acepta }.

Por que es este problema indecidible?

IIC2213 L
ogica de Primer Orden 26 / 60
 La complejidad de VAL

Para cada MT M determinista, tenemos que construir una formula

M tal que:

M acepta si y s
olo si M es v
alida.

Suponemos que M = (Q, {0, 1}, q0 , , F ), donde

Q = {q0 , . . . , qm },
F = {qm },
no existe una transicion en para qm .

IIC2213 L
ogica de Primer Orden 27 / 60
 La complejidad de VAL

Definimos un vocabulario L de la siguiente forma:

P(t) : t es el tiempo de partida de la m aquina.
C (t, p) : M tiene un 0 en la posicion p de la cinta en el
tiempo t.
U(t, p) : M tiene un 1 en la posicion p de la cinta en el
tiempo t.
B(t, p) : M tiene un B en la posicion p de la cinta en el
tiempo t.
Ei (t) : estado de M es qi (i [0, m]) en el tiempo t.
T (t, p) : la cabeza esta en la posicion p en el tiempo t.
L(x, y ) : orden lineal en el dominio.

M es definida como (P L I C ) A .

IIC2213 L
ogica de Primer Orden 28 / 60
 La complejidad de VAL

P : Hay un u
nico punto de partida.

x(P(x) y (x 6= y P(y ))).

L : L es un orden lineal donde cada elemento tiene un sucesor y un

predecesor.

x L(x, x) xy z ((L(x, y ) L(y , z)) L(x, z))

xy (x = y L(x, y ) L(y , x))
xy (L(x, y ) z (L(x, z) L(z, y )))
xy (L(y , x) z (L(y , z) L(z, x))).

IIC2213 L
ogica de Primer Orden 29 / 60
 La complejidad de VAL

Usamos orden lineal L para definir un predicado auxiliar:

suc(x, y ) = L(x, y ) z (L(x, z) L(z, y )).

I : Estado inicial.

x (P(x) (E0 (x) T (x, x) y B(x, y ))).

IIC2213 L
ogica de Primer Orden 30 / 60
 La complejidad de VAL

C : La maquina funciona correctamente.

C se define como la conjunci

on de cuatro formulas. Primero,
cada celda siempre contiene un u
nico smbolo:

xy ((C (x, y ) U(x, y ) B(x, y ))

(U(x, y ) C (x, y ) B(x, y ))
(B(x, y ) C (x, y ) U(x, y ))).

IIC2213 L
ogica de Primer Orden 31 / 60
 La complejidad de VAL

Segundo, la maquina siempre est

a en un u
nico estado:
m 
_ ^ 
x Ei (x) Ej (x) .
i =0 j[0,m]\{i }

Tercero, la cabeza siempre est

a en una u
nica posicion:

xy (T (x, y ) z (y 6= z T (x, z))).

IIC2213 L
ogica de Primer Orden 32 / 60
 La complejidad de VAL

Cuarto, el contenido de una celda no cambia si no es apuntada por

la cabeza:

xy z ((T (x, y ) suc(x, z)) ((C (x, y ) C (z, y ))

(U(x, y ) U(z, y )) (B(x, y ) B(z, y )))).

IIC2213 L
ogica de Primer Orden 33 / 60
 La complejidad de VAL

: funcion define como funciona la m

aquina.

Para cada transicion en se define una formula, y se define

como la conjuncion de estas formulas.

Ejemplo
Para (qi , 0) = (qj , 1, ) se define la siguiente formula:

xy uv ((Ei (x) T (x, y ) C (x, y )

suc(x, u) suc(v , y ))
(Ej (u) T (u, v ) U(u, y ))).

IIC2213 L
ogica de Primer Orden 34 / 60
 La complejidad de VAL

A : La maquina acepta .

xy (P(x) (x = y L(x, y )) Em (y )).

Para terminar solo falta demostrar que M acepta si y solo si M

es valida.
Que sucedera si M es definida como
P L I C A ?

IIC2213 L
ogica de Primer Orden 35 / 60
 La complejidad de SAT

Corolario
SAT es indecidible.

Ejercicio
Demuestre el corolario.

Para la l
ogica proposicional SAT era decidible (pero difcil). Para
la l
ogica de primer orden es indecidible!

IIC2213 L
ogica de Primer Orden 36 / 60
 La nocion de isomorfismo

Sean A = hN, 0N , s N i y B = hB, 0B , s B i definida como:

B = {0} .
0B = .
s B (0
| {z
0}) = |0 {z
0} , para todo n 0.
n veces n+1 veces

Son similares estas estructuras? Por que?

Si identificamos i N con 0| {z
0} podemos ver que estas
i veces
estructuras son identicas.

IIC2213 L
ogica de Primer Orden 37 / 60
 La nocion de isomorfismo

Dos estructuras son isomorfas si son identicas excepto por sus

dominios.

Definicion
Dado un vocabulario L y dos L-estructuras A y B, decimos que A
y B son isomorfas, denotado como A = B, si existe una biyecci
on
h : A B tal que:

h(c A ) = c B , para cada constante c L.

h(f A (a1 , . . . , am )) = f B (h(a1 ), . . . , h(am )), para cada funcion
m-aria f L y elementos a1 , . . ., am A.
(a1 , . . . , an ) R A si y s
olo si (h(a1 ), . . . , h(an )) R B , para
cada funcion n-aria R L y elementos a1 , . . ., an A.

IIC2213 L
ogica de Primer Orden 38 / 60
 La nocion de isomorfismo: Ejemplos

Ejemplos
1. Sea A = hN, 0N , 1N , +N , <N i y B = hB, 0B , 1B , +B , <B i, donde
B es el conjunto de los numeros pares y los demas smbolos son
definidos de manera usual. Son A y B isomorfos?
2. Que pasa en el caso anterior si ademas consideramos la
multiplicaci
on?
3. Sea L = {E } y A = hA, E A i, donde A = {1, 2, 3, 4} y E A = {(1, 2),
(1, 3), (3, 2), (4, 1), (4, 2)}. Defina una oraci
on tal que para toda
L-estructura B se tiene que B |= si y s olo si A
= B.
4. Sea Z = hZ, 0Z , 1Z , s Z , +Z , Z , <Z i. Son N y Z isomorfos?
5. Son N y R isomorfos?
6. Sea A = hR, +R , R i y B = hC, +C , C i. Son A y B isomorfos?

IIC2213 L
ogica de Primer Orden 39 / 60
 El teorema de isomorfismo

Si dos estructuras A y B son isomorfas, entonces son identicas

excepto por sus dominios.
A y B son indistinguibles.

En particular: La l
ogica de primer orden no debera poder distinguir
entre estructuras isomorfas.
Vamos a demostrar esto.
Por que este resultado es fundamental?

IIC2213 L
ogica de Primer Orden 40 / 60
 El teorema de isomorfismo: Una primera version

Teorema
Si A y B son L-estructuras isomorfas, entonces para cada
L-oraci
on se tiene que:

A |= si y s
olo si B |=

C
omo podemos demostrar este Teorema?
Podemos usar inducci
on?
Tenemos que demostrar una versi
on mas fuerte del teorema.

IIC2213 L
ogica de Primer Orden 41 / 60
 El teorema de isomorfismo: Una segunda version

Notacion
Si h : A B es una biyeccion que muestra que A y B son
estructuras isomorfas, entonces h es un isomorfismo de A en B.

Nota: Si es una asignacion para A, entonces h es una

asignacion para B.

IIC2213 L
ogica de Primer Orden 42 / 60
 El teorema de isomorfismo: Una segunda version

Teorema (Isomorfismo)
Sea una asignacion para A y h un isomorfismo de A en B.
Entonces para toda L-formula :

(A, ) |= si y s
olo si (B, h ) |=

La primera version del teorema es un corolario de esta version mas

fuerte.

IIC2213 L
ogica de Primer Orden 43 / 60
 El teorema de isomorfismo: Aplicaciones

Antes de demostrar el teorema de isomorfismo, vamos a ver una de

sus aplicaciones.

Notacion
Si (A, ) |= (x1 , . . . , xk ) y (xi ) = ai (i [1, k]), entonces
decimos que A |= (a1 , . . . , ak ).

Problema de Definibilidad
Dada una estructura A y S Ak (k 1), decimos que S es
definible en A si existe una formula (x1 , . . . , xk ) tal que

S = {(a1 , . . . , ak ) Ak | A |= (a1 , . . . , ak )}.

IIC2213 L
ogica de Primer Orden 44 / 60
 El problema de definibilidad: Ejemplos

Ejemplo
Que conjuntos definen en hN, +, i las siguientes formulas?

1 (x) = y (x + y = y ),
2 (x) = y (x y = y ),
3 (x, y ) = z(1 (z) x + z = y ).

Para demostrar que un conjunto es definible tenemos que construir

una formula.

C
omo podemos demostrar que un conjunto no es definible?
Podemos usar el teorema de isomorfismo!

IIC2213 L
ogica de Primer Orden 45 / 60
 El problema de definibilidad y el teorema de isomorfismo

Es la multiplicacion definible en hR, +i?

Si esto es cierto, entonces existe (x, y , z) tal que para todo
a, b, c R:

hR, +i |= (a, b, c) si y s
olo si a b = c.

Entonces para todo isomorfismo h de hR, +i en hR, +i, se

tiene que:

hR, +i |= (a, b, c) si y s
olo si hR, +i |= (h(a), h(b), h(c)).

Sea h : R R definida por h(x) = x2 .

h es un isomorfismo de hR, +i en hR, +i.
hR, +i |= (2, 2, 4) y hR, +i 6|= (h(2), h(2), h(4)). Tenemos
una contradicci
on!
IIC2213 L
ogica de Primer Orden 46 / 60
 El problema de definibilidad y el teorema de isomorfismo

Ejercicios
1. Demuestre que la suma no es definible en hR, i.

2. Demuestre que la suma no es definible en hN, i.

3. Puede usarse el teorema de isomorfismo para mostrar que la

multiplicacion no es definible en hN, +i?

IIC2213 L
ogica de Primer Orden 47 / 60
 El teorema de isomorfismo: Demostracion

Ahora vamos a demostrar por inducci

on la versi
on fuerte del
teorema de isomorfismo.
Dado: un vocabulario L y L-estructuras A y B.

Necesitamos el siguiente lema:

Lemma
Si es una asignacion para A y h es un isomorfismo de A en B,
entonces h[ =h .

on en los L-terminos.
on: Por inducci
Demostraci
Para cada constante c L: h[
(c) = c B = h(c A ) =
(c)) = (h
h( )(c).

IIC2213 L
ogica de Primer Orden 48 / 60
 El teorema de isomorfismo: Demostracion

Para cada variable x: h[ (x) = (h )(x) = h((x)) =

(x)) = (h
h( )(x).

Para cada funcion n-aria f L: Si h[

(ti ) = (h
)(ti )
para todo i [1, n], entonces

h[
(f (t1 , . . . , tn )) = f B (h[
(t1 ), . . . , h[
(tn ))
= f B ((h
)(t1 ), . . . , (h
)(tn ))
= f B (h(
(t1 )), . . . , h(
(tn )))
= h(f A (
(t1 ), . . . ,
(tn )))
= h(
(f (t1 , . . . , tn )))
= (h
)(f (t1 , . . . , tn )).

IIC2213 L
ogica de Primer Orden 49 / 60
 El teorema de isomorfismo: Demostracion

Vamos a demostrar el teorema por inducci

on en la estructura de :

Si = t1 = t2 , entonces:
(A, ) |= t1 = t2
si y s
olo si

(t1 ) =
(t2 )
si y s
olo si
h(
(t1 )) = h( (t2 ))
si y s
olo si
(h
)(t1 ) = (h )(t2 )
si y s
olo si
h[ (t1 ) = h[ (t2 )
si y s
olo si
(B, h ) |= t1 = t2 .

IIC2213 L
ogica de Primer Orden 50 / 60
 El teorema de isomorfismo: Demostracion

Si = R(t1 , . . . , tn ), entonces:
(A, ) |= R(t1 , . . . , tn )
si y s olo si
( (tn )) R A
(t1 ), . . . ,
si y s olo si
(h( (t1 )), . . . , h( (tn ))) R B
si y s olo si
((h
)(t1 ), . . . , (h )(tn )) R B
si y s olo si
(h[ (t1 ), . . . , h[ (tn )) R B
si y s olo si
(B, h ) |= R(t1 , . . . , tn ).

IIC2213 L
ogica de Primer Orden 51 / 60
 El teorema de isomorfismo: Demostracion

Finalmente suponemos que la propiedad se cumple para y .

Si = , entonces:

(A, ) |=
si y s
olo si
(A, ) 6|=
si y s
olo si
(B, h ) 6|=
si y s
olo si
(B, h ) |=

IIC2213 L
ogica de Primer Orden 52 / 60
 El teorema de isomorfismo: Demostracion

Si = , entonces:
(A, ) |=
si y s
olo si
(A, ) |= y (A, ) |=
si y s
olo si
(B, h ) |= y (B, h ) |=
si y s
olo si
(B, h ) |=

IIC2213 L
ogica de Primer Orden 53 / 60
 El teorema de isomorfismo: Demostracion

Suponga que = x .
S
olo vamos a demostrar una direcci
on. La otra direcci
on se
1
demuestra de la misma forma pero considerando h en lugar
de h.
Si (A, ) |= : Existe a A tal que (A, [x/a]) |= .
Por hip on: Existe a A tal que
otesis de inducci
(B, h [x/a]) |= .
Pero: h [x/a] = (h )[x/h(a)].
Tenemos que: Existe b B tal que (B, (h )[x/b]) |= .
Por lo tanto: (B, h ) |= .

IIC2213 L
ogica de Primer Orden 54 / 60
 El sistema de Hilbert: Logica de Primer Orden

El sistema de deduccion de Hilbert para la l

ogica de primer orden
consta de los siguientes elementos:

Esquemas para generar formulas v

alidas:

(a) ( ).
(b) ( ( )) (( ) ( )).
(c) ( ) (( ) ).
(d) (x (x)) (t), donde t es un termino cualquiera.
(e) (t) (x (x)), donde t es un termino cualquiera.
(f) (x ) (x ).

IIC2213 L
ogica de Primer Orden 55 / 60
 El sistema de Hilbert: Logica de Primer Orden

Axiomas para la igualdad:

(a) x (x = x).
(b) xy (x = y y = x).
(c) xy z ((x = y y = z) x = z).
(d) Para todo predicado m-ario P:
x1 xm y1 ym ((P(x1 , . . . , xm )
x1 = y1 xm = ym ) P(y1 , . . . , ym )).

(e) Para toda funcion n-aria f :

x1 xn y1 yn ((x1 = y1 xn = yn )
f (x1 , . . . , xn ) = f (y1 , . . . , yn )).

IIC2213 L
ogica de Primer Orden 56 / 60
 El sistema de Hilbert: Logica de Primer Orden

Reglas de inferencia:

(a) Modus Ponens:

(b) Generalizacion: Si y no aparece libre en , entonces

(y )
y (y )

IIC2213 L
ogica de Primer Orden 57 / 60
 El sistema de Hilbert: Logica de Primer Orden

Definicion
Dado un conjunto de formulas {}, una deduccion formal de
desde es una secuencia de formulas 1 , 2 , . . ., n tal que:
Para cada i n:
i o
i es un axioma l ogico o
existen j, k < i tales que i es obtenido desde j y k usando
modus ponens o
existe j < i tal que i es obtenido desde j usando la regla de
generalizacion.
n = .

Notacion
H

IIC2213 L
ogica de Primer Orden 58 / 60
 El sistema de Hilbert: Propiedades

Teorema (Correccion)
Dado un conjunto de formulas {}, si H , entonces
|= .

Ejercicio
Demuestre el teorema.

IIC2213 L
ogica de Primer Orden 59 / 60
 El sistema de Hilbert: Propiedades

Teorema (Completidad de Godel)

Dado un conjunto de formulas {}, si |= , entonces
H .

Corolario (Compacidad)
Un conjunto de formulas es satisfacible si y s
olo si es
finitamente satisfacible.

Ejercicio
Demuestre el corolario.

IIC2213 L
ogica de Primer Orden 60 / 60