Semntica de la Lgica de

Predicados de Primer Orden

Logica Semntica de la Lgica de Predicados 1

Significado de las Frmulas

Pregunta: cundo se cumple |= ?
Ejemplo para un lenguaje de tipo <1,2;2,2;2>
P1(f2(x1,x2)), P1(c1) |= P2(c2, f2(x1,x2)) ?

depende de quines sean P1, P2, f1, f2, c1, c2 !!
Moraleja: Debemos interpretar los elementos del
alfabeto en algn universo.
Para ello:
Primero debemos saber qu objetos representan los trminos
(cerrados),
Luego, qu propiedades representan los predicados,
Finalmente podremos saber el valor de verdad de las frmulas
(por ahora, cerradas).
Logica Predicados - Semntica 2

1
 Lenguaje Extendido para una
Estructura
Def 2.3.12 [Lenguaje extendido para una estructura]
Sea M una estructura.
El lenguaje extendido para M, notado L(M) se obtiene
del lenguaje L del tipo de M, agregando smbolos de
constante para todos los elementos de |M| .
Notamos a cada elemento a |M| con el smbolo a

Logica Predicados - Semntica 3

Interpretacin de Trminos y
Frmulas: Ejemplo
Sea L un lenguaje de tipo <1 ; 2,1 ; 2> con alfabeto:
P1, = ; f1,f2 ; c1, c2
Dada una estructura M =<Z, Primo, +, -,0,1>, tenemos
la intuicin de qu valor van a tener las frmulas del
lenguaje L en M.
Por ejemplo:
f2(f1( c1,c2))
x1(P1(x1))
x2 (P1(x2) P1(f1(x2,c2)))
x1P1(f1(c2, f2(x1)))
Logica Predicados - Semntica 4

2
 1. Interpretacin de Trminos
Cerrados
Interpretamos los trminos cerrados de L(M):
tM Z
c1 M = 0 , c2 M = 1
para cada m Z: mM=m
f1(t1,t2) M = t1M+ t2M
f2(t) M = - (tM)

Logica Predicados - Semntica 5

2. Interpretacin de Frmulas
Atmicas Cerradas
Interpretamos las frmulas atmicas cerradas de
L(M): vM() {0,1}
vM() = 0
1 si t1M = t2M
vM(t 1=t2) =
0 si t1M t2M

1 si tM es primo
-vM(P1(t)) =
0 si tM no es primo

Logica Predicados - Semntica 6

3
 Interpretacin de las Frmulas de
SENT
Interpretamos el resto de las frmulas cerradas de
L(M): vM() {0,1}
vM(1 2) --- como en PROP ---
vM( 1) --- como en PROP ---
vM((xi)) = mn {vM([m/xi]) | m Z}
vM((xi)) = mx {vM([m/xi]) | m Z}

Logica Predicados - Semntica 7

Ejemplos

f1(f2(c1),c2)M = f2(c1)M+ c2M = -(c1M)+ c2M = -0+1= 1

vM(f1(f2(c1),c2) = c2) = 1 pues f1(f2(c1),c2)M= c2M (=1)
vM(P1(f1(f2(c1),c2)))=0 pues f1(f2(c1),c2)M=1 (1 no primo)
vM((x) P1(x)) = mn{vM(P1(x)[m/x]) | m Z}
= mn{vM(P1(m)) | m Z}
= 0, pues en particular vM(P1(4)) = 0
vM((x)f2(x) =x) = mx{vM(f2(x) =x[m/x]) | m Z}
= mx{vM(f2(m) =m) | m Z}
=1 pues en particular vM(f2(0) =0) =1
Logica Semntica de la Lgica de Predicados 8

4
 En general...
Sea L un lenguaje de tipo <r1rn;a1am;k > con
alfabeto P1Pn,f1...fm,ci (iI) y sea M= <A, R1,..,Rn,
F1,..,Fm, {ci | iI } >
Def 2.4.1 [interpretacin de trminos cerrados de L(M)
en M]
La interpretacin de los trminos cerrados de L(M) en M
es una funcin _M: TERMC |M| que satisface:
ciM=ci para todo iI
aM=a para todo a|M|
fi(t1,..,tai)M = Fi(t1M,..,taiM) para i = 1,..m

Logica Predicados - Semntica 9

