Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Lgica Clsica de Predicados o a

Lgica Computacional o
Departamento de Matemtica Aplicada a Universidad de Mlaga a

10 de enero de 2008

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Contenido

Sintaxis Variables y Sustituciones Signicado y verdad Semntica a Formas normales

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Sintaxis de la Lgica de Primer Orden o

El alfabeto de la Lgica de Primer orden est formado por los o a siguientes conjuntos:
1 2 3 4 5

Las conectivas proposicionales: , , , , . Las constantes lgicas: , . o Los s mbolos de cuanticacin: , . o Los delimitadores: (, ). Un conjunto innito numerable V de variables: usaremos
las ultimas letras del alfabeto x, y, z,. . . , posiblemente subindizadas.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Sintaxis de la Lgica de Primer Orden o

Un conjunto numerable (posiblemente vac C de o) s mbolos de constantes: usaremos las primeras letras del
alfabeto a, b, c, . . . , posiblemente subindizadas.

Un conjunto numerable (posiblemente vac F de o) s mbolos de funciones y una funcin r1 que asigna a cada o s mbolo de funcin un elemento de N llamado aridad: o
usaremos las letras f, g, h, posiblemente subindizadas.

Un conjunto numerable P de s mbolos de predicados y una funcin r2 que asigna a cada s o mbolo de predicado un elemento de N llamado su aridad: usaremos las letras P,
Q, R, . . . , posiblemente subindizadas.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Observaciones y terminolog a
Los conjuntos V, C, F y P son disjuntos dos a dos. Los conjuntos C, F y P dependen de la aplicacin y o determinan un lenguaje espec co de primer orden. Los restantes s mbolos del alfabeto son comunes a todos los lenguajes de primer orden. Los s mbolos de predicado de aridad 1 se denominan propiedades. Los de aridad mayor que 1 son las relaciones. Denicin o Los lenguajes de primer orden sobre una signatura = (C, F , P) se denotan L1 (C, F , P) o L1 ().

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Trminos e
Denicin o El conjunto de trminos sobre el conjunto de variables V y la e signatura = (C, F , P) se dene inductivamente como sigue: 1 Los elementos de V y C son trminos; e 2 Si f es un s mbolo de funcin de aridad n y t1 , . . . , tn o son trminos, entonces f(t1 , . . . , tn ) es un trmino; e e Denotaremos por T (), o simplemente T si no hay posibilidad de confusin, al conjunto de trminos. o e Un trmino se dice bsico si en l no intervienen variables. e a e Denotaremos por T B(), o simplemente T B si no hay posibilidad de confusin, al conjunto de trminos bsicos. o e a

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Frmulas bien formadas de L1(C, F , P) o

Denicin o Las frmulas atmicas, o tomos de L1 (C, F , P), son las o o a cadenas de la forma P(t1 , . . . , tn ), donde P es un s mbolo de predicado de aridad n y t1 , . . . ,tn son trminos. e
1 2 3

Las frmulas atmicas son fbfs. o o y son fbfs. Si A y B son fbfs, A, (A B), (A B), (A B) y (A B) son fbfs. Si A es una fbf y x es s mbolo de variable, xA y xA son fbfs.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Observaciones

Los trminos NO son frmulas bien formadas. e o Solo se permite cuanticar variables que representen objetos. No se puede cuanticar ni funciones ni predicados!! Unicamente se puede predicarsobre objetos, es decir, todo predicado de aridad n necesariamente ha de aplicarse a n trminos. e

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Ocurrencias libres de variables

Deniciones Las frmulas que no contienen variables se llaman bsicas. o a En las frmulas xA y xA, decimos que A es el radio de o accin del cuanticador. o Decimos que una variable x aparece ligada en la fbf A si es la variable de un cuanticador en A o aparece en el radio de accin de un cuanticador con variable x en A. o Decimos que x aparece libre en A si no aparece ligada. Ejercicio Dada una variable x y una fbf A, puede x aparecer simultneamente libre y ligada en A? a

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Cierre universal y cierre existencial

