Repaso de Logica de Primer Orden

Logica de primer orden: Vocabulario

Una f ormula en l ogica de primer orden esta denida sobre algunas
constantes y predicados.
Un vocabulario L es la union de dos conjuntos:
constantes : {c
1
, . . . , c

, . . .},
relaciones : {R
1
, . . . , R
n
, . . .}.
Notaci on: aridad de una relacion R es el n umero de argumentos de
R.
- Cada relacion tiene una aridad mayor o igual a 0.
1
Logica de primer orden: Vocabulario
Ejemplo: Para los n umeros naturales L es la union de
constantes : {0, 1},
relaciones : {suma, mult, suc, <}
suma y mult son relaciones ternarias, s y < son relaciones binarias.
2
Logica de primer orden: Sintaxis
Las f ormulas de la l ogica de primer orden se construyen usando:
- Conectivos l ogicos: , , , y .
- Parentesis: ( y ).
- Relaci on binaria =.
- Variables.
- Cuanticadores: y .
Veamos algunos ejemplos, antes de introducir formalmente la
sintaxis de la l ogica de primer orden.
3
Sintaxis de la logica de primer orden: Ejemplos
Sea L = {0, 1, suma, mult, suc, <}.
- suc(0, 1).
- xy (suc(x, y) x < y).
Usamos notacion inja para relaciones comunes.
- xy suma(y, y, x).
- xyz ((suc(x, y) suc(x, z)) y = z).
4
Sintaxis de la logica de primer orden: Terminos
Desde ahora en adelante: Suponemos dada una lista innita de
variables.
L-terminos:
- Cada constante c en L es un L-termino.
- Cada variable x es un L-termino.
Ejemplos: 0, x.
5
Sintaxis de la logica de primer orden: Formulas
El conjunto de /-formulas es el menor conjunto que satisface las
siguientes condiciones:
- Si t
1
y t
2
son /-terminos, entonces t
1
= t
2
es una /-formula.
- Si t
1
, . . ., t
n
son /-terminos y R es una relacion n-aria en /,
entonces R(t
1
, . . . , t
n
) es una /-formula.
- Si y son /-formulas, entonces (), ( ), (), ( ) y
( ) son /-formulas.
- Si es una /-formula y x es una variable, entonces (x ) y (x )
son /-formulas.
Notacion: t
1
= t
2
y R(t
1
, . . . , t
n
) son llamadas formulas atomicas.
6
Logica de primer orden: Semantica
Notaci on: Omitimos parentesis si no se produce ambig uedad.
Es xy suma(y, y, x) cierta en L = {0, 1, suma, mult, suc, <}?
- Si pensamos en los n umeros naturales es falsa.
- Pero / 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 interpretacion
que se da a las constante y relaciones.
- Tenemos que introducir la nocion de estructura.
7
Semantica de la logica de primer orden: Estructuras
Una /-estructura interpreta todos los componentes de / en un dominio.
Una /-estructura A contiene:
- Un dominio A no vaco.
- Para cada constante c /, una interpretacion c
A
A de c.
- Para cada relacion n-aria R /, una interpretacion R
A
A
n
de R.
Notacion: A = A, c
A
, . . . , R
A
, . . .).
8
Algunos ejemplos de estructuras
Para representar grafos usamos un vocabulario / = |E. Por ejemplo, el
siguiente grafo:
4
1 2
3
es representado por la estructura A = A, E
A
), donde:
A = |1, 2, 3, 4,
E
A
= |(1, 2), (1, 3), (3, 2), (4, 1), (4, 2).
9
Algunos ejemplos de estructuras
Los n umeros naturales son representados por la estructura:
N = N, 0
N
, 1
N
, suma
N
, mult
N
, suc
N
, <
N
),
Mientras que los n umeros reales son representados por la estructura:
R = R, 0
R
, 1
R
, suma
R
, mult
R
, suc
R
, <
R
).
Ahora podemos decir que N no satisface xy suma(y, y, x) y que R si
satisface esta formula.
10
Semantica de la logica de primer orden: Variables libres
Sea V () el conjunto de variables de una formula .
El conjunto de variables libres de una /-formula se dene como:
- Si es una formula atomica, entonces VL() = V().
- Si = (), entonces VL() = VL().
- Si = ( ) ( |, , , ), entonces VL() = VL() VL().
- Si = (x ) o = (x ), entonces VL() = VL() \ |x.
Variable libre: No aparece cuanticada.
11
Semantica de la logica de primer orden: Variables libres
Ejemplos:
VL(P(x) y Q(x, y)) = {x},
VL(P(z) z R(z)) = {z}.
Notaci on:
- Si es una formula, entonces usamos (x
1
, . . . , x
k
) para
indicar que VL() = {x
1
, . . . , x
k
}.
- Decimos que es una oracion si VL() = .
12
Semantica de la logica de primer orden: Denicion
Si una f ormula contiene variables libres, entonces no podemos decir
directamente que es verdadera o falsa en una estructura.
- Es suc(0, x) cierta en N?
El valor de verdad de una formula con variables libres depende de
los valores dados a estas variables.
- Si x es 2, entonces suc(0, x) es falsa en N. Pero si x es 1,
entonces es cierta.
13
Semantica de la logica de primer orden: Denicion
Dada una estructura A con dominio A, una asignacion es una
funcion que asigna a cada variable un valor en A.
Denicion: Decimos que (A, ) satisface una L-formula ,
denotado como (A, ) |= , si y s olo si:
- = t
1
= t
2
y (t
1
) = (t
2
).
- = R(t
1
, . . . , t
n
) y ((t
1
), . . . , (t
n
)) R
A
.
- = () y (A, ) ,[= .
- = ( ) y (A, ) [= o (A, ) [= .
14
Semantica de la logica de primer orden: Denicion
- = ( ), (A, ) [= y (A, ) [= .
- = ( ) y (A, ) ,[= o (A, ) [= .
- = ( ) y ambos (A, ) [= , (A, ) [= o ambos
(A, ) ,[= , (A, ) ,[= .
- = (x ) y existe a A tal que (A, [x/a]) [= , donde
[x/a](y) =
8
<
:
a y = x,
(y) y ,= x.
- = (x ) y para todo a A se tiene que (A, [x/a]) [= .
Nota: Si es una oracion, podemos decir que A [= .
15
Semantica de la logica de primer orden: Ejemplos
Sea A = A, E
A
), 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)?
16
Dos nociones utiles
Decimos que una /-formula es satisfacible si existe una /-estructura A
y una asignacion para A tal que (A, ) [= .
- Si es oracion, entonces es satisfacible si existe A tal que A [= .
Decimos que una /-formula es valida si para toda /-estructura A y
toda asignacion para A se tiene que (A, ) [= .
- Si es oracion, entonces es valida si para todo A se tiene que
A [= .
Ejercicio: Construya una formula valida.
17
Dos nociones utiles
Al igual que en la l ogica proposicional, la logica de primer orden
tiene asociados algunos problemas de decision:
SAT = { | es una oracion satisfacible},
VAL = { | es una oracion valida}.
Teorema (Church): VAL y SAT son indecidibles.
18
La nocion de consecuencia logica
Dado: Conjunto de L-oraciones {}.
Decimos que es consecuencia l ogica de si para cada
L-estructura A tal que A |= , se tiene que A |=
Notaci on: |=
Ejemplo: {xR(x, x)} |= xy R(x, y).
19
El sistema de Hilbert: Logica de Primer Orden
El sistema de deduccion de Hilbert para la logica de primer orden consta
de los siguientes elementos:
- Esquemas para generar formulas validas:
(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 ).
20
El sistema de Hilbert: Logica de Primer Orden
- Axiomas para la igualdad:
(a) x (x = x).
(b) xy (x = y y = x).
(c) xyz ((x = y y = z) x = z).
(d) Para todo predicado m-ario P:
x
1
x
m
y
1
y
m
((P(x
1
, . . . , x
m
)
x
1
= y
1
x
m
= y
m
) P(y
1
, . . . , y
m
)).
21
El sistema de Hilbert: Logica de Primer Orden
- Reglas de inferencia:
(a) Modus Ponens:

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

(y)
x(x)
22
El sistema de Hilbert: Logica de Primer Orden
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 logico 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: .
23
El sistema de Hilbert: Propiedades
Teorema (correccion): Dado un conjunto de formulas |, si
, entonces [= .
Teorema (completidad de Godel): Dado un conjunto de formulas
|, si [= , entonces .
24
El teorema de Compacidad
Notacion: Decimos que un conjunto de formulas es nitamente
satisfacible si cada subconjunto nito de es satisfacible.
Teorema (compacidad): Un conjunto de formulas es satisfacible si y
solo si es nitamente satisfacible.
Ejercicio: Demuestre el corolario.
25
Poder expresivo de una logica
Notacion: Dado un vocabulario /, struct[/] es el conjunto de todas las
/-estructuras.
Una propiedad 1 de las /-estructuras es un subconjunto de struct[/].
- Ejemplo: El conjunto de las /-estructuras con dos elementos en el
dominio.
Decimos que una propiedad 1 es expresable en logica de primer orden si
existe una /-oracion tal que para toda A struct[/]:
A 1 si y solo si A [= .
Ejemplo: La propiedad de arriba es expresable en logica de primer
orden.
26
Poder expresivo de una logica: Teorema de compacidad
Ejercicio: Usando el teorema de compacidad, demuestre que las
siguientes propiedades no son expresables en logica de primer orden.
1. Sea /
1
un vocabulario cualquiera y 1
1
el conjunto de todas las
/
1
-estructuras con dominio nito.
2. Sea /
2
= |E(, ), a, b, donde a y b son constantes, y 1
2
el
conjunto de todas las /
2
-estructuras que tienen un camino de largo
nito entre a y b.
27