Sentencias
Def 2.4.2 [interpretacin de sentencias de L(M) en M]
La interpretacin de las sentencias de L(M) en M es una funcin vM:
SENT {0,1} que satisface:
M
- v () = 0
1 si t1M = t2M
- vM(t1=t2) =
0 si t1M t2M
1 si <t1M,..,trjM> Rj
- vM(Pj(t1,..,trj)) =
0 si <t1M,..,trjM> Rj
- vM(1 2) , vM( 1) --- como en PROP ---
M M
- v ((xi)) = mn{v ([a/xi]) | a |M|}
- vM((xi)) = mx{vM([a/xi]) | a |M|}
Logica Predicados - Semntica 10

5
 Sobre las Variables
Slo se interpretaron las frmulas cerradas.
Las variables son huecos que pueden ser
ocupados por elementos del universo.
Que elementos del universo pueden ocupar un
determinado hueco?
Si las variables son ligadas, la funcin anterior lo
decide. Funcionan como variables locales.
Si las variables son libres, entonces lo decide alguien
o algo externo a la frmula que se analiza. Funcionan
como parmetros
Logica Semntica de la Lgica de Predicados 11

Sobre las Variables Libres y las

frmulas que las usan.
Interpretar P1(x1,1) de acuerdo a la siguiente
estructura: <N, , Par> cuando es una
subfrmula de otra.
Si la frmula fuera x1.P1(x1,1) ?
cualquier elemento del universo.
Si la frmula fuera x1.P1(x1,1)?
los que son mayores o iguales que 1.
Si la frmula fuera x1(P2(x1)P1(x1,1) )?
los pares, mayores o iguales que 1.

Logica Semntica de la Lgica de Predicados 12

6
 Sobre las Variables Libres y las
frmulas que las usan.
Interpretar P1(x1,1) de acuerdo a la siguiente
estructura: <N, , Par> cuando est en un contexto
determinado.
Esto significa que alguien o algo externo a la frmula
decide que elementos pueden ocupar el lugar de la
variable.
Si la frmula es verdadera cuando otras frmulas que
tambin tienen esta variable libre son verdaderas,
entonces slo los elementos que hacen verdaderas a esas
frmulas son aceptables.
Si no hay un contexto que defina controle el valor de la
variable, asume que puede ser cualquier elemento del
universo. Es la nocin de valor arbitrario del dominio.
Logica Semntica de la Lgica de Predicados 13

Semntica de Frmulas
Def 2.4.3 [clausura universal de una frmula]
Sea FORM, y sea FV() = {z1,..,zk}.
Se define cl() = (z1).., (zk)
Def 2.4.4 [|=]
Si SENT, entonces M|= sii vM()=1
Si FORM no cerrada, entonces M|= sii
vM(cl())=1
Si FORM, entonces |= sii para toda
estructura M del tipo adecuado M |=
Sea SENT, SENT. Entonces |= sii
para toda estructura M del tipo adecuado, si M
|= para todo , entonces M |=
Logica Predicados - Semntica 14

7
 Nomenclatura
M es modelo de si M |=
M es modelo de si M |= para todo
es verdadera si |=
es consecuencia semntica de si |=
es satisfecha por a1,..,ak|M| si M |= [a1,..,ak/ z1,..,zk]
(con FV() = {z1,..,zk} , k>0)
es satisfactible en M si existen a1,..,ak|M| tq es
satisfecha por a1,..,ak|M|
es satisfactible si existe alguna estructura M tal que es
satisfactible en M
Logica Semntica de la Lgica de Predicados 15

Propiedades de |=
La relacin |= refleja exactamente el significado de los
conectivos y los cuantificadores. Para frmulas cerradas
tenemos el siguiente lema:
Lema 2.4.5: Restringiendo a Sentencias, entonces:
i. M|= ( ) sii M|= y M|=
ii. M|= ( ) sii M|= o M|=
iii. M|= () sii M|
iv. M|= ( ) sii (si M|= entonces M|= )
v. M|= ( ) sii (M|= sii M|= )
vi. M|= (x) sii para todo a|M| M|= [a/x]
vii. M|= (x) sii existe a|M| tq. M|= [a/x]
Logica Predicados - Semntica 16

8
 Propiedades Simples del Clculo
de Predicados
Qu tipo de propiedades podemos probar para
los elementos de FORM?
Todas aquellas que valan para PROP:
todas las frmulas que son instancias de tautologas
son verdaderas en cualquier estructura M
Luego, todas las propiedades de los conectivos que
probamos para las frmulas de PROP valen.
Vamos a probar propiedades de los
cuantificadores