Una variable x es libre en una frmula A si tiene apariciones o libres y es ligada si tiene apariciones ligadas. Una frmula sin variables libres se dice cerrada. o Una frmula con variables libres se dice abierta. o Denicin o Escribamos A(x1 , . . . , xn ) para denotar que {x1 , . . . , xn } son las variables libres de A: El cierre universal de A es x1 . . . xn A(x1 , . . . , xn ) El cierre existencial de A es x1 . . . xn A(x1 , . . . , xn )

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Sustitucin de variables o
Denicin o Sean x1 ,. . . , xn variables distintas dos a dos y t1 ,. . . , tn trminos. La sustitucin de x1 ,. . . , xn por t1 ,. . . , tn e o respectivamente, es la aplicacin : T T denida o recursivamente como sigue: 1 xi = ti , para todo i = 1, . . . , n 2 y = y, si y = xi para todo i = 1, . . . , n 3 a = a, para todo a C 4 f(s1 , . . . , sn ) = f(s1 , . . . , sn ), donde s1 , . . . , sn son trminos y f F . e

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Sustitucin de variables o
Esta aplicacin se extiende al conjunto de las frmulas bien o o formadas, como sigue:
1 2

3 4 5

= , = . P(s1 , . . . , sn ) = P(s1 , . . . , sn ), donde los si son trminos y P P. e (B) = B. (B C) = B C, donde {, , , }. ( yB) = yB, si y = xi para todo i = 1, . . . , n y para {, }. {x1 /t1 , . . . , xi /ti , . . . , xn /tn }( xi B) = xi {x1 /t1 , . . . , xi1 /ti1 , xi+1 /ti+1 , . . . , xn /tn }B, {, }.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Observaciones

La sustitucin = {x1 /t1 , . . . , xn /tn } sustituye, a la o vez, todas las apariciones de x1 ,. . . , xn por t1 ,. . . ,tn respectivamente. De la misma forma, la sustitucin {x1 /t1 , . . . , xn /tn } o aplicada a una frmula A, sustituye todas las apariciones o libres de x1 ,. . . , xn por t1 ,. . . ,tn respectivamente. Si n = 1, la sustitucin de x por t se denota igualmente o por [x/t].

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Composicin de sustituciones o
Ejemplo Calculemos la composicin para las sustituciones o = {x/f(a, z), y/h(x), z/a} = {x/h(y), y/f(x, z)}

La respuesta es = {x/h(h(x)), y/f(f(a, z), a), z/a} Ejercicio Demuestre que la composicin es una operacin interna o o en el conjunto de las sustituciones. Calcule . Es conmutativa la composicin de o sustituciones?

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Variable sustituible por un trmino e

Sea A(x) una frmula y t un trmino. Decimos que x es o e sustituible por t en A si x no aparece libre en el radio de accin de y o dentro de A (con {, }) para ninguna variable y de t, En tal caso, [x/t]A(x) se denota igualmente por A(t) y se denomina instancia de A(x). Los trminos bsicos son siempre libres para cualquier e a variable. Sea t un trmino, V el conjunto de variables que aparecen e en t y A una frmula. Si Ligadas(A) V = entonces o todas las variables libres en A son sustituibles por t.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Consideraciones sobre la semntica a

Las interpretaciones proposicionales asignan un valor 0 o 1 a los s mbolos proposicionales (elementos primitivos del lenguaje). Puesto que los elementos primitivos del lenguaje de primer orden son los tomos, las interpretaciones de a primer orden han de asignar un valor 0 1 a los tomos. o a Esta asignacin necesariamente debe tener en cuenta o tanto el s mbolo de predicado como los trminos a los que e est aplicado. a Dependiendo de la interpretacin que se le d tanto a las o e constantes, como a las funciones y los predicados, se obtendr un valor de verdad para cada tomo. a a

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Estructuras y valuaciones de variables

