Lógica de predicados. Sintaxis y Propiedades Lógica 2018
|
|
- Joaquín Rey Navarrete
- hace 5 años
- Vistas:
Transcripción
1 Lógica de predicados. Sintaxis y Propiedades Lógica 2018 Instituto de Computación 8 de mayo Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 1
2 Estructuras Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
3 Def Estructura Una estructura es una secuencia ordenada M = U, R 1,..., R n, F 1,..., F m, {C i 1 i k} tal que: U es un conjunto no vacío, (notación: U = M ) R 1,..., R n son relaciones sobre U (n 0) F 1,..., F m son funciones en U (m 0) C i (1 i k) son elementos distinguidos de U Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
4 Estructura Ejemplo N, Par,, +,, 0, 1 N, < Z, +,, 0 naturales CPO de los naturales grupo de los enteros Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
5 Def Tipo de similaridad de una estructura El tipo de similaridad de U, R 1,..., R n, F 1,..., F m, {C i 1 i k} es una secuencia r 1,..., r n ; a 1,..., a m ; k tal que: R i U r i (1 i n y r i 0) F j : U a j U (1 j m y a j 0) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
6 Tipo de similaridad de una estructura Ejemplo N, Par,, +,, 0, 1 tiene tipo 1, 2; 2, 2; 2 N, < tiene tipo 2; ; 0 Z, +,, 0 tiene tipo ; 2, 1; 1 Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
7 Lenguaje de primer orden Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
8 Def. Alfabeto de primer orden El alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k para un lenguaje de primer orden consta de los siguientes símbolos: Símbolos de relación: P 1, P 2,..., P n, = Símbolos de función: f 1, f 2,..., f m Símbolos de constantes: c i tal que 1 i k Variables: x 1, x 2, x 3,... Conectivos:,,,,, Cuantificadores:, Auxiliares: ( ), Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
9 Def Términos Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. El conjunto TERM A de los términos del lenguaje de primer orden con alfabeto A se define inductivamente por: 1 x i TERM A (i N) 2 c i TERM A (1 i k) 3 si t 1,..., t ai TERM A entonces f i (t 1,..., t ai ) TERM A Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
10 Def Fórmulas Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. El conjunto FORM A de las fórmulas del lenguaje de primer orden con alfabeto A se define inductivamente por: 1 FORM A 2 si t 1,..., t ri TERM A entonces P i (t 1,..., t ri ) FORM A 3 si t 1, t 2 TERM A entonces t 1 = t 2 FORM A 4 si α, β FORM A entonces (α β) FORM A 5 si α FORM A entonces ( α) FORM A 6 si α FORM A entonces (( x)α), (( x)α) FORM A Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
11 Ejemplo (términos y fórmulas) Sea A el alfabeto de tipo 1, 2; 1, 2; 2. 1 f 2 (c 1, x 4 ) TERM A? 2 f 1 (c 1, x 4 ) TERM A? 3 (( x 1 )P 2 (f 1 (x 1 ), c 1 )) (( x 2 )P 1 (x 2 )) FORM A? 4 (( x 2 )f 2 (x 1, c 2 )) FORM A? 5 (( x 1 )P 1 (x 1, c 1 )) FORM A? 6 (( x 1 )(( x 2 )(( x 3 )P 3 (x 1, x 2, x 3 )))) FORM A? OJO!!! No confundir símbolo de predicado y símbolo de función! f 2 (x 1, c 2 ) TERM y P(x 1 ) FORM Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
12 Reglas de parentización Para simplificar la escritura de las fórmulas omitimos ciertos paréntesis: Las reglas de precedencia de conectivos son las mismas que para PROP. Conectivos de igual precedencia se asocian a la derecha. Cuantificadores: el y el tienen igual precedencia que el. Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
13 Reglas de parentización Atención: No confundir las siguientes fórmulas ( x)(α β) y ( x)α β ( x)(α β) y ( x)α β Ejemplo (Parentizar la siguiente expresión) ( x)p 1 (x) P 1 (x) (( x)p 1 (x)) P 1 (x) ((( x)p 1 (x)) ) P 1 (x) ((( x)p 1 (x)) ) ( P 1 (x)) ((( x)p 1 (x)) ) ( ( P 1 (x))) (((( x)p 1 (x)) ) ( ( P 1 (x)))) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
14 Var, Const, AT Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Def [Var] Var es el conjunto de las variables de A ({x i i N}). Def [Const A ] Const A es el conjunto de los símbolos de constante de A ({c i 1 i k}). Def [fórmulas atómicas AT A ] AT A es el conjunto de fórmulas de FORM A que se obtienen con las cláusulas base (, P j (t 1,..., t rj ), t 1 = t 2 ). Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
15 PIP y ERP en TERM y FORM Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
16 Principio de inducción primitiva para TERM Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Lema [principio de inducción para TERM A ] H) Sea P una propiedad sobre TERM A. Si se cumple 1 P (x) para todo x Var 2 P (c) para todo c Const A 3 si P (t 1 ),..., P (t ai ) entonces P (f i (t 1,..., t ai )) para todo i {1,..., m} T) Entonces se cumple ( t TERM A )P (t). Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
17 Principio de inducción primitiva para FORM Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Lema [principio de inducción para FORM A ] H) Sea P una propiedad sobre FORM A. Si se cumple 1 P (α) para todo α AT 2 si P (α) y P (β) entonces P ((α β)) ( {,,, }) 3 si P (α) entonces P (( α)) 4 si P (α) entonces P ((( x)α)) P ((( x)α)) para todo x Var T) Entonces se cumple ( α FORM A )P (α). Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
18 Esquema de recursión primitiva para TERM Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Lema [esquema de recursión primitiva para TERM A ] H) Sean las siguientes funciones: H b : Var Const A B H i : (TERM A B) a i B, con i {1,..., m} T) Entonces existe una única función F : TERM A B tal que: F (t) = H b (t) si t Var Const A F (f i (t 1,..., t ai )) = H i (t 1, F (t 1 ),..., t ai, F (t ai )) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
19 Esquema de recursión primitiva para FORM F (α) = H at (α) si α AT A F ((α β)) = H (α, F (α), β, F (β)) F (( α)) = H (α, F (α)) F ((( x)α)) = H (x, α, F (α)) F ((( x)α)) = H (x, α, F (α)) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51 Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Lema [esquema de recursión primitiva para FORM A ] H) Sean las siguientes funciones: 1 H at : AT A B 2 H : (FORM A B) 2 B ( {,,, }) 3 H : FORM A B B 4 H, H : Var A FORM A B B T) Entonces existe una única función F : FORM A B tal que:
20 Variables libres y ligadas Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
21 Alcance de cuantificadores Def [alcance o radio de acción] El alcance del cuantificador x en la fórmula (( x)α) es la fórmula α. El alcance del cuantificador x en la fórmula (( x)α) es la fórmula α. ( x 1 ) P 1 (x 1 ) ( x 2 ) P 2 (x 1, x 2 ) ( x 2 ) ( x 1 ) (P 1 (x 1 ) P 2 (x 1, x 2 )) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
22 Alcance de cuantificadores ( x 1 ) P 1 (x 1 ) ( x 2 ) P 2 (x 1, x 2 ) ( x 1 ) ( x 2 ) P 1 (x 1 ) P 2 (x 1, x 2 ) ( x 2 ) ( x 1 ) (P 1 (x 1 ) P 2 (x 1, x 2 )) ( x 2 ) ( x 1 ) P 1 (x 1 ) P 2 (x 1, x 2 ) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
23 Def. Ocurrencias libres y ligadas Una ocurrencia de una variable x en α está ligada si se encuentra bajo alcance de un cuantificador ( x) o ( x), o si es la variable de un cuantificador ( x) o ( x). Si una ocurrencia de una variable x no está ligada en α, se dice que es una ocurrencia libre. Ejemplo ( x 1 )P 1 (x 1 ) ( x 2 )P 2 (x 1, x 2 ) ( x 1 )P 1 (c 1 ) Las ocurrencias azules de x 1 están ligadas, mientras que la roja no. Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
24 Def. Variables libres y ligadas Una variable x está ligada en α si x tiene alguna ocurrencia ligada en α. Una variable x está libre en α si x tiene alguna ocurrencia libre en α. Ejemplo Sea α = ( x 1 )P 1 (x 1 ) ( x 2 )P 2 (x 1, x 2 ) x 1 tiene 2 ocurrencias ligadas en α entonces x 1 es ligada en α x 1 tiene 1 ocurrencia libre en α entonces x 1 es libre en α Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
25 Observación Una ocurrencia de variable en una fórmula está o bien libre o bien ligada ( no ambas!). Una variable puede estar libre y ligada en una misma fórmula. Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
26 Def Conjunto de variables libres de un término Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Definimos FV : TERM A (Var) recursivamente en TERM A : FV(x) = {x} si x Var FV(c i ) = FV(f i (t 1,..., t ai ) = FV(t 1 ) FV(t ai ) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
27 Def Conjunto de variables libres de una fórmula Definimos FV : FORM A (Var) recursivamente en FORM A : FV( ) = FV(P i (t 1,..., t ri )) = FV(t 1 ) FV(t ri ) FV(t 1 = t 2 ) = FV(t 1 ) FV(t 2 ) FV((α β)) = FV(α) FV(β) FV(( α)) = FV(α) FV((( x)α)) = FV(α) {x} FV((( x)α)) = FV(α) {x} Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
28 Variables ligadas de una fórmula Ejercicio Definir recursivamente en FORM A la función BV : FORM A (Var) que calcula el conjunto de variables ligadas de una fórmula. Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
29 Términos y fórmulas cerrados Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Def [términos y fórmulas cerradas] Un término t es cerrado si FV (t) =. Una fórmula α es cerrada si FV (α) =. También se dice en este caso que α es una sentencia. Una fórmula α es abierta si no tiene cuantificadores. Notación: TERM C A = {t TERM A t es cerrado} SENT A = {α FORM A α es cerrada} Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
30 Sustituciones en TERM y en FORM Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
31 Def Sustitución de términos en términos Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Sean s, t TERM A y x Var. Definimos s[t/x] del siguiente modo: { t si x = y 1 y[t/x] = y si x y 2 c i [t/x] = c i 3 f i (t 1,..., t ai )[t/x] = f (t 1 [t/x],..., t ai [t/x]) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
32 Ejemplo (Sustitución) Sea L un lenguaje de tipo 1, 2; 1, 2; 2. f 2 (x 1, x 2 )[x 1 /x 2 ] = f 2 (x 1, x 1 ) f 1 (f 2 (c 1, x 3 ))[c 2 /x 3 ] = f 1 (f 2 (c 1, c 2 )) f 1 (f 2 (c 1, x 3 ))[c 2 /x 1 ] = f 1 (f 2 (c 1, x 3 )) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
33 Ejemplo (Sustitución) Sea L un lenguaje de tipo 1, 2; 1, 2; 2. f 2 (x 1, x 2 )[x 1 /x 2 ] = f 2 (x 1, x 1 ) f 1 (f 2 (c 1, x 3 ))[c 2 /x 3 ] = f 1 (f 2 (c 1, c 2 )) f 1 (f 2 (c 1, x 3 ))[c 2 /x 1 ] = f 1 (f 2 (c 1, x 3 )) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
34 Def Sustitución de variables por términos en fórmulas (1 de 3) Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Sean t TERM A, x Var, α FORM A. Definimos α[t/x] del siguiente modo: [t/x] = P j (t 1,..., t rj )[t/x] = P j (t 1 [t/x],..., t rj [t/x]) t 1 = t 2 [t/x] = t 1 [t/x] = t 2 [t/x] Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
35 Def Sustitución de variables por términos en fórmulas (2 de 3) Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Sean t TERM A, x Var, α FORM A. Definimos α[t/x] del siguiente modo: (α β)[t/x] = (α[t/x] β[t/x]) ( α)[t/x] = ( α[t/x]) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
36 Def Sustitución de variables por términos en fórmulas (3 de 3) Sea A el alfabeto de tipo r 1,..., r n ; a 1,..., a m ; k. Sean t TERM A, x Var, α FORM A. Definimos α[t/x] del siguiente modo: { (( y)α[t/x]) si x y (( y)α)[t/x] = (( y)α) si x = y { (( y)α[t/x]) si x y (( y)α)[t/x] = (( y)α) si x = y Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
37 Sustitución y pasaje de parámetros z := 45; print (sumar2(z)); FUNCTION sumar2(x: integer) : integer; VAR y : integer; BEGIN y := 2; sumar2 := x + y END; Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
38 Ejemplo (Sustitución) Sea L un lenguaje de tipo 1, 2; 2; 2. P 1 (f 1 (x 1, x 2 ))[x 1 /x 2 ] = P 1 (f 1 (x 1, x 1 )) (P 1 (x 1 ) P 2 (c 1, x 3 ))[c 2 /x 1 ] = (P 1 (c 2 ) P 2 (c 1, x 3 )) (( x 1 )P 2 (x 1, x 3 ))[c 3 /x 3 ] = (( x 1 )P 2 (x 1, c 3 )) (( x 1 )P 2 (x 1, x 3 ))[c 1 /x 1 ] = (( x 1 )P 2 (x 1, x 3 )) (( x 1 )P 2 (x 1, x 3 ))[x 1 /x 3 ] = (( x 1 )P 2 (x 1, x 1 )) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
39 Ejemplo (Sustitución) Sea L un lenguaje de tipo 1, 2; 2; 2. P 1 (f 1 (x 1, x 2 ))[x 1 /x 2 ] = P 1 (f 1 (x 1, x 1 )) (P 1 (x 1 ) P 2 (c 1, x 3 ))[c 2 /x 1 ] = (P 1 (c 2 ) P 2 (c 1, x 3 )) (( x 1 )P 2 (x 1, x 3 ))[c 3 /x 3 ] = (( x 1 )P 2 (x 1, c 3 )) (( x 1 )P 2 (x 1, x 3 ))[c 1 /x 1 ] = (( x 1 )P 2 (x 1, x 3 )) (( x 1 )P 2 (x 1, x 3 ))[x 1 /x 3 ] = (( x 1 )P 2 (x 1, x 1 )) Apareció una ligadura nueva! No queremos estas situaciones! Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
40 Sustitución y pasaje de parámetros? y := 45; print (sumar2(y)); FUNCTION sumar2(x: integer) : integer; VAR y : integer; BEGIN y := 2; sumar2 := x + y END; Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
41 Qué falló en el último caso? (( x 1 )P 2 (x 1, x 3 ))[x 1 /x 3 ] = (( x 1 )P 2 (x 1, x 1 )) la variable x 3 estaba libre en (( x 1 )P 2 (x 1, x 3 )) al sustituir x 3 por x 1 (que es la variable cuantificada por el ), queda ligada (( x 1 )P 2 (x 1, x 1 )) Lo mismo hubiera pasado si en vez de [x 1 /x 3 ] se pone [t/x 3 ] con x 1 FV(t). El problema ocurre cuando hacemos (( x i )α)[t/x] y x i está en t : x i FV(t) Tenemos que exigir que x i FV(t) Hay algunos casos en que no hace falta pedir esa condición. Entre ellos está cuando la sustitución no se realiza porque x FV(( x i )α) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
42 Def Término libre para una variable en una fórmula Sean t TERM, ϕ FORM. t está libre para x en ϕ si: 1 ϕ es atómica 2 ϕ = (ϕ 1 ϕ 2 ) y t está libre para x en ϕ 1 y en ϕ 2 3 ϕ = ( ϕ 1 ) y t está libre para x en ϕ 1 4 ϕ = (( y)ϕ 1 ) (o ϕ = (( y)ϕ 1 )) y se cumple alguna de las siguientes: 1 x FV((( y)ϕ 1 )) (resp. x FV((( y)ϕ 1 ))) 2 y FV(t) y t está libre para x en ϕ 1 Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
43 Restricción en sustituciones De ahora en adelante sólo aplicaremos la sustitución ϕ[t/x] cuando t esté libre para x en ϕ. Si esto no sucede: no permitimos aplicar la sustitución! (( x 1 )P 2 (x 1, x 3 ))[c 3 /x 3 ] Podemos aplicar la función de sustitución, la aplicamos, y el resultado es (( x 1 )P 2 (x 1, c 3 )). (( x 1 )P 2 (x 1, x 3 ))[c 1 /x 1 ] Podemos aplicar la función de sustitución, la aplicamos, y el resultado es (( x 1 )P 2 (x 1, x 3 )), igual que el argumento. (( x 1 )P 2 (x 1, x 3 ))[x 1 /x 3 ] No podemos aplicar la función de sustitución. Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
44 Ejemplo x 2 está libre para x 1 en ( x 1 )P 1 (x 1, x 3 ) pues x 1 FV(( x 1 )P 1 (x 1, x 3 )). Cualquier t está libre para x 2 en ( x 1 )( x 2 )P 1 (x 1, x 2 ) pues x 2 FV(( x 1 )( x 2 )P 1 (x 1, x 2 )) f (x 3, x 1 ) no está libre para x 2 en ( x 3 )P 2 (x 2 ) pues x 2 FV(( x 3 )P 2 (x 2 )), y x 3 FV(f (x 3, x 1 )) (aunque f (x 3, x 1 ) está libre para x 2 en P 2 (x 2 )) f (x 3, x 1 ) no está libre para x 2 en ( x 4 )( x 3 )(x 3 = x 2 ) pues x 2 FV(( x 4 )( x 3 )(x 3 = x 2 )) y f (x 3, x 1 ) no está libre para x 2 en ( x 3 )(x 3 = x 2 ) (aunque x 4 FV(f (x 3, x 1 ))) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
45 Sustitución simultánea en términos y fórmulas t[t 1,..., t n /y 1,..., y n ] es el resultado de sustituir las ocurrencias de cada y i por t i en t simultáneamente (i = 1,..., n, y i y j si i j) α[t 1,..., t n /y 1,..., y n ] se define análogamente Sustitución simultánea sustitución secuencial No es lo mismo la sustitución simultánea que la composición de sustituciones: x 1 [x 2, c 2 /x 1, x 2 ] = x 2 x 1 [x 2 /x 1 ][c 2 /x 2 ] = x 2 [c 2 /x 2 ] = c 2 Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
46 Notación: [α(x), α(t)] Para simplificar la notación α[t/x], en matemática se utilizan (meta)expresiones de la forma α(x) o α(x, y, z) Esta notación no significa que las variables listadas ocurran libres en la fórmula ni que la fórmula no tenga otras variables libres que no sean las listadas... Sólo se utiliza para escribir informalmente la sustitución: Por ejemplo, α(t) notará el resultado de sustituir t por x en α(x); α(s, t, u) notará el resultado de sustituir s por x, t por y y u por z en α(x, y, z). Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
47 Símbolo de predicado $ Las sustituciones definidas hasta el momento, permiten poner un término dado en el lugar de una variable. Eso es diferente de la sustitución de PROP, que permitía poner una fórmula en el lugar de una fórmula atómica. Para hacer esto, se tiene que hacer una modificación en el lenguaje. Agregamos a la definición de FORM una cláusula más: $ FORM ($ es una variable de fórmula, la usamos como comodín para sustituir una fórmula en otra). Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
48 Def Fórmula libre para $ Sean α, ϕ FORM. ϕ está libre para $ en α si se cumple alguna de las siguientes condiciones: 1 α es atómica 2 α = (α 1 α 2 ) y ϕ está libre para $ en α 1 y en α 2 3 α = ( α 1 ) y ϕ está libre para $ en α 1 4 α = (( x)α 1 ) (o α = (( x)α 1 )) y se cumple alguno de los siguientes: 1 $ no ocurre en α 1 2 x FV(ϕ) y ϕ está libre para $ en α 1 Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
49 Def Sustitución de fórmulas en fórmulas Sean α, ϕ FORM tal que ϕ está libre para $ en α. Definimos α[ϕ/$] recursivamente en α: { α si α $ 1 si α es atómica, α[ϕ/$] = ϕ si α = $ 2 (α 1 α 2 )[ϕ/$] = (α 1 [ϕ/$] α 2 [ϕ/$]) 3 ( α 1 )[ϕ/$] = ( α 1 [ϕ/$]) 4 (( x)α 1 )[ϕ/$] = (( x)(α 1 [ϕ/$])) 5 (( x)α 1 )[ϕ/$] = (( x)(α 1 [ϕ/$])) Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
50 Resumen Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
51 Resumen de Sintaxis de la Lógica de Predicados de Primer Orden I Se definieron dos familias de lenguajes: uno para representar elementos del universo otro para representar afirmaciones sobre esos elementos Se definieron los principios de Inducción y Recursión primitivas para esos lenguajes con el objetivo de: hacer demostraciones definir funciones recursivamente sobre esos lenguajes Se estudiaron los aspectos sintácticos que introducen las variables y se definieron algunos conceptos relativos a eso: ocurrencia libre y ligada de una variable término libre para una variable en una fórmula dada Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
52 Resumen de Sintaxis de la Lógica de Predicados de Primer Orden II Se definieron funciones de sustitución: de una variable por un término en fórmulas y términos de fórmulas en fórmulas Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
53 Bibliografía I Dirk Van Dalen. Logic and Structure. Secciones 3.1, 3.2 y 3.3, 5ta ed. Instituto de Computación (InCo) Lógica de predicados. Sintaxis y Propiedades Curso / 51
Sintaxis y Propiedades. Estructuras
Sintaxis y Propiedades Predicados 1 Estructuras Def 2.2.1 [estructura] Una estructura es una secuencia ordenada M = tal que: A es un conjunto no vacío, ( Notacion: A =
Más detallesLOGICA Y ALGORITMOS. Módulos
LOGICA Y ALGORITMOS Módulos!Cardinalidad y conjuntos inductivos "Lógica: proposicional y de 1er orden!formalismos de cálculo: FR y FL!Lenguajes y autómatas 1 Distintos Sistemas Lógicos: LOGICA PROPOSICIONAL
Más detallesLógica de Predicados, Sintaxis
Lógica de Predicados, Sintaxis Dante Zanarini LCC 16 de Septiembre de 2015 Dante Zanarini (LCC) Lógica de Predicados, Sintaxis 16 de Septiembre de 2015 1 / 15 Enriqueciendo el lenguaje Consideremos el
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 detallesLógica Proposicional
Proposicional Disciplina matemática Disciplina formal Se razona sobre la estructura de las cosas Se quiere estudiar el razonamiento, y no las verdades contingentes Se quiere estudiar la noción de consecuencia
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 de predicados
Matemática Discreta y Lógica 2 Lógica de predicados 1 Cuantificadores El lenguaje de la lógica proposicional que ya vimos, no es suficiente para representar todo el lenguaje matemático. Por ejemplo, la
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 detallesDefiniciones generales. Alfabeto de la lógica proposicional. Conectivos. Conectivos
Contenido BLOQUE II: Tema 1 SINTAXIS DE LA LÓGICA PROPOSICIONAL Lógica Grado en Ingeniería Informática Alessandra Gallinari URJC Alfabeto del lenguaje formal de la lógica proposicional Definición recursiva
Más detallesLógica Proposicional IIC1253. IIC1253 Lógica Proposicional 1/64
Lógica Proposicional IIC1253 IIC1253 Lógica Proposicional 1/64 Inicio de la Lógica Originalmente, la Lógica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento válido? Todos
Más detallesLógica proposicional. Semántica Lógica 2018
Lógica proposicional. Semántica Lógica 2018 Instituto de Computación 20 de marzo Instituto de Computación (InCo) Lógica proposicional. Semántica Curso 2018 1 / 1 Significado de una fórmula proposicional
Más detallesCompletitud en Lógica de Predicados
Completitud en de Predicados Predicados - Completitud 1 Corrección. Significa que las derivaciones expresan una consecuencia lógica. Establece una correspondencia tal que partiendo de nociones sintácticas
Más detallesLógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesLógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Más detallesLógica Instituto de Computación. 27 de febrero
Inducción Lógica 2018 Instituto de Computación 27 de febrero Instituto de Computación (InCo) Inducción Curso 2018 1 / 1 Inducción - Plan Conjuntos inductivos Inducción como mecanismo primitivo para definir
Más detallesLógica - Conjuntos inductivos
Lógica - Conjuntos inductivos Matemática discreta y Lógica I Mayo de 2017 Las transparencias son tomadas del curso de Lógica del instituto de computación de Facultad de Ingeniería. Inducción - Plan Conjuntos
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes. Tema 4: Expresiones Regulares. Luis Peña
Máquinas Secuenciales, Autómatas y Lenguajes Tema 4: Expresiones Regulares Luis Peña Sumario Tema 4: Expresiones Regulares. 1. Concepto de Expresión Regular 2. Teoremas de Equivalencia Curso 2012-2013
Más detallesLOGICA Y ALGORITMOS. Profesores: Raúl Kantor Ana Casali. Año LyA-2003 / Inducción 1
LOGICA Y ALGORITMOS Profesores: Raúl Kantor Ana Casali Año 2003 LyA-2003 / Inducción 1 LOGICA Y ALGORITMOS Módulos!Preliminares: Cardinalidad y conjuntos inductivos!lógica: Proposicional y de Predicados!Formalismos
Más detallesLógica Proposicional IIC2213. IIC2213 Lógica Proposicional 1/42
Lógica Proposicional IIC2213 IIC2213 Lógica Proposicional 1/42 Por qué necesitamos la lógica? Necesitamos un lenguaje con una sintaxis precisa y una semántica bien definida. Queremos usar este lenguaje
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesLógica Proposicional IIC2213. IIC2213 Lógica Proposicional 1/42
Lógica Proposicional IIC2213 IIC2213 Lógica Proposicional 1/42 Por qué necesitamos la lógica? Necesitamos un lenguaje con una sintaxis precisa y una semántica bien definida. Queremos usar este lenguaje
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 detallesLOGICA Y ALGORITMOS. Profesores: Raúl Kantor Ana Casali. Año LyA-Proposiciones 1
LOGICA Y ALGORITMOS Profesores: Raúl Kantor Ana Casali Año 2003 1 LOGICA Y ALGORITMOS Módulos Cardinalidad y conjuntos inductivos!lógica: proposicional y de er orden ormalismos de cálculo: R y L Lenguajes
Más detallesL ogica 2 Enrique Casanovas Curso
Lógica 2 Enrique Casanovas Curso 1999-2000 Índice general 1. Sintaxis 3 2. Semántica 9 3. Consecuencia y equivalencia lógica 18 4. Cálculo deductivo 28 Bibliografía 41 Índice de Materias 42 2 Capítulo
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 detallesLógica de predicados 3. Sintaxis. Juan Carlos León Universidad de Murcia
Lógica de predicados 3. Sintaxis Juan Carlos León Universidad de Murcia Esquema del tema 3.1. Fórmulas bien formadas y funciones proposicionales 3.2. Alcance. Variables libres y ligadas 3.3. Teoremas 3.4.
Más detallesLógica de predicados 3. Sintaxis
Lógica de predicados 3. Sintaxis Juan Carlos León Universidad de Murcia Esquema del tema 3.1. Fórmulas bien formadas y funciones proposicionales 3.2. Alcance. Variables libres y ligadas 3.3. Teoremas 3.4.
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 detallesLógica Proposicional Lenguaje Proposicional Implicación semántica
Capítulo 1 Lógica Proposicional 1.1. Lenguaje Proposicional Un lenguaje proposicional consta de los siguientes símbolos: las proposicones atómicas, también llamados enunciados atómicos o simplemente variables
Más detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
Más detallesLenguajes de Programación Programación funcional
Lenguajes de Programación Programación funcional Roberto Bonvallet Departamento de Informática Universidad Técnica Federico Santa María Concepto de función En el paradigma imperativo: Una función es una
Más detallesLógica Proposicional (LP)
Lógica Proposicional (LP) Proposición Enunciado del que puede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son proposiciones? ) Pedro es alto. 2) Juan es estudiante. 3)
Más detallesMetodología de Programación I Lógica de Primer Orden
Metodología de Programación I Lógica de Primer Orden Dr. Alejandro Guerra-Hernández Departamento de Inteligencia Artificial Facultad de Física e Inteligencia Artificial aguerra@uv.mx http://www.uv.mx/aguerra
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 detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 7 de Noviembre de 2014 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/20 Lenguajes Formales
Más detallesApuntes de Lógica Matemática I
Apuntes de Lógica Matemática I Héctor Olvera Vital 1. Primeras definiciones Definición 1 Un alfabeto A es un conjunto de símbolos. Definición 2 Una expresión del alfabeto A es una sucesión finita de símbolos
Más detallesTérminos LÓGICA COMPUTACIONAL CÁLCULO DE PREDICADOS. Variables libres y ligadas. Fórmulas. Tenemos dos conjuntos básicos.
Términos LÓGICA COMPUTACIONAL CÁLCULO DE PREDICADOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más detallesLógica Proposicional. Del conjunto de hipótesis Γ se deduce α?
Proposicional Metateoría: Corrección y Completitud Proposicional - 1 Del conjunto de hipótesis Γ se deduce α? Γ = α? -Tablas de verdad - Equivalencia lógicas Existen métodos que siempre responden SI o
Más detallesClase Práctica 1 - Inducción estructural, conectivos adecuados y consecuencia - Viernes 23 de marzo de 2012
Lógica y Computabilidad Primer Cuatrimestre 2012 Clase Práctica 1 - Inducción estructural, conectivos adecuados y consecuencia - Viernes 23 de marzo de 2012 Definición 1. Notaremos con Form al conjunto
Más detallesLógica Lógica de Predicados
Lógica de Predicados 1 Motivación Un sistema informático no es otra cosa que un modelo de una parte de la realidad, típicamente de un servicio. el servicio que debe proveer la bedelía de la facultad o
Más detallesLógica Lógica de Predicados. Motivación
Lógica de Predicados 1 Motivación Un sistema informático no es otra cosa que un modelo de una parte de la realidad, típicamente de un servicio. el servicio que debe proveer la bedelía de la facultad o
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 detallesLógica de Predicados 1!
Lógica de Predicados 1! rafael ramirez rafael.ramirez@upf.edu 55.316 (Tanger) Porqué Lógica de Predicados! La logica proposicional maneja bien afirmaciones compuestas de no, y, o, si entonces En situaciones
Más detallesTeorema de incompletitud de Gödel
Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. IIC2213 Teorías 79 / 109 Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. Corolario
Más detallesLógica de predicados
Lógica de predicados Cálculo de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen
Más detallesCálculo de predicados. Lógica de predicados. Cálculo de predicados. Cálculo de predicados 08/06/2011
Lógica de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen cola Tomás es un gato
Más detallesEL LENGUAJE FORMAL DE LA LÓGICA. Agosto del 2011
EL LENGUAJE FORMAL DE LA LÓGICA Agosto del 2011 Qué es un lenguaje formal? Está formado por los siguientes elementos básicos: A. Signos primitivos del lenguaje, esto es su alfabeto. B. Unas reglas de combinación
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
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 detallesCapítulo 2 El Método de Resolución
Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.
Más detallesIntroducción a la Lógica y la Computación
Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 4 de Noviembre de 2015 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/21 Lenguajes Formales
Más detallesIntroducción TEORÍA DE LA COMPUTACIÓN INTRODUCCIÓN. Lógica
Introducción TEORÍA DE LA COMPUTACIÓN INTRODUCCIÓN Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más detallesTema 8: Teorema de Herbrand. Tableros en lógica de primer orden
Tema 8:. en de primer orden Dpto. Ciencias de la Computación Inteligencia Artificial Universidad de Sevilla Lógica Informática (Tecnologías Informáticas) Curso 2016 17 Contenido Sea Γ un conjunto de fórmulas
Más detallesInducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática
Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx
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 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 detallesVerificación de Modelos
Verificación de Modelos Dante Zanarini LCC November 5, 2015 Dante Zanarini (LCC) Verificación de Modelos November 5, 2015 1 / 18 Verificación Formal Ingredientes: Un lenguaje para describir sistemas Un
Más detallesEstructuras Algebraicas
Estructuras Algebraicas Luis Manuel Hernández Ramos 12 24 de mayo de 2007 1 Centro de Calculo Científico y Tecnológico, Facultad de Ciencias, Universidad Central de Venezuela, Caracas. 2 e-mail: luish@kuaimare.ciens.ucv.ve
Más detallesIntroducción a la Lógica II
Introducción a la Lógica II Félix Bou bou@ub.edu Versión 14 de abril de 2010 F. Bou (bou@ub.edu) Introducción a la Lógica II Versión 14 de abril de 2010 1 / 114 Metodología de la Asignatura Índice 1 Metodología
Más detallesIntroducción TEORÍA DE LA COMPUTACIÓN INTRODUCCIÓN. Lógica
Introducción TEORÍA DE LA COMPUTACIÓN INTRODUCCIÓN Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más detallesAnálisis lógico Cálculo de proposiciones
Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más detallesClase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf
Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje
Más detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detalles1. Corrección de un programa TEMA 2: ESPECIFICACIÓN Y CORRECCIÓN DE ALGORITMOS. 1. Corrección de un programa. 1. Corrección de un programa
Uno de los grandes problemas de la programación es la escritura de programas totalmente correctos. Al implementar un programa siempre se introducen errores. Técnicas de detección de errores: Mediante pruebas:
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 detallesCapítulo 2: Asistentes de Pruebas para Programadores 3. Cálculo de Construcciones
Capítulo 2: Asistentes de Pruebas para Programadores 3. Cálculo de Construcciones InCo CFPTT - 3.1 1. Cálculo simplemente tipado Sintaxis Términos e ::= x x.e (e 1 e 2 ) c Tipos ::= t 1 2 x Var c Const
Más detallesLenguajes de Primer Orden. Satisfacibilidad
Capítulo 2 Lenguajes de Primer Orden. Satisfacibilidad 2.1. Lenguajes de Primer Orden Un lenguaje de primer orden, L, consta de los siguientes símbolos: símbolos de variable: x 1,...,x n,... y a veces
Más detallesCapítulo 2: Inducción y recursión Clase 3: Definiciones recursivas e Inducción estructural
Capítulo 2: Inducción y recursión Clase 3: Definiciones recursivas e Inducción estructural Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 2: Inducción y Recursión
Más detallesParadigmas de Lenguajes de Programación
Paradigmas de Lenguajes de Programación Clase Práctica Resolución I Primer cuatrimestre de 2008 Resolución en proposicional Dadas unas premisas P 1 P n y una conclusión C 1) Calculamos la Forma Normal
Más detallesCAPÍTULO IV: 4.1 Introducción a la. Programación Funcional
CAPÍTULO IV: Programación Funcional 4.1 Introducción a la Programación Funcional 1 Programación Funcional Paradigma diferente a los imperativos, que se aleja de la máquina de von Neumann Basado en funciones
Más detallesInducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática
Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx
Más detallesNOTAS PARA LOS ALUMNOS DEL CURSO DE ANALISIS MATEMATICO III TEORÍA DE CONJUNTOS. Ing. Juan Sacerdoti
NOTAS PARA LOS ALUMNOS DEL CURSO DE ANALISIS MATEMATICO III TEORÍA DE CONJUNTOS Ing. Juan Sacerdoti Facultad de Ingeniería Departamento de Matemática Universidad de Buenos Aires 2003 V 2.03 ÍNDICE 2.-
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 detallesLa lógica de segundo orden: Sintaxis
La lógica de segundo orden: Sintaxis Dado: Vocabulario L Definición La lógica de segundo orden (LSO) sobre L es definida como la extensión de LPO que incluye las siguientes reglas: Si t 1,..., t k son
Más detallesLOS TEOREMAS DE INCOMPLETITUD DE GÖDEL
LOS TEOREMAS DE INCOMPLETITUD DE GÖDEL ALEXANDRE MIQUEL En este artículo se presenta la demostración de los dos teoremas de incompletitud de Gödel, que establecen los límites fundamentales del razonamiento
Más detallesTema 5: Teoría de la Demostración en Predicados
Tema 5: Teoría de la Demostración en Predicados Resumen introducción lógica de predicados Resumen introducción lógica de predicados Conceptos: ahora para lógica de predicados de 1 er orden Estructura deductiva
Más detallesResumen ANÁLISIS LÓGICO INDUCCIÓN Y RECURSIÓN. Conjuntos inductivos. Definiciones circulares
Resumen ANÁLISIS LÓGICO INDUCCIÓN Y RECURSIÓN Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq En este
Más detallesNuestro objetivo es demostrar que autómata = lógica. IIC3260 Una Aplicación de Teoría de Modelos Finitos: Lógica = Autómata 35 / 60
Autómata = Lógica Nuestro objetivo es demostrar que autómata = lógica IIC3260 Una Aplicación de Teoría de Modelos Finitos: Lógica = Autómata 35 / 60 Autómata = Lógica Nuestro objetivo es demostrar que
Más detallesNuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares
Autómata = Lógica Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares Pero antes: Vamos a hacer un breve repaso sobre
Más detallesCuantificación: Los Cuantificadores y el resto de la oración
Lin115: Sem des Spanischen Maribel Romero 27 Junio 2008 Cuantificación: Los Cuantificadores y el resto de la oración 1. Sintagmas Nominales Cuantificacionales (CuSN) en posición de sujeto. Hemos visto
Más detallesFundamentos de programación clase 3: Booleanos, condiciones y expresiones condicionales
Fundamentos de programación clase 3: Booleanos, condiciones y expresiones condicionales Autor: Ángela Villota Profesor: Jairo Ernesto Maldonado G. http://campusvirtual.univalle.edu.co jaerma@eisc.univalle.edu.co
Más detallesLógica proposicional: Lectura única
Lógica proposicional: Lectura única Una fórmula ϕ es atómica si ϕ = p, donde p P. Una fórmula ϕ es compuesta si no es atómica. - Si ϕ = ( α), entonces es un conectivo primario de ϕ y α es una subfórmula
Más detallesLógica de proposiciones
1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura
Más detallesFunciones como parámetros, funciones como resultados. Introducción a la Computación Patricia Borensztejn Clase 26
Funciones como parámetros, funciones como resultados Introducción a la Computación Patricia Borensztejn Clase 26 Funciones de orden superior Se llama así a la técnica que permite pasar funciones como parámetros
Más detallesLímite superior y límite inferior de una sucesión
Límite superior y límite inferior de una sucesión Objetivos. Definir las nociones de los límites superior e inferior de una sucesión y estudiar sus propiedades básicas. Requisitos. Supremo e ínfimo de
Más detallesTema 4: Lógica de Predicados
Tema 4: Lógica de Predicados Motivación Todos los hombres son mortales Sócrates es un hombre Luego Sócrates es mortal Propiedades Juan enseña a Pedro Algunos hombres enseñan a Pedro Todos los hombres enseñan
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesFunciones Segunda parte
Expresiones condicionales Matemática Discreta usando el computador 2011 Funciones Segunda parte Una expresión condicional utiliza una expresión de tipo Bool para decidir entre dos opciones Estructura if...then...
Más detallesAutómatas Finitos No-Deterministicos (NFA)
(NFA) Introducción a la Lógica Fa.M.A.F., Universidad Nacional de Córdoba 2//5 Outline of the Talk Intuiciones Definición Lenguaje de un NFA Euivalencia de Lenguajes de un NFA y un DFA Determinización
Más detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Francisco Bueno Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Teoría de Primer Orden 1 Formalmente,
Más detallesDefiniciones recursivas Lógica 2017
Definiciones recursivas Lógica 2017 Instituto de Computación 7 de marzo Instituto de Computación (InCo) Definiciones recursivas Curso 2017 1 / 1 Recursión Dado un conjunto inductivo, sabemos exactamente
Más detallesForzamiento y la Hipótesis del Continuo
Forzamiento y la Hipótesis del Continuo David J. Fernández Bretón Department of Mathematics and Statistics York University Seminario de Estudiantes Cinvestav, 19 de marzo de 2014 David Fernández (York
Más detallesFunciones primtivas recursivas y clases PRC (parte I)
Funciones primtivas recursivas y clases PRC (parte I) Hernán Czemerinski Miércoles 2 de febrero de 2011 Definición 1. Llamamos funciones iniciales a n(x) = 0 s(x) = x + 1 u n i (x 1,..., x n ) = x i con
Más detallesIntroducción. El uso de los símbolos en matemáticas.
Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre
Más detalles