Tema 6: Sintaxis y semántica de la lógica de primer orden
|
|
- Juana Esther Molina Montes
- hace 7 años
- Vistas:
Transcripción
1 Lógica informática Curso Tema 6: Sintaxis y semántica de la lógica de primer orden José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LI CcIa Sintaxis y semántica de la lógica de primer orden 6.
2 Limitación expresiva de la lógica proposicional Ejemplo : Si Sevilla es vecina de Cádiz, entonces Cádiz es vecina de Sevilla. Sevilla es vecina de Cádiz. Por tanto, Cádiz es vecina de Sevilla Representación en lógica proposicional: {SvC CvS, SvC} = CvS Ejemplo 2: Si una ciudad es vecina de otra, entonces la segunda es vecina de la primera. Sevilla es vecina de Cádiz. Por tanto, Cádiz es vecina de Sevilla Representación en lógica proposicional: Imposible Representación en lógica de primer orden: {( x)( y)[vecina(x, y) vecina(y, x)], = vecina(cadiz, Sevilla) vecina(sevilla, Cadiz)} LI CcIa Sintaxis y semántica de la lógica de primer orden 6.2
3 Potencia expresiva de la lógica de primer orden Mundo de los bloques a b c d e sobre(x, y) se verifica si el bloque x está colocado sobre el bloque y sobre mesa(x) se verifica si el bloque x está sobre la mesa Situación del ejemplo: sobre(a, b), sobre(b, c), sobre mesa(c), sobre(d, e), sobre mesa(e) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.3
4 Potencia expresiva de la lógica de primer orden bajo(x, y) se verifica si el bloque x está debajo del bloque y ( x)( y)[bajo(x, y) sobre(y, x)] encima(x, y) se verifica si el bloque x está encima del bloque y pudiendo haber otros bloques entre ellos ( x)( y)[encima(x, y) sobre(x, y) ( z)[sobre(z, x) encima(z, y)]] libre(x) se verifica si el bloque x no tiene bloques encima ( x)[libre(x) ( y)sobre(y, x)] pila(x, y, z) se verifica si el bloque x está sobre el y, el y sobre el z y el z sobre la mesa ( x)( y)( z)[pila(x, y, z) sobre(x, y) sobre(y, z) sobre mesa(z)] Prop.: Si z, y, z es una pila entonces y no está libre ( x)( y)( z)[pila(x, y, z) libre(y)] LI CcIa Sintaxis y semántica de la lógica de primer orden 6.4
5 Potencia expresiva de la lógica de primer orden Representación con funciones e igualdad es bloque(x) se verifica si x es un bloque superior(x) es el bloque que está sobre el bloque x Situación del ejemplo: es bloque(a), es bloque(b), es bloque(c), es bloque(d), es bloque(e) superior(b) = a, superior(c) = b, superior(e) = d sobre mesa(x) se verifica si el bloque x está sobre la mesa ( x)[sobre mesa(x) es bloque(x) ( y)superior(y) = x] libre(x) se verifica si el bloque x no tiene bloques encima ( x)[libre(x) ( y)superior(x) = y] tope(x) es el bloque libre que está encima de x ( x)[(libre(x) tope(x) = x) ( libre(x) tope(x) = tope(superior(x)))] LI CcIa Sintaxis y semántica de la lógica de primer orden 6.5
6 Potencia expresiva de la lógica de primer orden Ejemplos de formalización: La Tierra es un planeta: planeta(tierra) La Luna no es un planeta: planeta(luna) La Luna es un satélite: satélite(luna) La Tierra gira alrededor del Sol: gira(tierra, Sol) Todo planeta es un satélite: ( x)[planeta(x) satélite(x)] Todo planeta gira alrededor del Sol: ( x)[planeta(x) gira(x, Sol)] Algún planeta gira alrededor de la Luna: ( x)[planeta(x) gira(x, Luna)] Hay por lo menos un satélite: ( x)satélite(x) Ningún planeta es un satélite: ( x)[planeta(x) satélite(x)] Ningún objeto celeste gira alrededor de sí mismo: ( x)gira(x, x) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.6
7 Potencia expresiva de la lógica de primer orden Alrededor de los satélites no giran objetos: ( x)[satélite(x) ( y)gira(y, x)] Hay exactamente un satélite: ( x)[satélite(x) ( y)[satélite(y) x = y]] La Luna es un satélite de la Tierra: satélite(luna, Tierra) [Notar la sobrecarga de la relación satélite] Todo planeta tiene un satélite: ( x)[planeta(x) ( y)satélite(y, x)] La Tierra no tiene satélites: ( x)satélite(x, Tierra) Algún planeta no tiene satélites: ( x)[planeta(x) ( y)satélite(y, x)] Sólo los planetas tienen satélites: ( x)[( y)satélite(y, x) planeta(x)] Todo satélite es satélite de algún planeta: ( x)[satélite(x) ( y)(planeta(y) satélite(x, y)] La Luna no gira alrededor de dos planetas diferentes: ( x)( y)[planeta(x) planeta(y) gira(luna, x) gira(luna, y) x y] Hay exactamente dos planetas: ( x)( y)[planeta(x) planeta(y) x y ( z)[planeta(z) (z = x z = y)]] LI CcIa Sintaxis y semántica de la lógica de primer orden 6.7
8 Lenguaje de primer orden Lenguaje de primer orden: Símbolos lógicos: - Variables: x, y, z,..., x, x 2, Conectivas:,,,,. - Cuantificadores:,. - Símbolo de igualdad: =. Símbolos propios: - Símbolos de constantes: a, b, c,..., a, a 2, Símbolos de predicado (con aridad): P, Q, R,..., P, P 2, Símbolos de función (con aridad): f, g, h,..., f, f 2,.... Símbolos auxiliares: (, ),,. Notación: L, L, L 2,... representan lenguajes de primer orden. Var representa el conjunto de las variables. Los símbolos de predicados de aridad mayor que se llaman de relaciones. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.8
9 Ejemplos de lenguajes de primer orden Lenguaje del mundo de los bloques: Símbolos de constantes: a, b, c, d, e Símbolos de predicado (y de relación): de aridad : sobre mesa, libre, es bloque de aridad 2: sobre, bajo, encima de aridad 3: pila Símbolos de función (de aridad ): superior, tope Lenguaje de la aritmética: Símbolos de constantes: 0, Símbolos de función: monaria: s (siguiente) binarias: +, Símbolo de predicado binario: < LI CcIa Sintaxis y semántica de la lógica de primer orden 6.9
10 Sintaxis: términos Términos Def. de término de un lenguaje de primer orden L: - Las variables son términos de L. - Las constantes de L son términos de L. - Si f es un símbolo de función n aria de L y t,..., t n son términos de L, entonces f(t,..., t n ) es un término de L. Ejemplo: En el lenguaje de la aritmética,. +( (x, ), s(y)) es un término, que se suele escribir como (x ) + s(y) 2. +( (x, <), s(y)) no es un término Notación: s, t, t, t 2,... representan términos. Térm(L) representa el conjunto de los términos de L LI CcIa Sintaxis y semántica de la lógica de primer orden 6.0
11 Sintaxis: fórmulas atómicas Fórmulas atómicas: Def. de fórmula atómica de un lenguaje de primer orden L: Si t y t 2 son términos de L, entonces t = t 2 es una fórmula atómica de L. Si P es un símbolo de relación n aria de L y t,..., t n son términos de L, entonces P (t,..., t n ) es una fórmula atómica de L. Ejemplo: En el lenguaje de la aritmética,. < ( (x, ), s(y)) es una fórmula atómica que se suele escribir como x < s(y) 2. +(x, y) = (x, y) es una fórmula atómica que se suele escribir como x + y = x y Notación: A, B, A, A 2,... representan fórmulas atómicas. Átom(L) representa el conjunto de las fórmulas atómicas de L LI CcIa Sintaxis y semántica de la lógica de primer orden 6.
12 Sintaxis: fórmulas Fórmulas: Def. de las fórmulas de L: Las fórmulas atómicas de L son fórmulas de L. Si F y G son fórmulas de L, entonces F, (F G), (F G), (F G) y (F G) son fórmulas de L. Si F es una fórmula de L, entonces ( x)f y ( x)f son fórmulas de L. Ejemplo: En el lenguaje de la aritmética,. ( x)( y) < (x, y) es una fórmula que se suele escribir como ( x)( y)x < y 2. ( x)( y) + (x, y) no es una fórmula. Notación: F, G, H, F, F 2,... representan fórmulas. Fórm(L) representa el conjunto de las fórmulas de L LI CcIa Sintaxis y semántica de la lógica de primer orden 6.2
13 Sintaxis: fórmulas. Árboles de análisis (o de formación) y esquemáticos ( x)(r(x, c) P (f(y))) ( x) (R(x, c) P (f(y))) R(x, c) P (f(y)) R P x c f(y) x c f y y LI CcIa Sintaxis y semántica de la lógica de primer orden 6.3
14 Sintaxis: subfórmulas Subfórmulas: Def: El conjunto Subf(F ) de las subfórmulas de una fórmula F se define recursivamente por: Subf(F ) = {F }, si F es una fórmula atómica; {F } Subf(G), si F = G; {F } Subf(G) Subf(H), si F = G H; {F } Subf(G), si F = ( x)g; {F } Subf(G), si F = ( x)g Ejemplo: Subf(( x)(r(x, c) P (f(y)))) = { ( x)(r(x, c) P (f(y))), (R(x, c) P (f(y))), R(x, c), P (f(y))} LI CcIa Sintaxis y semántica de la lógica de primer orden 6.4
15 Sintaxis: omisión de paréntesis Criterios de reducción de paréntesis: Pueden eliminarse los paréntesis externos. F G es una abreviatura de (F G) Precedencia de asociación de conectivas y cuantificadores:,,,,,,. xp (x) Q(x) es una abreviatura de (( x)p (x)) Q(x) Cuando una conectiva se usa repetidamente, se asocia por la derecha. F G H es una abreviatura de (F (G H)) F G H F G es una abreviatura de ((F (G H)) ( F G)) Los símbolos binarios pueden escribirse en notación infija. x + y es una abreviatura de +(x, y) x < y es una abreviatura de < (x, y) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.5
16 Sintaxis: conjuntos de variables Conjuntos de variables: Def.: El conjunto de las variables de un término t se define recursivamente por:, si t es una constante; V(t) = {x}, si t es una variable x; V(t )... V(t n ), si t es f(t,..., t n ) Def.: El conjunto de las variables de una fórmula F se define recursivamente por: V(t ) V(t 2 ), si F es t = t 2 ; V(t )... V(t n ), si F es P (t,..., t n ); V(G), si F es G; V(F ) = V(G) V(H), si F es G H; V(G), si F es ( x)g; V(G), si F es ( x)g Ejemplos: El conjunto de las variables de ( x)(r(x, c) P (f(y))) es {x, y}. El conjunto de las variables de ( x)(r(a, c) P (f(y))) es {y}. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.6
17 Sintaxis: apariciones libres y ligadas Apariciones libres y ligadas: Def.: Una aparición (u ocurrencia) de la variable x en la fórmula F es ligada si es en una subfórmula de F de la forma ( x)g ó ( x)g. Def.: Una aparición (u ocurrencia) de la variable x en la fórmula F es libre si no es ligada Ejemplo: Las apariciones ligadas son las subrayadas: ( x)(p (x) R(x, y)) (( y)p (y) R(z, x)) ( x)r(x, y) ( y)p (y) ( x)(p (x) ( y)r(x, y)) P (x) R(x, y) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.7
18 Sintaxis: variables libres y ligadas Variables libres y ligadas: Def.: La variable x es libre en F si tiene una aparición libre en F. Def.: La variable x es ligada en F si tiene una aparición ligada en F. Prop.: El conjunto de las variables libres de una fórmula F es: V(t ) V(t 2 ), si F es t = t 2 ; V(t )... V(t n ), si F es P (t,..., t n ); VL(G), si F es G; VL(F ) = VL(G) VL(H), si F es G H; VL(G) \ {x}, si F es ( x)g; VL(G) \ {x}, si F es ( x)g Ejemplo: Fórmula Ligadas Libres ( x)(p (x) R(x, y)) (( y)p (y) R(x, z)) x, y x, y, z ( x)(p (x) ( y)r(x, y)) x, y ( z)(p (x) R(x, y)) x, y LI CcIa Sintaxis y semántica de la lógica de primer orden 6.8
19 Sintaxis: fórmulas cerradas y básicas Fórmula cerradas: Def.: Una fórmula cerrada (o sentencia) es una fórmula sin variables libres. Ejemplos: ( x)(p (x) ( y)r(x, y)) es cerrada. ( x)r(x, y) ( y)p (y) no es cerrada. Fórmulas básicas: Def.: Una fórmula básica es una fórmula sin variables. Ejemplos: P (a) R(a, b) es básica. ( x)(p (x) ( y)r(x, y)) no es básica. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.9
20 Sintaxis: sustituciones Sustituciones (de un lenguaje): Def.: Una sustitución σ (de L) es una aplicación σ : Var Térm(L). Ejemplo: La aplicación σ de V ar en los términos de la aritmética tal que σ(x) = s(0), σ(y) = x + y y σ(z) = z para z Var \ {x, y} es una sustitución. Notación: [x { /t, x 2 /t 2,..., x n /t n ] representa la sustitución σ definida por ti, si x es x σ(x) = i ; x, si x / {x,..., x n } Ejemplo: La sustitución del ejemplo anterior se representa por [x/s(0), y/x + y] Notación: σ, σ, σ 2,... representarán sustituciones. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.20
21 Sintaxis: Aplicación de sustituciones a términos Aplicación de sustituciones a términos: Def.: t[x /t,..., x n /t n ] es el término obtenido sustituyendo en t las apariciones de x i por t i. Def.: La extensión de σ a términos es la aplicación σ : Térm(L) Térm(L) definida por tσ = c, si t es una constante c; σ(x), si t es una variable x; f(t σ,..., t n σ), si t es f(t,..., t n ) Si σ = [x/f(y, a), y/z], entonces aσ = a, donde a es una constante. wσ = w, donde w es una variable distinta de x e y. h(a, x, w)σ = h(aσ, xσ, wσ) = h(a, f(y, a), w) f(x, y)σ = f(xσ, yσ) = f(f(y, a), z) h(a, f(x, y), w)σ = h(aσ, f(x, y)σ, wσ) = h(a, f(f(y, a), z), w) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.2
22 Sintaxis: Composición de sustituciones Composición de sustituciones: Diferencia entre sustituciones simultáneas y consecutivas: g(x, z)[x/g(z, b), z/a] = g(g(z, b), a) g(x, z))[x/g(z, b)][z/a] = g(g(z, b), z)[z/a] = g(g(a, b), a) Cálculo de la composición: Si σ = [x/f(z, a), y/w] y σ 2 = [x/b, z/g(w)], entonces xσ σ 2 = (xσ )σ 2 = f(z, a)σ 2 = f(zσ 2, aσ 2 ) = f(g(w), a) yσ σ 2 = (yσ )σ 2 = wσ 2 = w zσ σ 2 = (zσ )σ 2 = zσ 2 = g(w) wσ σ 2 = (wσ )σ 2 = wσ 2 = w Por tanto, σ σ 2 = [x/f(g(w), a), y/w, z/g(w)]. Comprobación: h(y, x)σ σ 2 = (h(y, x)σ )σ 2 = h(w, f(z, a))σ 2 = h(wσ 2, f(z, a)σ 2 ) = h(w, f(g(w), a)) h(y, x)σ σ 2 = h(y, x)[x/f(g(w), a), y/w, z/g(w)] = h(w, f(g(w), a)) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.22
23 Sintaxis: Aplicación de sustituciones a fórmulas Aplicación de sustituciones a fórmulas: Def.: F [x /t,..., x n /t n ] es la fórmula obtenida sustituyendo en F las apariciones libres de x i por t i. Def.: La extensión de σ a fórmulas es la aplicación σ : Fórm(L) Fórm(L) definida por P (t σ,..., t n σ), si F es la fórmula atómica P (t,..., t n ); t σ = t 2 σ, si F es la fórmula t = t 2 ; F σ = (Gσ), si F es G; Gσ Hσ, si F es G H; (Qx)(Gσ x ), si F es (Qx)G y Q {, } donde σ x es la sustitución definida por { x, si y es x; σ x (y) = σ(y) si y es distinta de x LI CcIa Sintaxis y semántica de la lógica de primer orden 6.23
24 Sintaxis: Aplicación de sustituciones a fórmulas Ejemplos: Si σ = [x/f(y), y/b], entonces. (( x)(q(x) R(x, y)))σ = ( x)((q(x) R(x, y))σ x ) = ( x)(q(x)σ x R(x, y)σ x ) = ( x)(q(x) R(x, b)) 2. (Q(x) ( x)r(x, y))σ = Q(x)σ (( x)r(x, y))σ = Q(f(y)) ( x)(r(x, y)σ x ) = Q(f(y)) ( x)r(x, b) 3. (( x)(q(x) ( y)r(x, y)))σ = ( x)((q(x) ( y)r(x, y))σ x ) = ( x)(q(x)σ x (( y)r(x, y))σ x ) = ( x)(q(x) ( y)(r(x, y)σ xy )) = ( x)(q(x) ( y)r(x, y)) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.24
25 Sintaxis: Sustituciones libres Sustituciones libres: Def.: Una sustitución se denomina libre para una fórmula cuando todas las apariciones de variables introducidas por la sustitución en esa fórmula resultan libres. Ejemplos: [y/x] no es libre para ( x)(x < y) ( x)(x < y)[y/x] = ( x)(x < x) [y/g(y)] es libre para ( x)(p (x) Q(x, f(y))) ( x)(p (x) Q(x, f(y)))[y/g(y)] = ( x)(p (x) Q(x, f(g(y)))) [y/g(x)] no es libre para ( x)(p (x) Q(x, f(y))) ( x)(p (x) Q(x, f(y)))[y/g(x)] = ( x)(p (x) Q(x, f(g(x)))) Convenio: Al escribir F σ supondremos que σ es libre para F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.25
26 Semántica: Estructuras, asignaciones e interpretaciones Una estructura del lenguaje L es un par I = (U, I) tal que: U es un conjunto no vacío, denominado universo de la estructura; I es una función cuyo dominio es el conjunto de símbolos propios de L y tal que si c es una constante de L, entonces I(c) U (i.e. I(c) es un elemento de U); si f es un símbolo de función n aria (n > 0) de L, entonces I(f) : U n U (i.e. I(f) es una función n aria en U); si R es un símbolo de relación n aria (n > 0) de L, entonces I(R) U n (i.e. I(R) es una relación n aria en U). Una asignación A en una estructura (U, I) es una función A : Var U que hace corresponder a cada variable del alfabeto un elemento del universo de la estructura. Una interpretación de L es un par (I, A) formado por una estructura I de L y una asignación A en I. Notación: A veces se usa para los valores de verdad V y F en lugar de y 0. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.26
27 Semántica: Estructuras Ejemplos: Sea L el lenguaje de la aritmética cuyos símbolos propios son: constante: 0; símbolo de función monaria: s; símbolo de función binaria: + y símbolo de relación binaria: Primera estructura de L: U = N I (0) = 0 I (s) = {(n, n + ) : n N} (sucesor) I (+) = {(a, b, a + b) : a, b N} (suma) I ( ) = {(n, m) : n, m N, n m} (menor o igual) Segunda estructura de L: U 2 = {0, } (cadenas de 0 y ) I 2 (0) = ɛ (cadena vacía) I 2 (s) = {(w, w) : w {0, } } (siguiente) I 2 (+) = {(w, w 2, w w 2 ) : w, w 2 {0, } } (concatenación) I 2 ( ) = {(w, w 2 ) : w, w 2 {0, }, w es prefijo de w 2 } (prefijo) LI CcIa Sintaxis y semántica de la lógica de primer orden 6.27
28 Semántica: Estructuras Ejemplos (cont.): Tercera estructura de L: U 3 = {abierto, cerrado} I 3 (0) = cerrado I 3 (s) = { (abierto, cerrado), (cerrado, abierto)} I 3 (+) = { (abierto, abierto, abierto), (abierto, cerrado, abierto), (cerrado, abierto, abierto), (cerrado, cerrado, cerrado)} I 3 ( ) = { (abierto, abierto), (cerrado, abierto), (cerrado, cerrado)} e abierto cerrado I 3 (s)(e) cerrado abierto I 3 (+) abierto cerrado abierto abierto abierto cerrado abierto cerrado I 3 ( ) abierto cerrado abierto 0 cerrado LI CcIa Sintaxis y semántica de la lógica de primer orden 6.28
29 Semántica: Evaluación de términos Evaluación de términos: Def.: Dada una estructura I = (U, I) de L y una asignación A en I, se define la función de evaluación de términos I A : Térm(L) U por I(c), si t es una constante c; I A (t) = A(x), si t es una variable x; I(f)(I A (t ),..., I A (t n )), si t es f(t,..., t n ) I A (t) se lee el valor de t en I respecto de A. Ejemplos: Sean L el lenguaje de la página?? y t el término s(+(x, s(0))). Si I es la primera estructura y A(x) = 3, entonces I A (t) = I A (s(+(x, s(0)))) = I(s)(I A (+(x, s(0)))) = = I(s)(I(+)(I A (x), I A (s(0)))) = I(s)(I(+)(A(x), I A (s(0)))) = = I(s)(I(+)(3, I(s)(I A (0)))) = I(s)(I(+)(3, I(s)(I(0)))) = = I(s)(I(+)(3, I(s)(0))) = I(s)(I(+)(3, )) = = I(s)(4) = 5 LI CcIa Sintaxis y semántica de la lógica de primer orden 6.29
30 Semántica: Evaluación de términos Ejemplos (cont.) Si I es la segunda estructura y A(x) = 0, entonces I A (t) = I A (s(+(x, s(0)))) = I(s)(I A (+(x, s(0)))) = = I(s)(I(+)(I A (x), I A (s(0)))) = I(s)(I(+)(A(x), I A (s(0)))) = = I(s)(I(+)(0, I(s)(I A (0)))) = I(s)(I(+)(0, I(s)(I(0)))) = = I(s)(I(+)(0, I(s)(ɛ))) = I(s)(I(+)(0, )) = = I(s)(0) = 0 Si I es la tercera estructura y A(x) = abierto, entonces I A (t) = I A (s(+(x, s(0)))) = I(s)(I A (+(x, s(0)))) = = I(s)(I(+)(I A (x), I A (s(0)))) = I(s)(I(+)(A(x), I A (s(0)))) = = I(s)(I(+)(abierto, I(s)(I A (0)))) = I(s)(I(+)(abierto, I(s)(I(0)))) = = I(s)(I(+)(abierto, I(s)(cerrado))) = I(s)(I(+)(abierto, abierto)) = = I(s)(abierto) = cerrado LI CcIa Sintaxis y semántica de la lógica de primer orden 6.30
31 Semántica: Evaluación de términos Ejemplo anterior con notación reducida e infija: Sean L el lenguaje de la página?? y t el término s(x + s(0)). Si I es la primera estructura y A(x) = 3, entonces I A (t) = I A (s(x + s(0))) = s I (3 + I s I (0 I )) = = s I (3 + I s I (0)) = s I (3 + I ) = = s I (4) = 5 Si I es la segunda estructura y A(x) = 0, entonces I A (t) = I A (s(x + s(0))) = s I (0 + I s I (0 I )) = = s I (0 + I s I (ɛ)) = s I (0 + I ) = = s I (0) = 0 Si I es la tercera estructura y A(x) = abierto, entonces I A (t) = I A (s(x + s(0))) = s I (abierto + I s I (0 I )) = = s I (abierto + I s I (cerrado)) = s I (abierto + I abierto) = = s I (abierto) = cerrado LI CcIa Sintaxis y semántica de la lógica de primer orden 6.3
32 Semántica: Evaluación de fórmulas Variante de una asignación: Def.: Sea A una asignación en la estructura (U, I) y u U. Mediante A[x/u] se representa la asignación definida por { u, si y es x; A[x/u](y) = A(y) si y es distinta de x Función de verdad de una relación: Def.: Si R es una relación n aria en U (i.e. R U n ), entonces la función de verdad de R es la función H R : U n B definida por {, si (u,..., u H R (u,..., u n ) = n ) R; 0, en caso contrario Función de verdad de la igualdad: Def.: La función de verdad de la igualdad en U es la función H = : U 2 B definida por H = (u, u 2 ) = {, si u = u 2 ; 0, en caso contrario LI CcIa Sintaxis y semántica de la lógica de primer orden 6.32
33 Semántica: Evaluación de fórmulas Evaluación de fórmulas: Def.: Dada una estructura I = (U, I) de L y una asignación A sobre I, se define la función de evaluación de fórmulas I A : Fórm(L) B por Si F es t = t 2, I A (F ) = H = (I A (t ), I A (t 2 )) Si F es P (t,..., t n ), I A (F ) = H I(P ) (I A (t ),..., I A (t n )) Si F es G, I A (F ) = H (I A (G)) Si F es G H, I A (F ) = H (I A (G), I A (H)) Si F es ( x)g, I A (F ) = Si F es ( x)g, I A (F ) = {, si para todo u U se tiene IA[x/u] (G) = ; 0, en caso contrario {, si existe algún u U tal que IA[x/u] (G) = ; 0, en caso contrario I A (F ) se lee el valor de F en I respecto de A. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.33
34 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( y)p (x, y) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(P ) = {(, ), (2, 2)} y A(x) = En notación completa: I A (( y)p (x, y)) = V I A[y/] P (x, y) = V ó I A[y/2] P (x, y) = V I A[y/] P (x, y) = H I(P ) (I A[y/] (x), I A[y/] (y)) = H I(P ) (A[y/](x), A[y/](y)) = H I(P ) (, ) = V Luego, I A (( y)p (x, y)) = V. En notación reducida: I A (( y)p (x, y)) = V I A[y/] P (x, y) = V ó I A[y/2] P (x, y) = V I A[y/] P (x, y) = P I (A[y/](x), A[y/](y)) = P I (, ) = V Luego, I A (( y)p (x, y)) = V. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.34
35 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( x)( y)p (x, y) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2} e I(P ) = {(, ), (2, 2)} I A (( x)( y)p (x, y)) = V I A[x/] (( y)p (x, y)) = V y I A[x/2] (( y)p (x, y)) = V I A[x/] (( y)p (x, y)) = V I A[x/,y/] P (x, y) = V ó I A[x/,y/2] P (x, y) = V I A[x/,y/] P (x, y) = H I(P ) (I A[x/,y/] (x), I A[x/,y/] (y)) = H I(P ) (A[x/, y/](x), A[x/, y/](y)) = H I(P ) (, ) = V Luego, I A[x/] (( y)p (x, y)) = V. I A[x/2] (( y)p (x, y)) = V I A[x/2,y/] P (x, y) = V ó I A[x/2,y/2] P (x, y) = V I A[x/2,y/2] P (x, y) = H I(P ) (I A[x/2,y/2] (x), I A[x/2,y/2] (y)) = H I(P ) (A[x/2, y/2](x), A[x/2, y/2](y)) = H I(P ) (2, 2) = V Luego, I A[x/2] (( y)p (x, y)) = V. Por tanto, I A (( x)( y)p (x, y)) = V LI CcIa Sintaxis y semántica de la lógica de primer orden 6.35
36 Semántica: Evaluación de fórmulas Ejemplo anterior en notación reducida: Evaluación de ( x)( y)p (x, y) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2} e I(P ) = {(, ), (2, 2)} I A (( x)( y)p (x, y)) = V I A[x/] (( y)p (x, y)) = V y I A[x/2] (( y)p (x, y)) = V I A[x/] (( y)p (x, y)) = V I A[x/,y/] P (x, y) = V ó I A[x/,y/2] P (x, y) = V I A[x/,y/] P (x, y) = P I (, ) = V Luego, I A[x/] (( y)p (x, y)) = V. I A[x/2] (( y)p (x, y)) = V I A[x/2,y/] P (x, y) = V ó I A[x/2,y/2] P (x, y) = V I A[x/2,y/2] P (x, y) = P I (2, 2) = V Luego, I A[x/2] (( y)p (x, y)) = V. Por tanto, I A (( x)( y)p (x, y)) = V LI CcIa Sintaxis y semántica de la lógica de primer orden 6.36
37 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( x)(p (x) Q(g(x), a)) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(a) =, I(g) = {(, 2), (2, )}, I(P ) = {2} e I(Q) = {(, 2), (2, 2)}. I A (( x)(p (x) Q(g(x), a))) = V I A[x/] (P (x) Q(g(x), a)) = V y I A[x/2] (P (x) Q(g(x), a)) = V I A[x/] (P (x) Q(g(x), a)) = = H (I A[x/] (P (x)), I A[x/] (Q(g(x), a))) = = H (H I(P ) (I A[x/] (x)), H I(Q) (I A[x/] (g(x)), I A[x/] (a))) = = H (H I(P ) (A[x/](x)), H I(Q) (I(g)(I A[x/] (x)), I(a))) = = H (H I(P ) (), H I(Q) (I(g)(A[x/](x)), )) = = H (F, H I(Q) (I(g)(), )) = = H (F, H I(Q) (2, )) = = H (F, F) = = V LI CcIa Sintaxis y semántica de la lógica de primer orden 6.37
38 Semántica: Evaluación de fórmulas Ejemplo (cont.) I A[x/2] (P (x) Q(g(x), a)) = = H (I A[x/2] (P (x)), I A[x/2] (Q(g(x), a))) = = H (H I(P ) (I A[x/2] (x)), H I(Q) (I A[x/2] (g(x)), I A[x/2] (a))) = = H (H I(P ) (A[x/2](x)), H I(Q) (I(g)(I A[x/2] (x)), I(a))) = = H (H I(P ) (2), H I(Q) (I(g)(A[x/2](x)), )) = = H (V, H I(Q) (I(g)(2), )) = = H (V, H I(Q) (, )) = = H (V, V) = = V Por tanto, I A (( x)(p (x) Q(g(x), a))) = V. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.38
39 Semántica: Evaluación de fórmulas Ejemplo anterior con notación reducida: Evaluación de ( x)(p (x) Q(g(x), a)) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(a) =, I(g) = {(, 2), (2, )}, I(P ) = {2} e I(Q) = {(, 2), (2, 2)}. I A (( x)(p (x) Q(g(x), a))) = V I A[x/] (P (x) Q(g(x), a)) = V y I A[x/2] (P (x) Q(g(x), a)) = V I A[x/] (P (x) Q(g(x), a)) = P I () Q I (g I (), a I ) = F Q I (2, ) = F F = V I A[x/2] (P (x) Q(g(x), a)) = P I (2) Q I (g I (2), a I ) = V Q I (, ) = V V = V Por tanto, I A (( x)(p (x) Q(g(x), a))) = V. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.39
40 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( x)(p (g(x)) Q(x, g(a))) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(a) =, I(g) = {(, 2), (2, )}, I(P ) = {2} e I(Q) = {(, 2), (2, 2)}. I A (( x)(p (g(x)) Q(x, g(a)))) = V I A[x/] (P (g(x)) Q(x, g(a))) = V ó I A[x/2] (P (g(x)) Q(x, g(a))) = V I A[x/] (P (g(x)) Q(x, g(a))) = P I (g I ()) Q I (, g I (a I )) = P I (2) Q I (, g I ()) = V Q I (, 2) = V V = V Por tanto, I A (( x)(p (g(x)) Q(x, g(a)))) = V. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.40
41 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( x)(p (x) Q(x, a)) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(a) =, I(g) = {(, 2), (2, )}, I(P ) = {2} e I(Q) = {(, 2), (2, 2)}. I A (( x)(p (x) Q(x, a))) = V I A[x/] (P (x) Q(x, a)) = V ó I A[x/2] (P (x) Q(x, a)) = V I A[x/] (P (x) Q(x, a)) = P I () Q I (, a I ) = F Q I (, ) = F V = F I A[x/2] (P (x) Q(x, a)) = P I (2) Q I (2, a I ) = V Q I (2, ) = V F = F Por tanto, I A (( x)(p (x) Q(x, a))) = F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.4
42 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( x)( y)(p (x) Q(x, y)) en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(a) =, I(g) = {(, 2), (2, )}, I(P ) = {2} e I(Q) = {(, 2), (2, 2)}. I A (( x)( y)(p (x) Q(x, y))) = V I A[x/] ( y)(p (x) Q(x, y)) = V y I A[x/2] ( y)(p (x) Q(x, y)) = V I A[x/] ( y)(p (x) Q(x, y)) = V I A[x/,y/] (P (x) Q(x, y)) = V ó I A[x/,y/2] (P (x) Q(x, y)) = V I A[x/,y/] (P (x) Q(x, y)) = P I () Q I (, ) = F V = F I A[x/,y/2] (P (x) Q(x, y)) = P I () Q I (, 2) = F V = F Luego, I A[x/] ( y)(p (x) Q(x, y)) = F Por tanto, I A (( x)( y)(p (x) Q(x, y))) = V. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.42
43 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( x)g(x) = x en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(a) =, I(g) = {(, 2), (2, )}, I(P ) = {2} e I(Q) = {(, 2), (2, 2)}. I A (( x)g(x) = x) = V I A[x/] g(x) = x = V y I A[x/2] g(x) = x = V I A[x/] (g(x) = x) = (g I () = ) = (2 = ) = F Por tanto, I A (( x)g(x) = x) = F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.43
44 Semántica: Evaluación de fórmulas Ejemplo: Evaluación de ( x)g(g(x)) = x en la estructura I = (U, I) respecto de la asignación A tales que U = {, 2}, I(a) =, I(g) = {(, 2), (2, )}, I(P ) = {2} e I(Q) = {(, 2), (2, 2)}. I A (( x)g(g(x)) = x) = V I A[x/] g(g(x)) = x = V y I A[x/2] g(g(x)) = x = V I A[x/] (g(g(x)) = x) = (g I (g I ()) = ) = (g I (2) = ) = ( = ) = V I A[x/2] (g(g(x)) = x) = (g I (g I (2)) = 2) = (g I () = 2) = (2 = 2) = V Por tanto, I A (( x)g(g(x)) = x) = V. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.44
45 Semántica: Evaluación de fórmulas Ejemplo de dependencia del universo: Sea G la fórmula ( x)( y)r(y, x), entonces I A (G) = V, siendo I = (Z, I), I(R) = < y A una asignación en I. I A (G) = F, siendo I = (N, I), I(R) = < y A una asignación en I. Ejemplo de dependencia de la estructura: Sea G la fórmula ( x)( y)r(x, y), entonces I A (G) = V, siendo I = (N, I), I(R) = y A una asignación en I. I A (G) = F, siendo I = (N, I), I(R) = y A una asignación en I. Ejemplo de dependencia de la asignación: Sea G la fórmula ( y)r(x, y), entonces I A (G) = V, siendo I = (N, I), I(R) = y A una asignación en I tal que A(x) = 0. I A (G) = F, siendo I = (N, I), I(R) = y A una asignación en I tal que A(x) = 5. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.45
46 Semántica: Evaluación de fórmulas Evaluación de fórmulas en las estructuras de las páginas????: Fórmula I I I 3 ( x)0 x V V V ( x)x s(x) V V F ( x)s(x) = 0 F F V ( x)s(x) = x F F F LI CcIa Sintaxis y semántica de la lógica de primer orden 6.46
47 Semántica: Evaluación variables libres Evaluación y variables libres: Sea t un término de L, F una fórmula de L e I una estructura de L. Si A y B son dos asignaciones en I que coinciden sobre las variables de t, entonces I A (t) = I B (t). Si A y B son dos asignaciones en I que coinciden sobre las variables libres de F, entonces I A (F ) = I B (F ). Si t no tiene variables, entonces I A (F ) = I B (F ) para cualesquiera asignaciones A y B en I. Se suele escribir simplemente I(t). Si F es cerrada, entonces I A (F ) = I B (F ) para cualesquiera asignaciones A y B en I. Se suele escribir simplemente I(F ). Si las variables libres de F son x,..., x n, entonces son equivalentes I A (F ) =, para toda asignación A en I. I(( x )... ( x n )F ) =. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.47
48 Semántica: Realización de una fórmula Realización de una fórmula: Def.: Sean F una fórmula de L, I una estructura de L y A una asignación en I. (I, A) es una realización de F si I A (F ) =. Se representa por I A = F. (I, A) no es una realización de F si I A (F ) = 0. Se representa por I A = F. F se verifica en I respecto de A si I A = F. F no se verifica en I respecto de A si I A = F. Ejemplos: Sea I = (N, I) una estructura tal que I(R) =. Si A es una asignación en I tal que A(x) = 0. entonces I A = ( y)r(x, y), Si A es una asignación en I tal que A(x) = 5, entonces I A = ( y)r(x, y), LI CcIa Sintaxis y semántica de la lógica de primer orden 6.48
49 Semántica: Satisfacibilidad en una estructura Satisfacibilidad en una estructura Def.: Sean F una fórmula de L e I una estructura de L. F es satisfacible en I si existe alguna asignación A en I tal que I A = F. F es insatisfacible en I si no existe ninguna asignación A en I tal que I A = F. Ejemplos: Sea I = (N, I) una estructura tal que I(R) =. ( y)r(x, y) es satisfacible en I. I A = ( y)r(x, y), con A(x) = 0. ( x)r(x, y) es insatisfacible en I. No existe n N tal que para todo m N, se tenga m n. Ejemplos: Sea I = (N, I) una estructura tal que I(R) =. ( y)r(x, y) es insatisfacible en I. No existe m N tal que para todo n N, se tenga m n. ( x)r(x, y) es satisfacible en I. I A = ( y)r(x, y), con A(x) = 0. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.49
50 Semántica: Validez en una estructura Validez en una estructura Def.: Sean F una fórmula de L e I una estructura de L. F es válida en I si, para toda asignación A en I, I A = F. Se representa por I = F. F no es válida en I si, para alguna asignación A en I, I A = F. Se representa por I = F. Ejemplos: Sea I = (N, I) una estructura tal que I(R) =<. I = ( y)r(x, y). Si A es una asignación en I, entonces I A = ( y)r(x, y) I A[y/A(x)+] (R(x, y)) = V I = ( y)r(x, y). Sea A una asignación en I tal que A(x) = 5. Entonces I A = ( y)r(x, y) I A[y/3] (R(x, y)) = F LI CcIa Sintaxis y semántica de la lógica de primer orden 6.50
51 Semántica: Satisfacibilidad y validez en una estructura Satisfacibilidad y validez en una estructura para sentencias Sea F una sentencia de L e I una estructura de L. F es válida en I syss F es satisfacible en I. Se cumple una, y sólo una, de las siguientes condiciones. F es válida en I. 2. F es válida en I. Cierres cuantificacionales: Sea F una fórmula de L, I una estructura de L y {x,..., x n } el conjunto de las variables libres de F. F es válida en I syss ( x )... ( x n )F es válida en I F es satisfacible en I syss ( x )... ( x n )F es satisfacible en I LI CcIa Sintaxis y semántica de la lógica de primer orden 6.5
52 Semántica: Modelo de una fórmula Modelo de una fórmula: Def.: Sean F una fórmula de L e I una estructura de L. I es un modelo de F si I = F. I no es un modelo de F si I = F. Ejemplos: Sea I = (N, I) una estructura tal que I(R) =<. Entonces I = ( y)r(x, y). I = ( y)r(x, y). Ejemplos: Sea F la fórmula ( x)f(x, e) = x. Las siguientes estructuras son modelos de F. (U, I) con U = N, I(e) = 0 e I(f) como la suma. (U, I) con U = {0, }, I(e) = ɛ e I(f) la concatenación. (U, I) con U = B, I(e) = e I(f) = H Las siguientes estructuras no son modelo de F (U, I) con U = N, I(e) = 5 e I(f) como la suma. (U, I) con U = N, I(e) = 0 e I(f) como el producto. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.52
53 Semántica: Satisfacibilidad de una fórmula Satisfacibilidad de una fórmula: Def.: Sea F una fórmula de L. F es satisfacible si tiene alguna realización (i.e. existe una estructura I y una asignación A en I tales que I A (F ) = ). F es insatisfacible si no tiene ninguna realización (i.e. para toda estructura I y toda asignación A se tiene que I A (F ) = 0). Ejemplos: ( y)r(x, y) es satisfacible I A (( y)r(x, y)) =, siendo I = (N, I), I(R) = y A(x) = 0. ( x)p (x) ( x) P (x) es insatisfacible. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.53
54 Semántica: Satisfacibilidad y modelo Propiedades: Sea F una fórmula cerrada. Son equivalentes: F es satisfacible. F tiene modelo. Si F es insatisfacible, entonces no tiene ningún modelo. Existen fórmulas satisfacibles que tienen realizaciones, pero no tienen modelos. Por ejemplo, sea F la fórmula x y. La fórmula F es satisfacible I A (F ) =, siendo I = ({p, q}, I), A(x) = p, A(y) = q La fórmula F no tiene modelo Sea I una estructura. Existe una asignación A en I tal que A(x) = A(y). Luego, I A (F ) = 0 y I = F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.54
55 Semántica: Validez de una fórmula Validez de una fórmula: Def.: Sea F una fórmula de L. F es válida si toda estructura de L es modelo de F (i.e. para toda estructura I y toda asignación A se tiene que I A (F ) = ). Se representa por = F. F no es válida si alguna estructura de L no es modelo de F (i.e. existe alguna estructura I y alguna asignación A tales que I A (F ) = 0). Se representa por = F. Ejemplos: ( x)p (x) ( x) P (x) es válida. ( y)r(x, y) no es válida. I A (( y)r(x, y)) = 0, siendo I = (N, I), I(R) = y A(x) = 5. ( x)(p (x) ( y)p (y)) es válida. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.55
56 Semántica: Satisfacibilidad y validez Relaciones entre satisfacibilidad y validez: Prop.: F es válida syss F es insatisfacible. F es válida para toda estructura I y toda asignación A se tiene que I A (F ) = para toda estructura I y toda asignación A se tiene que I A ( F ) = 0 F es insatisfacible. Si F es válida, entonces F es satisfacible. F es válida = para toda estructura I y toda asignación A se tiene que I A (F ) = = existe una estructura I y una asignación A tales que I A (F ) = = F es satisfacible. F es satisfacible = / F es insatisfacible. ( x)p (x) es satisfacible. modelo I = (U, I) con U = {, 2} e I(P ) = {a} ( x)p (x) es satisfacible. modelo I = (U, I) con U = {, 2} e I(P ) = {a} LI CcIa Sintaxis y semántica de la lógica de primer orden 6.56
57 Semántica: Realización de un conjunto de fórmulas Notación: S, S, S 2,... representarán conjuntos de fórmulas. Realización de un conjunto de fórmulas: Def.: Sean S un conjunto de fórmulas de L, I una estructura de L y A una asignación en I. (I, A) es una realización de S si para toda F S se tiene que I A (F ) =. Se representa por I A = S. (I, A) no es una realización de S si para alguna F S se tiene que I A (F ) = 0. Se representa por I A = S. Ejemplos: Sea S = {( y)r(x, y), ( y)f(x, y) = y}. (I, A) con I = (U, I), U = N, R I =, f I = +, A(x) = 0 es realización de S. (I, A) con I = (U, I), U = N, R I = <, f I = +, A(x) = 0 no es realización de S. (I, A) con I = (U, I), U = N, R I =, f I =, A(x) = 0 no es realización de S. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.57
58 Semántica: Consistencia de un conjunto de fórmulas Consistencia de un conjunto de fórmulas: Def.: Sea S un conjunto de fórmulas de L. S es consistente si S tiene alguna realización (i.e. existe alguna estructura I de L y alguna asignación A en I tales que, para toda F S, I A (F ) = ). S es inconsistente si S no tiene ninguna realización (i.e. para toda estructura I de L y toda asignación A en I, existe alguna F S, tal que I A (F ) = 0). Ejemplos: S = {( y)r(x, y), ( y)f(x, y) = y} es consistente. (I, A) con I = (N, I), R I =, f I = +, A(x) = 0 es realización de S. S = {P (x) Q(x), ( y)p (y), Q(x)} es inconsistente. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.58
59 Semántica: Modelo de un conjunto de fórmulas Modelo de un conjunto de fórmulas: Def.: Sean S un conjunto de fórmulas de L e I una estructura de L. I es un modelo de S si para toda F S se tiene que I = F (i.e. para toda F S y toda asignación A en I se tiene I A (F ) = ). Se representa por I = S. I no es un modelo de S si para alguna F S se tiene que I = F (i.e. para alguna F S y alguna asignación A en I se tiene I A (F ) = 0). Se representa por I = S. Ejemplos: Sea S = {R(e, y), f(e, y) = y}. I = (N, I) con R I =, f I = +, e I = 0 es modelo de S. I = (N, I) con R I = <, f I = +, e I = 0 no es modelo de S. I = (N, I) con R I =, f I =, e I = 0 no es modelo de S. I = ({0, }, I) con R I = prefijo, f I = concatenación y e I = ɛ es modelo de S. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.59
60 Semántica: Consistencia y modelo Propiedades: Sea S un conjunto de fórmulas cerradas. Son equivalentes: S es consistente. S tiene modelo. Si S es inconsistente, entonces no tiene ningún modelo. Existen conjuntos de fórmulas consistentes que tienen realizaciones, pero no tienen modelos. Por ejemplo, sea S = {x y}. El conjunto S es consistente I A = S, siendo I = ({p, q}, I), A(x) = p, A(y) = q El conjunto S no tiene modelo Sea I una estructura. Existe una asignación A en I tal que A(x) = A(y). Luego, I A (x y) = 0 y I = F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.60
61 Semántica: Consecuencia lógica Consecuencia lógica: Def.: Sean F una fórmula de L y S un conjunto de fórmulas de L. F es consecuencia lógica de S si todas las realizaciones de S lo son de F. (i.e. para toda estructura I de L y toda asignación A en I, si I A = S entonces I A = F ). (i.e. para toda estructura I de L y toda asignación A en I, si, para todo G S, I A (G) = entonces I A (F ) = ). Se representa por S = F. F no es consecuencia lógica de S si alguna realización de S no lo es de F. (i.e. para alguna estructura I de L y alguna asignación A en I se tiene que I A = S y I A = F ). (i.e. para alguna estructura I de L y alguna asignación A en I se tiene que, para todo G S, I A (G) = y I A (F ) = 0). Se representa por S = F. Se escribe G = F en lugar de {G} = F. Se escribe G = F en lugar de {G} = F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.6
62 Semántica: Consecuencia lógica Ejemplos: ( x)p (x) = P (y) P (y) = ( x)p (x) (I, A) con I = (U, I), U = {, 2}, P I = {}, A(y) =. ( x)p (x) = ( y)p (y) ( x)p (x) = ( y)p (y) I = (U, I) con U = {, 2}, P I = {} I = (U, I) con U = N y P I = {n N : n es par ( x)( y)q(x, y) = ( y)( x)q(x, y) ( y)( x)q(x, y) = ( x)( y)q(x, y) I = (U, I) con U = {, 2}, Q I = {(, ), (2, 2)} I = (U, I) con U = N, Q I = < LI CcIa Sintaxis y semántica de la lógica de primer orden 6.62
63 Semántica: Consecuencia lógica Ejemplos: {P (x) Q(x), P (c)} = Q(c) {P (x) Q(x), Q(c)} = P (c) {P (x) Q(x), Q(c)} = P (c) {P (c), P (d)} = c d Ejemplos: Se consideran las fórmulas F : ( x)r(x, x), F 2 : ( x)( y)(r(x, y) R(y, x)). F 3 : ( x)( y)(r(x, y) R(y, x) x = y), {F 2, F 3 } = F {F, F 2 } = F 3 {F, F 3 } = F 2 Contraejemplo: I = (U, I) con U = {a, b} y R I = {(a, a)} Contraejemplo: I = (U, I) con U = {a, b} y R I = U 2 LI CcIa Sintaxis y semántica de la lógica de primer orden 6.63
64 Semántica: Consecuencia lógica Propiedades: S = F syss S { F } es inconsistente. S = F para toda estructura I de L y toda asignación A en I, si, para todo G S, I A (G) = entonces I A (F ) =. para toda estructura I de L y toda asignación A en I, si, para todo G S, I A (G) = entonces I A ( F ) = 0. para toda estructura I de L y toda asignación A en I, existe alguna H S { F } tal que I A ( H) = 0. S { F } es inconsistente. Sean F una fórmula cerrada de L y S un conjunto de fórmulas cerradas de L. Entonces, F es consecuencia lógica de S syss todos los modelos de S lo son de F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.64
65 Semántica: Equivalencia lógica Equivalencia lógica Def.: Sean F y G fórmulas de L. F y G son equivalentes si para toda estructura I de L y toda asignación A en I, I A (F ) = I A (G). Se representa por F G. Ejemplos: P (x) P (y). I = ({, 2}, I) con P I = {} y A(x) =, A(y) = 2. ( x)p (x) ( y)p (y). ( x)(p (x) Q(x)) ( x)p (x) ( x)q(x). ( x)(p (x) Q(x)) ( x)p (x) ( x)q(x). I = ({, 2}, I) con P I = {} y Q I = {2}. Propiedades: Sean F y G fórmulas cerradas de L. F G syss = F G. F G syss F = G y G = F. LI CcIa Sintaxis y semántica de la lógica de primer orden 6.65
66 Bibliografía C. Badesa, I. Jané y R. Jansana Elementos de lógica formal y (Ariel, 2000) pp. M.L. Bonet Apuntes de LPO. (Univ. Politécnica de Cataluña, 2003) pp C. L. Chang y R.C. T. Lee Symbolic logic and mechanical theorem proving (Academic Press, 973) pp J. Dingel Propositional and predicate logic: a review. (2000) pp J.L. Fernández, A. Manjarrés y F.J. Díez Lógica computacional. (UNED, 2003) pp J.H. Gallier Logic for computer science (foundations of automatic theorem Proving) (June 2003) pp M. Huth y M. Ryan Logic in computer science: modelling and reasoning about systems. (Cambridge University Press, 2000) pp y M. Ojeda e I. Pérez de Guzmán Lógica para la computación (Vol. 2: Lógica de primer orden) (Ágora, 997) pp. 37 y L. Paulson Logic and proof (U. Cambridge, 2002) pp LI CcIa Sintaxis y semántica de la lógica de primer orden 6.66
Lógica informática ( )
Lógica informática (2008 09) Tema 3: Sintaxis y semántica de la lógica de primer orden José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesLógica informática ( )
1 / 45 Lógica informática (2012 13) Tema 7: Sintaxis y semántica de la lógica de primer orden José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento
Más detallesTema 8: Formas normales.
Lógica informática Curso 2003 04 Tema 8: Formas normales. Cláusulas José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LI 2003
Más detallesTema 1: Sintaxis y semántica de la lógica proposicional
Lógica informática Curso 2003 04 Tema : Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 9: Modelos de Herbrand
Lógica informática Curso 2003 04 Tema 9: Modelos de Herbrand José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla LI 2003 04
Más detallesLógica informática ( )
1 / 34 Lógica informática (2013 14) Tema 1: Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento
Más detallesLógica informática ( )
Lógica informática (2005 06) Tema 1: Sintaxis y semántica de la lógica proposicional José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica informática ( )
1 / 23 Lógica informática (2011 12) Tema 9: de Skolem y cláusulas José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesLógica informática ( )
Lógica informática (2008 09) Tema 8: de Skolem y cláusulas José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de
Más detallesLógica informática ( )
1 / 25 Lógica informática (2007 08) Tema 9: José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla 2 / 25
Más detallesTema 2: Equivalencias y formas normales
Lógica informática Curso 2003 04 Tema 2: Equivalencias y formas normales José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesTema 9: Resolución en lógica de primer orden
Lógica informática Curso 2004 05 Tema 9: Resolución en lógica de primer orden José A. Alonso Jiménez Andrés Cordón Franco Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia
Más detallesLógica de Primer orden. Sintaxis y Semántica Ejercicios del Tema 2
1 Lógica de Primer orden. Sintaxis y Semántica Ejercicios del Tema 2 1. Para las siguientes fórmulas concluir qué variables son libres y cuáles son ligadas, detallando el carácter de libertad de cada una
Más detallesLógica informática ( )
1 / 20 Lógica informática (2013 14) Tema 4: Formas normales José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesTema 2: Lógica proposicional: Sintaxis y semántica
Razonamiento Automático Curso 200 2002 Tema 2: Lógica proposicional: Sintaxis y semántica José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesLógica informática ( )
Lógica informática (2007 08) Tema 6: Formas normales José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
Más detallesLógica de Predicados
Lógica de Predicados En las últimas décadas, ha aumentado considerablemente el interés de la informática por la aplicación de la lógica a la programación. De hecho, ha aparecido un nuevo paradigma de programación,
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
Más detallesLógica Clásica de Predicados
Lógica Clásica de Predicados Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga 10 de enero de 2008 Contenido 1 Sintaxis 2 Variables y Sustituciones 3 Significado y verdad 4
Más detallesLógica de Predicados de Primer Orden
Lógica de Predicados: Motivación Todo natural es entero y 2 es un natural. Luego 2 es entero. p q r p, q r es claramente un razonamiento válido pero no es posible demostrarlo desde la Lógica Proposicional
Más detallesLenguajes de primer orden. Lógica y Computabilidad. símbolos lógicos y auxiliares: x ( ) Segundo cuatrimestre 2011
Lenguajes de primer orden Lógica y Computabilidad Segundo cuatrimestre 2011 Departamento de Computación - FCEyN - UBA Lógica de Primer Orden - clase 1 Lenguaje de lógica de primer orden, términos, fórmulas,
Más detallesTema 2: Deducción natural proposicional
Lógica informática Curso 2004 05 Tema 2 Deducción natural proposicional José A. Alonso Jiménez Andrés Cordón Franco Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesSoluciones del examen de Lógica informática (Grupos 1 y 2) del 23 de Septiembre de José A. Alonso Jiménez
Soluciones del examen de Lógica informática (Grupos 1 y 2) del 23 de Septiembre de 2005 José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesEjercicios de Lógica informática ( ) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado
Ejercicios de Lógica informática (2009 10) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesLógica informática-docencia en Inglés
1 / 17 Lógica informática-docencia en Inglés Unit 10: Resolution for First Order Logic Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla 2 / 17 Unit
Más detalles1. Formas normales en lógica de proposiciones FORMAS NORMALES. Índice. César Ignacio García Osorio Definiciones. Lógica
Lógica Índice FORMAS NORMALES César Ignacio García Osorio 1. Formas normales en lógica de proposiciones Gracias a las leyes asociativas los paréntesis en (F (G H)) oen((f G) H) pueden eliminarse, es decir,
Más detallesLógica y Programación
Lógica y Programación Formas Normales J.-A. Alonso, F.-J. Martín-Mateos, J.-L. Ruiz-Reina Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Programación - Tema
Más detallesLógica y Programación
Lógica y Programación Sintaxis y semántica de la lógica proposicional Antonia M. Chávez, Carmen Graciani, Agustín Riscos Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla
Más detallesPráctico 6 Lógica de Predicados
Práctico 6 Lógica de Predicados Ejercicio 1 Considere un conjunto A de números reales que incluya al 0. Considere un lenguaje de primer orden con un símbolo de relación binario M que denota la relación
Más detallesTema 7: Formas normales: Formas prenex y de Skolem
Tema 7: Formas normales: Formas prenex y de Skolem Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Ingeniería del Software) Curso 2013 14 LI(IS), 2013
Más detallesLógica informática ( )
1 / 37 Lógica informática (2012 13) Tema 5: Resolución proposicional José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesUnificación. Unificación
Unificación C 1 = P(a, y) Q(x, y) C 2 = P(x, y) R(x, b) P(a, y) y P(x, y) no son literales complementarios Si sustituimos x/a se obtienen C 1 = P(a, y) Q(a, y) C 2 = P(a, y) R(a, b) Instancias de C 1 y
Más detallesTema 2: (Tecnologías Informáticas) Curso Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla
y Tema 2: y Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2017 18 Contenido y En este tema presentaremos mecanismos
Más detallesLógica matemática y fundamentos ( )
1 / 28 Lógica matemática y fundamentos (2016 17) Tema 2: Deducción natural proposicional José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesClase 25/09/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf
Clase 25/09/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf A pesar de haber ejercitado la realización de demostraciones en varias materias, es frecuente que el alumno consulte sobre la validez
Más detallesTemas de Lógica informática ( ) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado
Temas de Lógica informática (2009 10) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica y Programación
Lógica y Programación Formas Normales Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla Introducción Simplificar las fórmulas
Más detallesLógica informática ( )
Lógica informática (2008 09) Tema 5: Tableros semánticos José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación e I.A. Universidad de Sevilla
Más detallesTemas de Lógica matemática y fundamentos ( ) José A. Alonso Jiménez María J. Hidalgo Doblado
Temas de Lógica matemática y fundamentos (2011 12) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesG e 1,7. LI Examen de Lógica informática (7 de Junio de 2004) 1. Ejercicio 1. Probar (E F ) G = (E G) (F G) (a) Mediante deducción natural.
LI 2003 04 Examen de Lógica informática (7 de Junio de 2004) 1 Ejercicio 1. Probar (E F ) G = (E G) (F G) (a) Mediante deducción natural. (b) Por resolución. Solución del apartado (a): Demostración por
Más detallesSemántica de la Lógica de Predicados de Primer Orden. Significado de las Fórmulas
Semántica de la Lógica de Predicados de Primer Orden Semántica de la Lógica de Predicados 1 Significado de las Fórmulas Pregunta: Cuándo se cumple Γ = ϕ? Ejemplo para un lenguaje de tipo P
Más detallesEjercicios de Lógica informática ( ) José A. Alonso Jiménez María J. Hidalgo Doblado
Ejercicios de Lógica informática (2008 09) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesCapítulo 7: Lógica de predicados y cuantificadores
Capítulo 7: Lógica de predicados y cuantificadores por G 3 Agosto 2014 Resumen A menudo interesa afirmar que todos, o que solo algunos individuos de cierto universo, o solo uno, cumplen alguna propiedad.
Más detallesPredicados de Primer Orden
Lógica Clásica de Predicados de Primer Orden Lógica y Métodos Avanzados de Razonamiento David Pearce 4 de diciembre de 2008 3 lecciones 1. Lenguaje. Variables libres y ligadas. Sustituciones (NO variable
Más detallesTemas de Lógica matemática y fundamentos ( )
1 Temas de Lógica matemática y fundamentos (2017 18) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTemas de Lógica matemática y fundamentos ( )
1 Temas de Lógica matemática y fundamentos (2015 16) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesLógica y Programación
Lógica y Programación Cláusulas y formas clausales Antonia M. Chávez, Agustín Riscos, Carmen Graciani Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Cláusulas y formas
Más detallesTemas de Lógica informática ( ) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado
Temas de Lógica informática (2011 12) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTeoría de Conjuntos. Conjunto es: colección de cosas, o una colección determinada de objetos.
Teoría de Conjuntos Apuntes Fernando Toscano tomados por A.Diz-Lois La teoría de conjuntos es una herramienta formal semántica que trata de dotar de significado, o lo que es lo mismo dotar de interpretación.
Más detallesTEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD
1 Asignatura: Lógica 3 Curso 2004-2005 Profesor: Juan José Acero 20 25 de Octubre del 2004 TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD 1. El concepto de algoritmo. Los matemáticos
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesTemas de Lógica informática ( ) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado
Temas de Lógica informática (2013 14) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTemas de Lógica informática ( )
1 Temas de Lógica informática (2017 18) José A. Alonso Jiménez Andrés Cordón Franco María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial
Más detallesPrueba de teoremas Fórmula a. Fórmula b. Chequeo de modelos. Construcción de modelos 20/04/2010. Prueba de teoremas (Theorem provers)
Razonamiento automático Técnicas Prueba de teoremas (Theorem provers) Chequeo de modelos (odel checkers) Constructores de modelos (odel builders) Basado en: Logic in Computer Science, Hunt & Ryan Símbolos
Más detallesTema 5: Conceptualización relacional
Razonamiento Automático Curso 2000 200 Tema 5: Conceptualización relacional José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 1: Sintaxis y Semántica
Primer Tema 1: y Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Informática (Tecnologías Informáticas) Curso 2017 18 de Primer Contenido de Primer Primer de Primer Problema
Más detallesPropiedades básicas de los tableaux para fórmulas proposicionales
Propiedades básicas de los tableaux para fórmulas proposicionales Si desea comprobar que una fórmula es consecuencia de otras, niéguela e incorpórela a esas otras. Si este nuevo conjunto resulta insatisfacible,
Más detallesElementos de lógica de predicados *
Elementos de lógica de predicados * 1. Lenguaje Definimos un lenguaje L para la lógica de predicados de primer orden como el par A, F, donde A representa el alfabeto o conjunto de signos de L y F el conjunto
Más detallesSemántica de Primer Orden. Semántica de Primer Orden
Para interpretar una fórmula de la lógica de predicados de primer orden: determinar qué objetos representan los términos (Dominio) definir las funciones y qué propiedades/relaciones representan los predicados
Más detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Tutor: Antonio Rivero Cuesta Lógica y Estructuras Discretas Febrero 2013 1ª, Modelo B Datos X 1 : ( q p) ( p q) X 2: ( p ( q r)) s X 3: ( p r s) X 4: r (r s) Y 1 : x
Más detallesApuntes de Lógica Matemática 2. Lógica de Predicados
Apuntes de Lógica Matemática 2. Lógica de Predicados Francisco José González Gutiérrez Cádiz, Abril de 2005 Universidad de Cádiz Departamento de Matemáticas ii Lección 2 Lógica de Predicados Contenido
Más detallesTema 9: Resolución en lógica de primer orden
de Tema 9: en lógica de no Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2016 17 Contenido de no no Introducción Por
Más detallesSoluciones de exámenes de Lógica informática
Soluciones de exámenes de Lógica informática José A. Alonso Jiménez Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Sevilla, 10 de Junio
Más detallesProposiciones. Estructuras Discretas. Lógica de proposiciones y de predicados. Tablas de Verdad. Operadores Lógicos.
Estructuras Discretas Proposiciones Lógica de proposiciones y de predicados Claudio Lobos clobos@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Definición: proposición
Más detallesTema 9: Cálculo Deductivo
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la
Más detallesHistoria y Filosofía de la Lógica
Historia y Filosofía de la Lógica Pablo Cobreros pcobreros@unav.es Tema 3: El sistema básico de la lógica modal Introducción Historia reciente Interés filosófico: contextos intensionales Lógica modal proposicional
Más detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES (TALF) BLOQUE II: LENGUAJES REGULARES Tema 2: Autómatas Finitos Parte 2 (de 3). Autómatas Finitos No Deterministas (AFNDs) Grado en Ingeniería Informática URJC
Más detallesLÓGICA DE PREDICADOS 5. IDENTIDAD Y FUNCIONES
Juan Carlos León Universidad de Murcia LÓGICA DE PREDICADOS 5. IDENTIDAD Y FUNCIONES (PARTE 2) Esquema del tema 5.1. La noción lógica de identidad 5.2. Reglas de deducción natural para = 5.3. Cuantificadores
Más detallesTema 1: Sintaxis y Semántica de la Lógica Proposicional
Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional
Más detallesFormas clausulares Teoría de Herbrand Algoritmo de Herbrand Semidecidibilidad. Teoría de Herbrand. Lógica Computacional
Teoría de Herbrand Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga Curso 2005/2006 Contenido 1 Formas clausulares Refutación y formas clausulares 2 Teoría de Herbrand Universo
Más detallesResolución en lógica de primer orden
Resolución en lógica de primer orden Eduardo Bonelli Departamento de Computación, FCEyN, UBA 15 de mayo, 2006 Clase pasada Repasamos lógica proposicional Introdujimos el método de resolución para lógica
Más detallesSi x es un símbolo de variable y F es una FBF, entonces también lo son: x F x F Si F es una FBF, entonces también lo es (F). Nada más es una FBF.
término Un término se define recursivamente como sigue: Un símbolo de constante es un término. Un símbolo de variable es un término. Si f es un símbolo de función de n argumentos y t 1, t 2,..., t n son
Más detallesEjercicios de Lógica matemática y fundamentos ( ) José A. Alonso Jiménez María J. Hidalgo Doblado
Ejercicios de Lógica matemática y fundamentos (2012 13) José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad
Más detallesTema 1 Lógica de proposiciones y de predicados de primer orden. Lógica de proposiciones
Tema Lógica de proposiciones y de predicados de primer orden. Lógica de proposiciones Sintaxis El alfabeto de la Lógica de Proposiciones debe proporcionar los símbolos necesarios para representar proposiciones
Más detallesGUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS
CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIÓN A LA LOGICA SIMBOLICA PRIMER AÑO GUIA DE TRABAJOS TEÓRICO PRACTICOS Nº3: LOGICA DE PREDICADOS 1.-Estructura de las proposiciones El desarrollo del cálculo
Más detallesConjuntos y relaciones
Conjuntos y relaciones Introducción Propiedades de las relaciones Sobre un conjunto Reflexivas Simétricas y transitivas Cerradura Relaciones de equivalencia Órdenes parciales Diagramas de Hasse Introducción
Más detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Lógica y Estructuras Discretas Tutor: Antonio Rivero Cuesta Tema 1 Lógica de Proposiciones y de Predicados de Primer Orden Lógica de Proposiciones Sintaxis Infinitas letras
Más detallesForma Clausular. Forma Clausular
Forma Clausular Formas Normales: Literal: fórmula atómica o negación de fórmula atómica Un literal se denota con l y su complementario con l C L = P binario, Q unario, f unaria l 1 =
Más detallesLógica de Primer Orden
Lógica de Primer Orden 1 Introducción El hecho de que las fórmulas atómicas representen proposiciones simples y no se pueda acceder a los elementos de la proposición, restringe la capacidad expresiva de
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas. Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:
Más detallesGrado en Química Bloque 1 Funciones de una variable
Grado en Química Bloque Funciones de una variable Sección.4: La derivada y sus propiedades básicas. La Regla de la cadena. El concepto de derivada aparece en muchas situaciones en la ciencias: en matemáticas
Más detallesLÓGICA DE PREDICADOS DE PRIMER ORDEN INTRODUCCIÓN A LOS SISTEMAS FORMALES
LÓGICA DE PREDICADOS DE PRIMER ORDEN INTRODUCCIÓN A LOS SISTEMAS FORMALES POR QUÉ INTRODUCIR UN NUEVO SISTEMA? Todos los hombres son mortales Sócrates es hombre Sócrates es mortal Se trata de un razonamiento
Más detalles1.1. Proposiciones, conectivos, fórmulas proposicionales
Capítulo 1 Lógica Proposicional 1.1. Proposiciones, conectivos, fórmulas proposicionales Definición 1. Una proposición es una afirmación que puede ser verdadera o falsa. Una proposición es atómica si es
Más detallesTema 9: Formalización en Prolog de la lógica proposicional
Programación lógica Curso 2004 05 Tema 9: Formalización en Prolog de la lógica proposicional José A. Alonso Jiménez Jose-Antonio.Alonso@cs.us.es http://www.cs.us.es/ jalonso Dpto. de Ciencias de la Computación
Más detalles