Denicin o Sea L1 un lenguaje de primer orden; una estructura es un par (M, I), donde M es un conjunto no vac llamado dominio o o, universo, e I es una funcin de interpretacin, es decir: o o 1 I(a) M para cada s mbolo de constante a. 2 I(f) es una funcin de Mn a M para cada s o mbolo de funcin f de aridad n > 0. o 3 I(P) es una relacin m-aria sobre M, es decir, para cada o s mbolo de predicado P de aridad m se tiene que I(P) Mm .

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Ejemplo: xy((P(x) P(y)) Q(x, y))

Podemos interpretar esta frmula de muchas maneras o distintas:

1 2 3

4 5

Todos los hombres nacen iguales y libres. Dos bolas de billar tienen el mismo dimetro. a Dos personas que aprueban selectividad se matriculan en la universidad. ... ...

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Sobre los s mbolos de la signatura

Constantes

Todo s mbolo de constante denomina un (nico) u elemento de M. Un elemento de M puede tener asociado ms de un a s mbolo de constante. Un elemento de M puede no tener asociado s mbolo de constante alguno.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Sobre los s mbolos de la signatura

Funciones

1 2

Todo s mbolo de funcin denomina una (nica) funcin. o u o Una funcin puede tener asociado ms de un s o a mbolo de funcin. o Puede haber funciones que no tengan asociado ningn u s mbolo de funcin. o

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Sobre los s mbolos de la signatura

Predicados

Todo s mbolo de predicado representa una (nica) u propiedad o relacin. o Una propiedad o relacin puede tener asociado ms de un o a s mbolo de predicado. Puede haber propiedades o relaciones que no tengan asociado ningn s u mbolo de predicado.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Estructuras y valuaciones de variables

Una estructura permite asignarle un signicado a cada uno de los s mbolos de la signatura del lenguaje de primer orden. Pero an queda por determinar la interpretacin de los u o s mbolos de variable. Denicin o Dada una estructura (M, I), una valuacin de variables es o cualquier aplicacin : V M. o

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Funcin de signicado o
Denicin o Dada una estructura (M, I) y una valuacin de variables , se o dene la funcin de signicado, I : T M, como sigue: o I (a) = I(a) para cada constante a. I (x) = (x) para cada variable x. I (f(t1 , . . . , tn )) = I(f)(I (t1 ), . . . , I (tn )) donde ti son trminos y f es un s e mbolo de funcin de aridad n. o Observacin o La funcin de signicado, junto con la interpretacin de los o o s mbolos de predicado como relaciones, nos permite asignar un valor de verdad a cada tomo del lenguaje como sigue: a I (P(t1 , . . . , tn )) = 1 sii (I (t1 ), . . . , I (tn )) I(P)

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Funcin de verdad o
Atomos

Denicin o Dada una estructura (M, I) y una valuacin de variables , se o dene la funcin de verdad, I : L1 {0, 1} para las o frmulas atmicas como sigue: o o I () = 0. I ( ) = 1. I (P(t1 , . . . , tn )) = 1 si y solo si (I (t1 ), . . . , I (tn )) I(P).

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Funcin de verdad o
Conectivos proposicionales