Logica Predicados - Semntica 17

Propiedades de los
Cuantificadores
Def: eq sii |= (
)
Teorema 2.5.1 [generalizacin de las leyes de De Morgan]
i. (x) eq (x)
ii. (x) eq (x)
iii. (x) eq (x)
iv. (x) eq (x)
Teorema 2.5.2 [orden de los cuantificadores]
i. (x) (y) eq (y) (x)
ii. (x) (y) eq (y) (x)
iii. Si xFV() entonces (x) eq
iv. Si xFV() entonces (x) eq
Logica Predicados - Semntica 18

9
 Ms propiedades
Teorema 2.5.3 [Distributividad generalizada]
i. (x) () eq (x) (x)
ii. (x) () eq (x) (x)
iii. Si xFV() entonces (x)() eq (x)
iv. Si xFV() entonces (x)() eq (x)
OJO!!! No valen:
|= (x) () (x) (x)
|= (x) (x) (x)( )

Logica Predicados - Semntica 19

Lemas de Sustitucin
Lema 2.5.5 [lemas de sustitucin]

i. Si z V(t) entonces t[a/x] = (t[z/x])[a/z]

ii. Si z no ocurre en entonces [a/x] =
([z/x])[a/z]
iii. Sea t libre para x en y , y libre para $ en .
Entonces, ([ /$]) [t/x] = ( [t/x])[ [t/x] /$]

Logica Predicados - Semntica 20

10
 Cambio de Variables
Teorema 2.5.4 [cambio de variables]
Sean x,z tales que x,z FV().
Entonces:
i. (x) [x/y] eq (z) [z/y]
ii. (x) [x/y] eq (z) [z/y]

Informalmente: Sea z tal que z FV()BV().

Entonces:
i. (x)(x) eq (z)(z)
ii. (x)(x) eq (z)(z)

Logica Predicados - Semntica 21

Teorema de Susutitucin
Teorema 2.5.6 [sustitucin]
Sean s, t, t1, t2 TERM, , , FORM tq. t y s estn
libres para x en , y y estn libres para $ en
Entonces:
i. |= t1=t2 s[t1/x] =s[t2/x]
ii. |= t=s [t/x] [s/x]
iii. |= ( ) ( [/$] [/$])
Ejemplos:
(x)(x) (x)(x) eq (x)(x) (y) (y)
(x)(x) (y)(y) eq (x)(y) ((x) (y))
(x)(x) eq (x)((x) ) (si x FV())
|= (x)(x) (x)(x)
Logica Predicados - Semntica 22

11
 Forma Normal prenexa
Def 2.5.7 [forma normal prenexa]
Sea FORM. Decimos que est en forma (normal)
prenexa sii es una frmula abierta precedida de cero o
ms cuantificadores.
Ejemplos:
(x)(y)(z)(w)( f(z,w)=x f(w,z)=y)
(y)(z)(x) (P(y,z) (P(y,x) P(x,z)))
(x) (y)(z) ((P(x,y) P(y,z)) P(x,z))
Teorema 2.5.8 [existencia de forma normal prenexa]
Para toda FORM existe tal que est en forma
prenexa y eq .

Logica Predicados - Semntica 23

Relativizacin
Cmo traducimos la siguiente oracin?
(>0)(n)(m>n) |f(n)- f(m)| <
  
R N N
(convenciones para los tipos de las variables!)
Una primera traduccin sera:
()((>0)((nN)(mN)(m>n |f(n)- f(m)| < )))
Hay dos propiedades implcitas: ser un Natural y ser un
Real.
Como NR, consideramos R = <R,N, <, -,a,| |,0>. Ahora ser un
natural se traduce usando un nuevo predicado N:
() (0< ((n)(N(n)((m)(N(m)(m>n |f(n)-
f(m)|<)))))
Logica Predicados - Semntica 24

12
 Cuantificadores Relativizados
Se definen cuantificadores relativizados :
(nN) := (n)(N(n) )
(nN) := (n)(N(n) )
Con esto, obtenemos lo que queramos:
() (0< ((nN)(mN)(m>n |f(n)-f(m)| < )))))
es por definicin:
()(0< ((n)(N(n)((m)(N(m)(m>n|f(n)-f(m)|< )))))
Propiedades:
M|=(xA) sii para todo aA se cumple M|=[a/x]
M|=(xA) sii existe aA tal que M|=[a/x]
Logica Predicados - Semntica 25

13