Denicin o Dada una estructura (M, I) y una valuacin de variables , se o dene la funcin de verdad, I : L1 {0, 1} recursivamente o sobre los conectivos proposicionales como sigue: I (A) = 1 I (A) I (A B) = m (A), I (B)} n{I I (A B) = mx{I (A), I (B)} a I (A B) = mx{1 I (A), I (B)} a I (A B) = 1 si y solo si I (A) = I (B)

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Funcin de verdad o
Cuanticadores

Denicin o Dada una estructura (M, I) y una valuacin de variables , se o dene la funcin de verdad, I : L1 {0, 1} recursivamente o sobre las frmulas cuanticadas como sigue: o I (xA) = 1 si y solo si I (A) = 1 para TODA valuacin tal que (y) = (y) si y = x o I (xA) = 1 si y solo si I (A) = 1 para ALGUNA valuacin tal que (y) = (y) si y = x. o

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Observaciones

Si y son dos valuaciones de variables tales que (y) = (y) para toda variable y = x, entonces decimos que y son x-equivalentes. De la denicin de funcin de verdad, I , se deduce que o o la valuacin de variables solo interviene en el clculo de o a I (A) si la frmula A es abierta. o Demostrar que si A es una frmula cerrada, entonces o I (A) = I (A) para todo par de valuaciones y . En adelante, escribiremos I(A) para representar a este valor de verdad independiente de la valuacin. o

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Estructuras para un conjunto de fbfs

Sea un conjunto nito de fbfs y consideremos la signatura (C , F , P ) en la que: C son constantes que aparecen en , F son los s mbolos de funcin que aparecen en , o P son los s mbolos de predicado que aparecen en Denicin o Una estructura para es un par (M, I) donde M es un conjunto cualquiera (no necesariamente nito) e I es una aplicacin que interpreta los s o mbolos de C F P .

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Valuaciones para un conjunto de fbfs

Sea un conjunto nito de fbfs y sea V el conjunto de variables que aparecen en (libres o ligadas). Denicin o Una valuacin de variables para es una funcin o o : V M

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Semntica de los lenguajes de primer orden a

El conjunto de valores semnticos es el de los valores a booleanos BOOL= {0, 1}. El valor destacado es 1. Como interpretaciones se consideran todas las funciones de verdad I denidas para cada estructura (M, I) y cada valuacin de variables . o

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Semntica de los lenguajes de primer orden a

Deniciones Decimos que A es satisfacible si existe una estructura (M, I) y una valuacin tal que I (A) = 1. o Una frmula A se dice verdadera en una estructura o M = (M, I) si para toda valuacin de variables se o verica I (A) = 1. Diremos igualmente que M es un modelo de A y lo denotaremos |=M A. Decimos que la frmula A es vlida si es verdadera en o a toda estructura; en tal caso escribimos: |= A.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Semntica de los lenguajes de primer orden a

Decimos que un conjunto de fbfs es satisfacible si existe una estructura (M, I) y una valuacin tal que o I (A) = 1 para toda A . Decimos que A es consecuencia lgica o que se inere o semnticamente del conjunto de frmulas si para cada a o estructura (M, I) y cada valuacin se verica que o si I (C) = 1 para toda C , entonces I (A) = 1. En tal caso escribimos |= A. Decimos que A y B son equivalentes y lo denotamos A B si I (A) = I (B) para cada estructura (M, I) y cada valuacin . o

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Algunos resultados sobre la semntica a

Teorema Sean Ai , i = 1, . . . , n, A y B fbfs: A |= B si y solo si |= A B. A1 , . . . , An |= A si y solo si |= (A1 An ) A A1 , . . . , An |= A si y solo si A1 An A es insatisfacible. A es vlida si y solo si A es insatisfacible a

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Algunos resultados sobre la semntica a

Teorema Todo esquema de tautolog (o equivalencia) de la lgica a o proposicional proporciona un esquema de tautolog (o a equivalencia) en la lgica de primer orden. o Teorema (de equivalencia) Si B es una subfrmula de A y B C, entonces o A A[B/C].

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Equivalencias bsicas a
Las mismas que en el caso proposicional ms las siguientes: a xA xA xA xB x(A B) xA xA xA xB x(A B) xA xB x(A B) Adems, si x no es libre en C: a C xB x(C B) C xB x(C B) C xB x(C B) C xB x(C B)

C xB x(C B) C xB x(C B) xB C x(B C) xB C x(B C)

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Otras equivalencias

Sea A fbf, y sean dos cuanticadores Si y no aparece en A entonces

, xA

{, } y[x/y]A.

Esta equivalencia recibe el nombre de renombramiento. Si z no aparece libre en A entonces zA A.

Como consecuencia, no tiene sentido cuanticar repetidamente sobre la misma variable, es decir, z . . . zA zA.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Consecuencias

Teniendo en cuenta las equivalencias anteriores (y el teorema de equivalencia), en adelante podremos suponer que:
1

Una misma variable no aparece libre y ligada en un frmula. o En una frmula A no aparecen cuanticadores x si la o variable x no aparece libre en el radio de accin de dicho o cuanticador.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Suciencia de las frmulas cerradas o

La potencia expresiva de la lgica de primer orden queda o determinada por las frmulas cerradas. o Respecto de la validez se tiene que una frmula es vlida o a si y solo si su cierre universal lo es. Es decir, |= A(x1 , . . . , xn ) si y solo si |= x1 . . . xn A(x1 , . . . , xn ) Respecto a la satisfacibilidad, una frmula es satisfacible o si y solo si su cierre existencial lo es. Es decir, A(x1 , . . . , xn ) es satisfacible si y solo si x1 . . . xn A(x1 , . . . , xn ) es satisfacible.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Forma normal prenexa

Denicin o Una fbf est en forma normal prenexa si es de la forma a x1 . . . 1 xn A donde los i son cuanticadores, xi 1 variables distintas y A es una frmula sin cuanticadores. o La secuencia 1 x1 . . . 1 xn es el prejo y A es la matriz. Denicin o 1 Una frmula est en forma normal o a est en forma normal prenexa y su a normal conjuntiva. 2 Una frmula est en forma normal o a est en forma normal prenexa y su a normal disyuntiva.

prenexa conjuntiva si matriz est en forma a prenexa disyuntiva si matriz est en forma a

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Paso a forma normal prenexa

Teorema Para toda fbf existe una forma normal conjuntiva (disyuntiva) prenexa equivalente a ella. La demostracin se basa en el uso de las equivalencias o proposicionales y las ya citadas para primer orden. Observacin o Ntese que el uso de renombramientos puede ayudar a o minimizar el nmero de cuanticadores en el prejo resultante. u

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Forma normal de Skolem

Las formas prenexas contienen toda la potencia expresiva de la Lgica de Primer Orden, pero an pueden ser simplicadas si o u nuestro inters est en el estudio de la satisfacibilidad. e a La forma normal de Skolem es un tipo particular de forma prenexa, pues en su prejo solo hay cuanticadores universales, pero no conserva la equivalencia, sino la equisatisfacibilidad. Teorema Toda fbf A es equisatisfacible a alguna otra frmula B en o forma normal de Skolem.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Paso a forma normal de Skolem

Sea A una fbf y A una forma prenexa equivalente. La fbf B del teorema se obtiene a partir de A mediante skolemizacin: o
1

Si x aparece en el prejo e y1 , . . . , yn son las variables universalmente cuanticadas que la preceden, entonces eliminamos x considerando un nuevo s mbolo de funcin o f (no utilizado antes) de aridad n y efectuando en la matriz la sustitucin [x/f(y1 , . . . , yn )]. o Si el prejo comienza con x, se elimina el cuanticador considerando una nueva constante, a, (no utilizada antes) y efectuando en la matriz la sustitucin [x/a]. o

Las nuevas constantes y funciones introducidas se denominan constantes y funciones de Skolem respectivamente.

Sintaxis

Variables y Sustituciones

Signicado y verdad

Semntica a

Formas normales

Paso a forma normal de Skolem: un ejemplo

Los dos distintos tipos de eliminacin de existenciales se o ilustran sobre la frmula o xyzP(x, y, z) La variable x se sustituye por un nuevo s mbolo de constante, digamos a, y obtenemos yzP(a, y, z) Finalmente, la variable z depende de y, por lo que se sustituye por un trmino con un nuevo s e mbolo de funcin en la variable o y, obteniendo yP(a, y, f(y))