Lógica de Primer Orden

Save this PDF as:
 WORD  PNG  TXT  JPG

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Lógica de Primer Orden"

Transcripción

1 Capítulo 2 Lógica de Primer Orden Resumen En términos generales, la Programación Lógica concierne al uso de la lógica para representar y resolver problemas. Más adelante precisaremos que, en realidad, usaremos una lógica restringida a cláusulas de Horn y la resolución como regla de inferencia (Nenhuys-Chen y de Wolf, 1997). Por ahora, este capítulo introduce los conceptos de la lógica de primer orden necesarios para abordar los aspectos formales de la Programación Lógica. Para ello, se adopta un enfoque basado en sistemas formales, que nos permita describir el lenguaje, la teoría del modelo y la teoría de prueba de la lógica de primer orden. Con este aparato, se introducen los conceptos de unificación y resolución como regla de inferencia Introducción Cuando describimos situaciones de nuestro interés, solemos hacer uso de enunciados declarativos. Decimos que estos enunciados son declarativos en el sentido lingüístico del término, esto es, se trata de expresiones del lenguaje natural que son o bien verdaderas, o bien falsas; en contraposición a los enunciados imperativos e interrogativos. La lógica proposicional es declarativa en este sentido, las proposiciones representan hechos que se dan o no en la realidad. La lógica de primer orden tienen un compromiso ontólogico más fuerte (Russell y Norvig, 2003), donde la realidad implica además, objetos y relaciones entre ellos. Consideren los siguientes ejemplos de enunciado declarativo: 1. Julia es madre y Luis es hijo de Julia. 2. Toda madre ama a sus hijos. donde el enunciado (1) se refiere a los objetos de discurso Julia y Luis, usando propiedades de estos objetos, como ser madre; así como relaciones entre éstos, como hi jo. El enunciado (2) se refiere a relaciones que aplican a todas las madres, en tanto que objetos de discurso. A esto nos referimos cuando hablamos de representación 21

2 22 2 Lógica de Primer Orden de un problema en el contexto de la Programación Lógica, a describir una situación en términos de objetos y relaciones entre ellos. Si se aplican ciertas reglas de razonamiento a tales representaciones, es posible obtener nuevas conclusiones. Esto concierne a la resolución de problemas en Programación Lógica. Por ejemplo, conociendo (1) y (2) es posible inferir (vía Modus Ponens) que: 3. Julia ama a Luis. La idea central de la programación lógica es describir los objetos que conforman un universo de discurso, personas en el ejemplo; así como las relaciones entre ellos, siguiendo con el ejemplo hi jo y madre; y computar tales descripciones para obtener conclusiones como (3). Al describir el problema que queremos resolver, también podemos hacer uso de funciones, relaciones en las cuales sólo hay un valor dada una entrada. Por ejemplo, madre de puede representarse como una función (todo hijo tiene una sola madre), pero hijo de no. Esto se ilustra en la gráfica 2.1. luis pedro madre de madre de maria juana maria juana hijo de hijo de luis pedro Figura 2.1 La relación madre de es una función; mientras que hijo de no lo es. Como en todo sistema formal, es necesario especificar cuidadosamente la sintaxis de tales enunciados declarativos, es decir, que expresiones pertenecen al lenguaje de la lógica de primer orden, y cuales no; la semántica de estas expresiones, es decir qué hace que una expresión sea verdadera o falsa; así como las reglas de razonamiento que permiten concluir (3) a partir de (1) y (2). Tales cuestiones son el tema de estudio de la lógica matemática. Esta sesión del curso introduce los elementos de la lógica de primer orden, necesarios para abordar la resolución como regla de inferencia en lógica de primer orden y su uso en el lenguaje de programación Prolog. El material aquí presentado está basado principalmente en los textos de Genesereth y Nilsson (1987), capítulo 2; y el de Nilsson y Maluszynski (2000), capítulo 1. Una lectura complementaria a estos textos son los capítulos 8 y 9 del texto de Russell y Norvig (2003).

3 2.3 El lenguaje de la lógica de primer orden Sistemas formales La especificación cuidadosa de la sintaxis y semántica de la lógica de primer orden, se consigue definiendo a ésta última como un sistema formal. Para ello, es necesario considerar tres aspectos: Languaje. Este elemento está asociado a la sintaxis de la lógica de primer orden y de los programas lógicos. El lenguaje de un sistema formal está dado por un conjunto de símbolos conocido como alfabeto y una serie de reglas de construcción o sintácticas. Una expresión es cualquier secuencia de símbolos pertenecientes al alfabeto (primarios). Cualquier expresión es, o no es, una fórmula bien formada (fbf). Las fórmulas bien formadas son las expresiones que pueden formarse con los símbolos del alfabeto a partir de las reglas de construcción y por tanto, pertenecen al languaje de la lógica de primer orden. Teoría de modelo. Este elemento está asociado a la semántica de la lógica de primer orden. La teoría del modelo establece la interpretación de las fbfs en un sistema formal. Su función es relacionar las fbfs con alguna representación simplificada de la realidad que nos interesa, para establecer cuando una fbf es falsa y cuando verdadera. Esta versión de realidad corresponde a lo que informalmente llamamos modelo. Sin embargo, en lógica, el significado de modelo está íntimamente relacionado con el lenguaje del sistema formal: si la interpretación M hace que la fbf α 1 sea verdadera, se dice que M es un modelo de α o que M satisface α, y se escribe M = α. Una fbf es válida si toda interpretación es un modelo para ella. Teoría de prueba. Este elemento está asociado con el razonamiento deductivo. La teoría de la prueba tiene como objetivo hacer de cada enunciado matemático una fórmula demostrable y rigurosamente deducible. Para ello, la actividad matemática debería quedar reducida a la manipulación de símbolos y sucesiones de símbolos regulada por un conjunto de instrucciones dadas al respecto. La construcción de tal teoría implica, además del lenguaje del sistema formal, un subconjunto de fbf que tendrán el papel axiomas en el sistema, y un conjunto de reglas de inferencia que regulen diversas operaciones sobre los axiomas. Las fbf obtenidas mediante la aplicación sucesiva de las reglas de inferencia a partir de los axiomas se conocen como teoremas del sistema El lenguaje de la lógica de primer orden Básicamente, la lógica de primer orden, también conocida como cálculo de predicados, introduce un conjunto de símbolos que nos permiten expresarnos acerca de los objetos en un dominio de discurso dado. El conjunto de todos estos objetos 1 El símbolo α se usa aquí como una variable meta-lógica, es decir, una variable que tiene como referente el lenguaje del sistema formal mismo, y por lo tanto, no forma parte del lenguaje del sistema en si. Se usaran letras griegas como variables meta-lógicas.

4 24 2 Lógica de Primer Orden se conoce como universo de discurso (U). Los miembros del universo de discurso pueden ser objetos concretos, ej., un libro, un robot, etc; abstractos, ej., números; e incluso, ficticios, ej., unicornios, etc. Un objeto es algo sobre lo cual queremos expresarnos. Como ejemplo, consideren el multi citado mundo de los bloques Genesereth y Nilsson (1987) que se muestra en la figura 2.2. El universo de discurso para tal escenario es el conjunto que incluye los cinco bloques, la el brazo robótico y la mesa: {a, b, c, d, e, brazo, mesa}. Brazo robótico E A B D C Mesa Figura 2.2 El mundo de los bloques, usado para ejemplificar el cálculo de predicados. Una función es un tipo especial de relación entre los objetos del dominio de discurso. Este tipo de relaciones mapea un conjunto de objetos de entrada a un objeto único de salida. Por ejemplo, es posible definir la función parcial sombrero que mapea un bloque al bloque que se encuentra encima de él, si tal bloque existe. Las parejas correspondientes a esta función parcial, dado el escenario mostrado en la figura 2.2 son: {(b,a),(c,d),(d,e)}. El conjunto de todas las funciones consideradas en la conceptualización del mundo se conoce como base funcional. Un segundo tipo de relación sobre los objetos del dominio de discurso son los predicados. Diferentes predicados pueden definirse en el mundo de los bloques, ej., el predicado sobre que se cumple para dos bloques, si y sólo si el primero está inmediatamente encima del segundo. Para la escena mostrada en la figura 2.2, sobre/2 se define por los pares {(a,b),(d,c),(e,d)}. Otro predicado puede ser libre/1, que se cumple para un bloque si y sólo si éste no tiene ningún bloque encima. Este predicado tiene los siguientes elementos {a, e}. El conjunto de todos los predicados usados en la conceptuación se conoce como base relacional. Para universos de discurso finitos, existe un límite superior en el número posible de predicados n-arios que pueden ser definidos. Para un universo de discurso de cardinalidad b (cardinalidad es el número de elementos de un conjunto), existen b n distintas n-tuplas. Cualquier predicado n-ario es un subconjunto de estas b n tuplas. Por lo tanto, un predicado n-ario debe corresponder a uno de máximo 2 (bn) conjuntos posibles. Además de las funciones y predicados, la flexibilidad de la lógica de primer orden resulta del uso de variables y cuantificadores. Las variables, cuyos valores son objetos del universo de discurso, se suelen representar por cualquier secuencia

5 2.3 El lenguaje de la lógica de primer orden 25 de caracteres que inicie con una mayúscula. El cuantificador para todo ( ) nos permite expresar hechos acerca de todos los objetos en el universo del discurso, sin necesidad de enumerarlos. Por ejemplo, toda madre... El cuantificador existe ( ) nos permite expresar la existencia de un objeto en el universo de discurso con cierta propiedad en partícular, por ejemplo, X libre(x) enlamesa(x) expresa que hay al menos un objeto que no tiene bloques sobre él y aue se encuentra sobre la mesa Sintaxis de la lógica de primer orden Los símbolos primarios de la lógica de primer orden se obtienen al considerar un conjunto numerable de variables, símbolos de predicado y símbolos de funciones. Se asume que los miembros del conjunto Var toman valores en el universo de discurso. Asociado a cada predicado y función, hay un número natural conocido como su aridad, que expresa su número de argumentos. Los predicados de aridad 0 se asumen como variables proposicionales. Las funciones de aridad 0 se asumen como constantes. Considerando los operadores lógicos y los cuantificadores, tenemos que los símbolos primarios o alfabeto del lenguaje de la lógica de primer orden son los que se muestran en la tabla 2.1 Conjunto de constantes: Const Conjunto de variables: Var Conjunto de predicados: Pred Conjunto de funciones: Func Operadores monarios: (negación) Operadores binarios: (disyunción) Cuantificadores: (cuantificador universal) Paréntesis: (, ) Cuadro 2.1 Alfabeto del lenguaje de la lógica de primer orden. El lenguaje del cálculo de predicados L FOL se especifica recursivamente como sigue: Primero definimos un conjunto de términos del lenguaje Term, como la unión de constantes y variables Const Var; así como la aplicación de las funciones en Func a una secuencia de términos, cuyo tamaño queda determinado por la aridad de la función. Recuerden que las funciones de aridad cero representan constantes. Las siguientes reglas sintácticas expresan que los términos son fbf en el lenguaje: Sintaxis 1 Si α Const, entonces α Term Sintaxis 2 Si α Var, entonces α Term Sintaxis 3 Si α/n Func, entonces α(φ 1,...,φ n ) Term ssi φ i=1,...,n Term.

6 26 2 Lógica de Primer Orden Al igual que en el caso de las funciones, la sintaxis de los predicados involucra la aridad del predicado y que sus argumentos sean a su vez términos. Recuerden que los predicados de aridad cero se interpretan como variables proposicionales: Sintaxis 4 Si α/n Pred, entonces α(φ 1,...,φ n ) L FOL ssi φ i=1,...,n Term. La sintaxis de la negación y la disyunción se definen como: Sintaxis 5 Si α L FOL, entonces α L FOL Sintaxis 6 Si α L FOL y β L FOL, entonces (α β) L FOL La sintaxis del cuantificador universal es como sigue: Sintaxis 7 Si α L FOL yx Vars es una variable que ocurre en α, entonces X α L FOL Las definiciones de la conjunción, la implicación, la equivalencia material, verdadero y falso, son como en la lógica proposicional: Definición 1 (conjunción) (α β)= def ( α β); Definición 2 (implicación) (α β)= def ( α β); Definición 3 (equivalencia material) (α β)= def ((α β) (β α)); Definición 4 (falso) f = def α α; Definición 5 (verdadero) t = def f La definición del cuantificador existencial es la siguiente: Definición 6 (cuantificador existencial) X α = def ( X α) Siendo estrictos, el cuantificador propiamente dicho, es el símbolo de cuantificador seguido de una variable, puesto que X y Y tienen significados diferentes. En una fbf de la forma X α, se dice que la fbf α está bajo el alcance del cuantificador X. En tal caso, se dice que la ocurrencia de X en α está acotada, en caso contrario se dice que la ocurrencia de la variable es libre. Por ejemplo, en X sobre(x,y ) la variable X está acotada, mientras que Y está libre. Un término sin variables se conoce como término de base, por ejemplo: sobre(a,b) La semántica de la lógica de primer orden Antes de introducir las definiciones formales de la semántica de la lógica de primer orden, consideremos algunas expresiones posibles en estálógica, usando como ejemplo el mundo de los bloques (Figura 2.2). Si queremos expresar que al menos algún bloque no tiene nada encima, podemos usar los predicados bloque/1 y libre/1 en la siguiente expresión: X bloque(x) libre(x). Esta fbf expresa que existe un

7 2.4 La semántica de la lógica de primer orden 27 X tal que X es un bloque y X está libre (no tiene otro bloque encima). Observen que cuando usamos cuantificadores, siempre tenemos en mente el universo de discurso en cuestión o dominio. El dominio puede especificarse en término de conjuntos. Luego, si el dominio D es el conjunto de constantes {a,b,c,d,e,brazo,mesa}, podemos decir que B D = {a,b,c,d,e} es el conjunto de bloques en D. Entonces, es posible plantear una expresión equivalente a X bloque(x) libre(x), usando la fbf X libre(x), si especificamos que libre/1 tiene como dominio B. Una interpretación del predicado libre/1 es un subconjunto de B tal que si un bloque está libre, pertenece a este subconjunto. Para un predicado de aridad dos, como sobre/2 cuyo dominio son los bloques B B, podemos decir que su interpretación es un subconjunto de B B. En general, para un predicado de aridad n, su interpretación es un subconjunto en D n Teoría de modelo de la lógica de primer orden Para obtener un modelo para el lenguaje L FOL formamos el par M = D,V, donde D es el universo de discurso, ej. cualquier colección de objetos sobre la que queremos expresarnos, y la interpretación V es una función, tal que: Para cualquier predicado α de aridad n, V (α) regresa las n-tuplas que corresponden a la interpretación del predicado. En el ejemplo, siguiendo nuevamente la figura 2.2, consideren el predicado sobre/2. Su interpretación es un subconjunto de D 2 = D D. Para la escena mostrada, V (sobre)={(a,b),(e,d),(d,c)}. Para una constante, la función V regresa la misma constante, ej. V (a)=a. Algunas veces la expresión V (α) se abrevia α V. Una posible interpretación V para la escena del mundo de los bloques mostrada en al figura 2.2, es: a V = a b V = b c V = c d V = d e V = e sobre V = {(a,b),(e,d),(d,c)} enlamesa V = {b,c} libre V = {a,e} porencima V = {(a,b),(e,d),(e,c),(d,c)} Todo esto puede especificarse formalmente con la siguiente definición:

8 28 2 Lógica de Primer Orden Definición 7 (Interpretación) Una interpretación V, con respecto a un dominio de discurso D, es una función que satisface las siguientes propiedades: i) Si α Const, Entonces V (α)=α; ii) Si α/n Pred, Entonces V (α) D n. Observen que las variables no están incluidas en la interpretación. Interpretar las variables de manera independiente a otros símbolos en el lenguaje, es una práctica aceptada. Decimos que U es una asignación de variables basada en el modelo M = D,V si para todo α Var, U(α) Term. Por ejemplo, en el mundo de los bloques X U = a, es una asignación de variables. Esta abreviatura a veces se expande como U = {X\a} y se conoce como substitución. Una interpretación V y una asignación de variables U pueden combinarse en una asignación conjunta T VU que aplica a los términos de primer orden en general. La asignación de términos T dadas la interpretación V y la asignación de variables U, es un mapeo de términos a objetos del universo de discurso que se define como sigue: Semántica 1 Si α Const, entonces T VU (α)=v (α). Semántica 2 Si α Var, entonces T VU (α)=u(α). Semántica 3 Si α Term y es de la forma α(φ 1,...,φ n );yv(α)=g; y T VU (φ i )= x i, entonces T VU (α(φ 1,...,φ n )) = g(x 1,...,x n ). El concepto de satisfacción guarda una relación importante con las interpretaciones y las asignaciones. Por convención, el hecho de que el enunciado α sea satisfecho bajo una interpretación V y una asignación U, se escribe: = V α[u] Entonces podemos escribir M = V U (α) para expresar que α es verdadera en el modelo M = D,V cuando las variables en α toman valores de acuerdo a la asignación U. Por ejemplo, M = V U (sobre(x,b)) si X\a U. En realidad, la noción de satisfacción varía dependiendo de la clase del enunciado α. Así tenemos que una interpretación V y una asignación de variables U satisfacen una ecuación, si y sólo si la correspondiente asignación de términos T VU mapea los términos igualados a un mismo objeto. Cuando este es el caso, los términos se dicen correferenciados: Semántica 4 M = V (α = β)[u] ssi T VU (α)=t VU (β). Para el caso de un enunciado atómico que no sea una ecuación, la satisfacción se cumple si y sólo si la tupla formada por los objetos designados por los términos en el enunciado, es un elemento de la relación designada por la relación constante: Semántica 5 M = V α(τ 1,...,τ n )[U] ssi (T VU (τ 1 ),...,T VU (τ n )) V (α). Consideren como ejemplo la interpretación V definida para el mundo de los boques. Puesto que la constante a designa al bloque a y la constante b al bloque b, y

9 2.5 Inferencia en la lógica de primer orden 29 el par ordenado (a,b) es miembro del conjunto que interpreta la relación sobre, entonces es el caso que = V sobre(a,b)[u], por lo cual podemos decir que sobre(a,b) es verdadera en esa intepretación. Evidentemente: Semántica 6 M = V (α)[u] ssi M = V α[u]. y: Semántica 7 M = V (α β)[u] ssi M = V α[u] óm = β[u]. Un enunciado cuantificado universalmente se satisface, si y sólo si el enunciado bajo el alcance del cuantificador, se satisface para todas las asignaciones posibles de la variable cuantificada. Un enunciado cuantificado existencialmente se satisface, si y sólo si el enunciado bajo el alcance del cuantificador es satisfecho por una asignación de variables. Semántica 8 M = V X α[u], ssi para toda β en el universo de discurso, es el caso que M = V α[u ], donde U (X)=β yu (γ)=u(γ) para toda γ = X. Debido a la última condición en esta regla, se dice que U es una asignación X- alternativa a U. La regla semántica también puede leerse como: M = V X α[u] si para toda asignación de variables X-alternativa U, M = V α[u ]. Si una interpretación V safisface a un enunciado α para toda asignación de variables, se dice que V es un modelo de α. Un enunciado se dice satisfacible si existe alguna interpretación y asignación de variables que lo satisfaga. De otra forma, se dice que el enunciado es insatisfacible. Una fbf α es válida si y sólo si se satisface en toda intepretación y asignación de variables. Las fbf válidas lo son en virtud de su estructura lógica, por lo que no proveen información acerca del dominio descrito. Por ejemplo p(x) p(x) es una fbf válida Inferencia en la lógica de primer orden Volvamos al ejemplo de la introducción: 1. Toda madre ama a sus hijos. 2. Julia es madre y Luis es hijo de Julia. Conociendo (1) y (2) es posible concluir que: 3. Julia ama a Luis. Podemos formalizar este ejemplo en Lógica de Primer Orden como sigue: 1. X Y madre(x) hi jo de(y,x) ama(x,y ) 2. madre( julia) hi jo de(luis, julia)

10 30 2 Lógica de Primer Orden 3. ama( julia, luis) Una vez que hemos formalizado nuestros enunciados, el proceso de inferencia puede verse como un proceso de manipulación de fbf, donde a partir de formulas como (1) y (2), llamadas premisas, se produce la nueva fbf (3) llamada conclusión. Estas manipulaciones se pueden formalizar mediante reglas de inferencia. Entre las reglas de inferencia de la lógica de primer orden encontramos: Modus Ponens. O regla de eliminación de la implicación. Esta regla dice que siempre que las fbfs de la forma α y α β pertenezcan a las premisas o sean concluidas a partir de ellas, podemos inferir β: α α β β ( E) Eliminación de cuantificador universal. Esta regla expresa que siempre que una fbf de la forma Xα pertenezca a las premisas o sea concluida a partir de ellas, una nueva fbf puede ser concluida al remplazar todas las ocurrencias libres de X en α por algún término t que es libre con respecto a X (todas las variables en t quedan libres al substituir X por t. La regla se presenta como sigue: Xα(X) α(t) ( E) Introducción de conjunción. Cuando las fbf α y β pertenezcan a las premisas o sean concluidas a partir de ellas, podemos inferir α β: α β α β ( I) La correctez de estas reglas puede ser demostrada directamente a partir de la definición de la semántica de las fbf en L FOL. El uso de las reglas de inferencia puede ilustrarse con el ejemplo formalizado. Las premisas son: 1. X Y madre(x) hi jo de(y,x) ama(x,y ) 2. madre( julia) hi jo de(luis, julia) Al aplicar la eliminación de cuantificador universal ( E) a (1) obtenemos: 3. Y (madre( julia) hi jo de(y, julia) ama( julia,y ) Al aplicar nuevamente ( E) a (3) obtenemos: 4. madre( julia) hi jo de(luis, julia) ama( julia, luis) Finalmente, al aplicar Modus Ponens a (2) y (4): 5. ama( julia, luis)

11 2.6 Substituciones 31 La conclusión (5) ha sido obtenida rigurosamente, aplicando las reglas de inferencia. Esto ilustra el concepto de derivación. El hecho de que una formula α sea derivable a partir de un conjunto de fórmulas se escribe α. Si las reglas de inferencia son consistentes (sound), siempre que α entonces = α. Esto es, si nuestra lógica es consistente, cualquier fbf que puede ser derivada de otra fbf, es tambien una consecuencia lógica de ésta última. Definición 8 (Consistencia y completitud) Un conjunto de reglas de inferencia se dice consistente si, para todo conjunto de fbf cerradas (sin ocurrencia de variables libres) y cada fbf cerrada α, siempre que α se tiene que = α. Las reglas de inferencia se dicen completas si α siempre que = α Substituciones Formalmente, como ya se mencionó, una substitución es un mapeo de las variables del lenguaje a los términos del mismo: Definición 9 (Substitución) Una substitución es un conjunto finito de pares de la forma {X 1 /t 1,...,X n /t n } donde cada t n es un término y cada X n es una variable, tal que X i = t i yx i = X j si i = j. La substitución vacía se denota por ε. Asumamos que Dom({X 1 /t 1,...,X n /t n }) denota al conjunto {X 1,...,X n }, también conocido como dominio; yrange({x 1 /t 1,...,X n /t n }) denota al conjunto {t 1,...,t n }, también conocido como rango. Entonces la regla anterior expresa que las variables en el dominio de una substitución son únicas y no incluyen la substitución de la variable por si misma. La aplicación Xθ de la substitución θ a la variable X se define como: t Si X/t θ Xθ = X En otro caso observen que para las variables no incluidas en Dom(θ), θ aparece como la función identidad. Es importante extener el concepto de substitución a las fbf: Definición 10 (Aplicación) Sea θ una substitución {X 1 /t 1,...,X n /t n } y α una fbf. La aplicación αθ es la fbf obtenida al remplazar simultáneamente t i por toda ocurrencia de X i en α (1 i n). αθ se conoce como un caso (instance) de α. Ejemplos: ama(x,y ) madre(x){x/ julia,y /luis} = ama( julia, luis) madre( julia) p( f (X,Z), f (Y,a)) {X/a,Y /Z,W/b} = p( f (a,z), f (Z,a)) p(x,y ) {X/ f (Y ),Y /b} = p( f (Y ),b)

12 32 2 Lógica de Primer Orden Definición 11 (Composición) Sean θ y σ dos substituciones de la forma: θ = {X 1 /s 1,...X m /s m }σ = {Y 1 /t 1,...Y n /t n } La composición θσ se obtiene a partir del conjunto: {X 1 /s 1 σ,...x m /s m σ,y 1 /t 1,...Y n /t n } de la manera siguiente: eliminar todas las X i /s i σ para las que X i = s i σ (1 i m) y eliminar también aquellas Y j /t j para las cuales Y j Dom(θ) (1 j n). Por ejemplo: {X/ f (Z),Y /W}{X/a,Z/a,W/Y } = {X/ f (a),z/a,w/y } Definición 12 (Substitución idempotente) Una substitución θ se dice idempotente si θ = θθ. Se puede probar que una substitución θ es idempotente si y sólo si Dom(θ) Range(θ) =/0, es decir si el dominio y el rango de la substitución son disjuntos. Otras propiedades de las substituciones son: Definición 13 (Propiedades de las substituciones) Sean θ,α y β substituciones y sea F una fbf. Entonces: E(θ α)=(eθ)α (θα)β = θ(αβ) εθ = θε = θ Observen que, aunque las substituciones son asociativas, éstas no son conmutativas. Las substituciones son importantes para definir una regla de inferencia de especial relevancia para nosotros, conocida como la regla de resolución. Con las definiciones introducidas en este capítulo podemos abordar el tema de los programas lógicos definitivos.

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente

Más detalles

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor

Más detalles

UNIDAD I: LÓGICA PROPOSICIONAL

UNIDAD I: LÓGICA PROPOSICIONAL UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA

Más detalles

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12 Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo

Más detalles

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por. 2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos

Más detalles

Repaso de Lógica de Primer Orden

Repaso de Lógica de Primer Orden Repaso de Lógica de Primer Orden IIC3260 IIC3260 Repaso de Lógica de Primer Orden 1 / 29 Lógica de primer orden: Vocabulario Una fórmula en lógica de primer orden está definida sobre algunas constantes

Más detalles

TEMA 3 (parte 2). Representación del Conocimiento

TEMA 3 (parte 2). Representación del Conocimiento TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial] 3.2.2 Lógica

Más detalles

Lógica de Predicados de Primer Orden

Lógica de Predicados de Primer Orden Lógica de Predicados de Primer Orden La lógica proposicional puede ser no apropiada para expresar ciertos tipos de conocimiento. Por ejemplo: Algunas manzanas son rojas Esta afirmación no se refiere específicamente

Más detalles

ÍNDICE PRESENTACIÓN... 9. INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16

ÍNDICE PRESENTACIÓN... 9. INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16 ÍNDICE PRESENTACIÓN... 9 INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16 I. VERDAD Y PORTADORES DE VERDAD... 19 1. De qué tipo de entidades predicamos la verdad?...

Más detalles

MLM 1000 - Matemática Discreta

MLM 1000 - Matemática Discreta MLM 1000 - Matemática Discreta L. Dissett Clase 04 Resolución. Lógica de predicados c Luis Dissett V. P.U.C. Chile, 2003 Aspectos administrativos Sobre el tema vacantes: 26 personas solicitaron ingreso

Más detalles

IIC 2252 - Matemática Discreta

IIC 2252 - Matemática Discreta IIC 2252 - Matemática Discreta L. Dissett Clase 04 Lógica de predicados. Reglas de inferencia en lógica de predicados. Lógica de predicados Definiciones básicas: Un predicado es una afirmación que depende

Más detalles

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios } La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas

Más detalles

Tema 6: Programación Lógica: semántica declarativa. Lenguajes y Paradigmas de Programación

Tema 6: Programación Lógica: semántica declarativa. Lenguajes y Paradigmas de Programación Tema 6: Programación Lógica: semántica declarativa Lenguajes y Paradigmas de Programación Teoría de Modelos Se basa en el concepto de INTERPRETACIÓN, que consiste en: elegir un dominio D (en el que tomarán

Más detalles

INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas

INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones

Más detalles

Las reglas se parecen un poco a las vistas relacionales. Especifican relaciones virtuales que no están

Las reglas se parecen un poco a las vistas relacionales. Especifican relaciones virtuales que no están BASES DE DATOS DEDUCTIVAS Introducción: El interés de los Sistemas de Gestión de Bases de Datos Deductivas tiende a incrementarse conforme se amplía su campo de aplicación (Gestión, Sistemas Expertos).

Más detalles

EJERCICIOS DEL CAPÍTULO I

EJERCICIOS DEL CAPÍTULO I EJERCICIOS DEL CAPÍTULO I 1. Un grupo es una tipo particular de Ω estructura cuando Ω es el tipo Ω = { } siendo una operación de aridad dos. Pero un grupo también es una Ω -estructura siendo Ω = {e, i,

Más detalles

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones: 2. Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma informal,

Más detalles

Representación del conocimiento mediante lógica formal Introducción a PROLOG

Representación del conocimiento mediante lógica formal Introducción a PROLOG Representación del conocimiento mediante lógica formal Introducción a PROLOG Representación del conocimiento Lo que nos interesa es la representación, es decir, la modelización del conocimiento Orientaciones:

Más detalles

PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005. Jorge Pérez R.

PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005. Jorge Pérez R. PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005 Jorge Pérez R. 1 Introducción a PROLOG PROLOG es un lenguaje interpretado basado en la lógica de predicados de primer orden. Puede

Más detalles

Álgebras de Boole. Juan Medina Molina. 25 de noviembre de 2003

Álgebras de Boole. Juan Medina Molina. 25 de noviembre de 2003 Álgebras de Boole Juan Medina Molina 25 de noviembre de 2003 Introducción Abordamos en este tema el estudio de las álgebras de Boole. Este tema tiene una aplicación directa a la electrónica digital ya

Más detalles

Estructuras Discretas. César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro

Estructuras Discretas. César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro Estructuras Discretas César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro Facultad de Ciencias de la Computación Benemérita Universidad Autónoma de Puebla 1. CONJUNTOS Y CLASES 1

Más detalles

Ejemplo 1.2 En el capitulo anterior se demostró que el conjunto. V = IR 2 = {(x, y) : x, y IR}

Ejemplo 1.2 En el capitulo anterior se demostró que el conjunto. V = IR 2 = {(x, y) : x, y IR} Subespacios Capítulo 1 Definición 1.1 Subespacio Sea H un subconjunto no vacio de un espacio vectorial V K. Si H es un espacio vectorial sobre K bajo las operaciones de suma y multiplicación por escalar

Más detalles

Lógica, conjuntos, relaciones y funciones

Lógica, conjuntos, relaciones y funciones Lógica, conjuntos, relaciones y funciones Álvaro Pérez Raposo Universidad Autónoma de San Luis Potosí Universidad Politécnica de Madrid Publicaciones Electrónicas Sociedad Matemática Mexicana A la memoria

Más detalles

Lenguajes y Compiladores

Lenguajes y Compiladores Información: http://www.cs.famaf.unc.edu.ar/wiki/ Profesores: Héctor Gramaglia, Miguel Pagano, Demetrio Vilela Régimen de regularidad y Promoción Se tomarán 2 parciales Promoción: obteniendo al menos 7

Más detalles

2.3.- Modelo relacional de datos (aproximación lógica)

2.3.- Modelo relacional de datos (aproximación lógica) 2.3.- Modelo relacional de datos (aproximación lógica) Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva

Más detalles

2.3.- Modelo relacional de datos (aproximación lógica) 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden

2.3.- Modelo relacional de datos (aproximación lógica) 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden 2.3.- Modelo relacional de datos (aproximación lógica). Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva

Más detalles

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009

ISSN 1988-6047 DEP. LEGAL: GR 2922/2007 Nº 15 FEBRERO DE 2009 LÓGICA PROPOSICIONAL AUTORÍA SILVIA BORREGO DEL PINO TEMÁTICA MATEMÁTICAS. LÓGICA ETAPA UNIVERSITARIA Resumen La lógica forma parte de la filosofía, en la que se distinguen dos dimensiones, la dimensión

Más detalles

UNIVERSIDAD POPULAR DEL CESAR DEPATAMENTO DE MATEMATICA Y ESTADISTICA ALGEBRA DE BOOLE

UNIVERSIDAD POPULAR DEL CESAR DEPATAMENTO DE MATEMATICA Y ESTADISTICA ALGEBRA DE BOOLE UNIVERSIDAD POPULAR DEL CESAR DEPATAMENTO DE MATEMATICA Y ESTADISTICA ALGEBRA DE BOOLE GERMAN ISAAC SOSA MONTENEGRO EJERCICIOS 3. Escriba en notación expandida los siguientes numerales : a) 2375 b) 110111

Más detalles

1. Teoría de Conjuntos

1. Teoría de Conjuntos 1. Teoría de Conjuntos 1.1. CONJUNTOS Considere las siguientes expresiones: 1. Los estudiantes de la Facultad de Matemática y Computación de la Universidad de La Habana del curso 2001-2002. 2. Los tomos

Más detalles

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008 INTRODUCCIÓN Estructura de Datos Tipos Abstractos de Datos (TAD S) Para poder obtener un programa que resuelva un problema dado, son necesarios varios pasos : La formulación y especificación del problema

Más detalles

Tipos Abstractos de Datos

Tipos Abstractos de Datos Objetivos Repasar los conceptos de abstracción de datos y (TAD) Diferenciar adecuadamente los conceptos de especificación e implementación de TAD Presentar la especificación algebraica como método formal

Más detalles

Historia y Filosofía de la Lógica

Historia y Filosofía de la Lógica Historia y Filosofía de la Lógica Pablo Cobreros pcobreros@unav.es Tema 1: El objeto de la lógica La lógica proposicional clásica El objeto de la lógica Consecuencia lógica La lógica proposicional El lenguaje

Más detalles

((X A Y ) = A ) si y solo si X = Y, A = B, A X = X, (X A Y ) = X Y, (X A Y ) = X Y

((X A Y ) = A ) si y solo si X = Y, A = B, A X = X, (X A Y ) = X Y, (X A Y ) = X Y El examen de Lógica y fundamentos del 11-02-2005 resuelto por cortesía de Alberto Castellón 1) Sea A = P(B) el conjunto de los subconjuntos de un conjunto B. a) Pruébese que A es un modelo de la teoría

Más detalles

Notas de Clase para IL

Notas de Clase para IL Notas de Clase para IL 5. Deducción en Lógica de Primer Orden Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra 3 de septiembre de 2009 1 1. Formas normales

Más detalles

Seminario: Expresividad semántica y lógica de segundo orden:

Seminario: Expresividad semántica y lógica de segundo orden: Seminario: Expresividad semántica y lógica de segundo orden: Eduardo Barrio Javier Castro Albano UBA 1er cuatrimestre de 2008 1.- Definiciones: L: Lenguaje: conjunto de expresiones. LP: Lenguaje de primer

Más detalles

Introducción a la Teoría de Probabilidad

Introducción a la Teoría de Probabilidad Capítulo 1 Introducción a la Teoría de Probabilidad Para la mayoría de la gente, probabilidad es un término vago utilizado en el lenguaje cotidiano para indicar la posibilidad de ocurrencia de un evento

Más detalles

Lógica Proposicional Cálculo Proposicional de Orden Cero (Cero)

Lógica Proposicional Cálculo Proposicional de Orden Cero (Cero) Introducción a la Computación (TFA) Lógica Proposicional Cálculo Proposicional de Orden Cero (Cero) Teoría de Lógica Proposicional - Autor: Ana Garis Modificaciones: E. Benegas Temas a Desarrollar - Motivaciones

Más detalles

INTRODUCCION A LA LÓGICA DE ENUNCIADOS

INTRODUCCION A LA LÓGICA DE ENUNCIADOS INTRODUCCION A LA LÓGICA DE ENUNCIADOS Carlos S. Chinea 0. Enunciados: Lo fundamental en el lenguaje ordinario, la herramienta para manifestar las ideas, sentimientos, descripción de situaciones diversas,

Más detalles

Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado

Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado Álgebra Relacional Un álgebra es un sistema matemático constituido por Operandos: objetos (valores o variables) desde los cuales nuevos objetos pueden ser construidos. Operadores: símbolos que denotan

Más detalles

Apuntes de Matemática Discreta 6. Relaciones

Apuntes de Matemática Discreta 6. Relaciones Apuntes de Matemática Discreta 6. Relaciones Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 6 Relaciones Contenido 6.1 Generalidades.....................................

Más detalles

Introducción. Paradigma de Lógica Gran importancia en la I.A. Origen: prueba de teoremas y razonamiento deductivo. Lógica.

Introducción. Paradigma de Lógica Gran importancia en la I.A. Origen: prueba de teoremas y razonamiento deductivo. Lógica. Tema 2: Lógica y Razonamiento Automático tico Introducción Lógica Proposicional Lógica de Predicados Axiomas Unificación Razonamiento automático e Inferencias lógicas Resolución Regla de Inferencia Refutación

Más detalles

VII. Estructuras Algebraicas

VII. Estructuras Algebraicas VII. Estructuras Algebraicas Objetivo Se analizarán las operaciones binarias y sus propiedades dentro de una estructura algebraica. Definición de operación binaria Operaciones como la suma, resta, multiplicación

Más detalles

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d Relaciones binarias En esta sección estudiaremos formalmente las parejas de objetos que comparten algunas características o propiedades en común. La estructura matemática para agrupar estas parejas en

Más detalles

CONJUNTOS Y RELACIONES BINARIAS

CONJUNTOS Y RELACIONES BINARIAS UNIVERSIDAD CATÓLICA ANDRÉS BELLO FACULTAD DE INGENIERÍA ESCUELA DE INGENIERÍA INFORMÁTICA CÁTEDRA DE LÓGICA COMPUTACIONAL CONJUNTOS Y RELACIONES BINARIAS INTRODUCCIÓN Intuitivamente, un conjunto es una

Más detalles

2 + intexp + intexp. (2) intexp. 2 + intexp

2 + intexp + intexp. (2) intexp. 2 + intexp 1. Semántica de un lenguaje: primera aproximación El establecer el significado de las frases de un lenguaje de programación es un problema de múltiples aristas en tanto puede tener variados objetivos,

Más detalles

El sistema de Hilbert: Lógica de Primer Orden

El sistema de Hilbert: Lógica de Primer Orden El sistema de Hilbert: Lógica de Primer Orden El sistema de deducción de Hilbert para la lógica de primer orden consta de los siguientes elementos: IIC2213 Lógica de Primer Orden 55 / 65 El sistema de

Más detalles

Objetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden

Objetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden Especificación TEMA 1 formal de problemas Objetivos Revisar los principales conceptos de la lógica de primer orden Entender el concepto de estado de cómputo y cómo se modela con predicados lógicos Familiarizarse

Más detalles

CÁLCULO RELACIONAL. Cálculo y Algebra Relacional? Cálculo y Algebra Relacional?

CÁLCULO RELACIONAL. Cálculo y Algebra Relacional? Cálculo y Algebra Relacional? CÁLCULO RELACIONAL Andrés Moreno S. 1 Cálculo y Algebra Relacional? El cálculo y el algebra relacional son alternativos entre si para manipular el modelo relacional. El Álgebra es prescriptiva o procedural,

Más detalles

Números Reales. MathCon c 2007-2009

Números Reales. MathCon c 2007-2009 Números Reales z x y MathCon c 2007-2009 Contenido 1. Introducción 2 1.1. Propiedades básicas de los números naturales....................... 2 1.2. Propiedades básicas de los números enteros........................

Más detalles

Escenas de episodios anteriores

Escenas de episodios anteriores Clase 16/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 detalles

ESTRUCTURAS ALGEBRAICAS

ESTRUCTURAS ALGEBRAICAS ESTRUCTURAS ALGEBRAICAS 1.1. LEY DE COMPOSICIÓN INTERNA Definición 1.1.1. Sea E un conjunto, se llama ley de composición interna en E si y sólo si a b = c E, a, b E. Observación 1.1.1. 1. también se llama

Más detalles

Preliminares: conjuntos, operaciones con conjuntos, aplicaciones, relaciones.

Preliminares: conjuntos, operaciones con conjuntos, aplicaciones, relaciones. Preliminares: conjuntos, operaciones con conjuntos, aplicaciones, relaciones. En este tema expondremos nociones y notaciones fundamentales que se emplearán cotidianamente en cualquier desarrollo matemático.

Más detalles

Tema 12: Teorema de Herbrand

Tema 12: Teorema de Herbrand Facultad de Informática Grado en Ingeniería Informática Lógica 1/12 PARTE 3: DEMOSTRACIÓN AUTOMÁTICA Tema 12: Teorema de Herbrand Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 26/11/2012 Introducción.

Más detalles

INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER

INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER Manual del Alumno ASIGNATURA: Matemática I PROGRAMA: S3C Lima-Perú SESION 1 SISTEMAS DE NUMERACION DEFINICION : Es un conjunto de reglas y principios que nos

Más detalles

Espacios Vectoriales

Espacios Vectoriales Espacios Vectoriales Departamento de Matemáticas, CCIR/ITESM 4 de enero de 2 Índice 3.. Objetivos................................................ 3.2. Motivación...............................................

Más detalles

Lógica Clásica de Primer Orden con Igualdad

Lógica Clásica de Primer Orden con Igualdad Lógica Clásica de Primer Orden con Igualdad José Alfredo Amor Facultad de Ciencias Universidad Nacional Autónoma de México jaam@hp.fciencias.unam.mx 1 Introducción La lógica clásica de primer orden con

Más detalles

3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS

3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS TEMA 12: MODELADO CON VARIABLES BINARIAS 1.- MOTIVACIÓN 2.- INTRODUCCIÓN 3.- ALGUNOS CONCEPTOS BÁSICOS DE ÁLGEBRA DE BOOLE 4.- TRANSFORMACIÓN DE EXPRESIONES LÓGICAS A EXPRESIONES ALGEBRAICAS 5.- MODELADO

Más detalles

Capítulo 4 PROLOG 4.1 Introducción

Capítulo 4 PROLOG 4.1 Introducción 4.1 Introducción PROLOG es un lenguaje declarativo e interpretado, en este tipo de lenguajes se representan los conocimientos sobre un determinado dominio y sus relaciones. A partir de ese conocimiento,

Más detalles

Nociones Básicas de Sémantica: Semántica Denotacional

Nociones Básicas de Sémantica: Semántica Denotacional Nociones Básicas de Sémantica: Semántica Denotacional Análisis de Lenguajes de Programación Mauro Jaskelioff 21/08/2015 Acerca de la Semántica Operacional En la semántica operacional el significado de

Más detalles

1. Se establecen los conceptos fundamentales (símbolos o términos no definidos).

1. Se establecen los conceptos fundamentales (símbolos o términos no definidos). 1. ÁLGEBRA DE BOOLE. El álgebra de Boole se llama así debido a George Boole, quien la desarrolló a mediados del siglo XIX. El álgebra de Boole denominada también álgebra de la lógica, permite prescindir

Más detalles

INTRODUCCION A LA LOGICA

INTRODUCCION A LA LOGICA INTRODUCCION A LA LOGICA Renato Lewin Pontificia Universidad Católica de Chile I Parte LOGICA PROPOSICIONAL Introducción 1 Lógica Cuando deseamos establecer una verdad, cuando queremos convencer a alguien

Más detalles

ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS. Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi

ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS. Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi 3 INTRODUCCIÓN Estas notas han sido elaboradas con el objetivo de ofrecer al ingresante a las carreras de la

Más detalles

Lógica de Predicados 1

Lógica de Predicados 1 Lógica de Predicados 1 rafael ramirez rafael@iua.upf.es Ocata 320 Porqué Lógica de Predicados La logica proposicional maneja bien afirmaciones compuestas de no, y, o, si entonces En situaciones con un

Más detalles

Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia.

Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia. "Otras Alternativas Para La Definición De Relación En Teoría De Conjuntos" Carlos Julio Luque Arias Profesor Universidad Pedagógica Nacional Grupo de Algebra. Universidad Pedagógica Nacional Haydee Jiménez

Más detalles

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad

1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad CAPÍTULO 1 Lógica En lógica se analiza, entre otros muchos temas, si un razonamiento dado es correcto o no. Si bien sus aplicaciones prácticas son muy diversas, mencionaremos apenas dos: en las demostraciones

Más detalles

CAPÍTULO II. 2 El espacio vectorial R n

CAPÍTULO II. 2 El espacio vectorial R n CAPÍTULO II 2 El espacio vectorial R n A una n upla (x 1, x 2,..., x n ) de números reales se le denomina vector de n coordenadas o, simplemente, vector. Por ejemplo, el par ( 3, 2) es un vector de R 2,

Más detalles

Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos

Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 1 Conjuntos y Subconjuntos

Más detalles

Conjuntos, Relaciones y Funciones

Conjuntos, Relaciones y Funciones Conjuntos, Relaciones y Funciones 0.1 Conjuntos El término conjunto y elemento de un conjunto son términos primitivos y no definidos. De un punto de vista intuitivo parece ser que cualquier colección de

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 en FOL Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM en FOL Matemáticas Discretas - p. 1/23 En esta lectura veremos principalmente cómo se construyen argumentos

Más detalles

Ejemplos y problemas resueltos de análisis complejo (2014-15)

Ejemplos y problemas resueltos de análisis complejo (2014-15) Variable Compleja I (3 o de Matemáticas y 4 o de Doble Titulación) Ejemplos y problemas resueltos de análisis complejo (04-5) Teoremas de Cauchy En estos apuntes, la palabra dominio significa, como es

Más detalles

Dependencia lineal de vectores y sus aplicaciones a la resolución de sistemas de ecuaciones lineales y de problemas geométricos.

Dependencia lineal de vectores y sus aplicaciones a la resolución de sistemas de ecuaciones lineales y de problemas geométricos. Dependencia lineal de vectores y sus aplicaciones a la resolución de sistemas de ecuaciones lineales y de problemas geométricos. Prof. D. Miguel Ángel García Hoyo. Septiembre de 2011 Dependencia lineal

Más detalles

Clase 09. La capa lógica. Mg. A. G. Stankevicius. Segundo Cuatrimestre

Clase 09. La capa lógica. Mg. A. G. Stankevicius. Segundo Cuatrimestre Ingeniería de Aplicaciones para la Web Semántica Clase 09 La capa lógica Mg. A. G. Stankevicius Segundo Cuatrimestre 2005 Copyright 2 Copyright 2005 A. G. Stankevicius. Se asegura la libertad para copiar,

Más detalles

Apuntes de Matemática Discreta 7. Relaciones de Orden

Apuntes de Matemática Discreta 7. Relaciones de Orden Apuntes de Matemática Discreta 7. Relaciones de Orden Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 7 Relaciones de Orden Contenido

Más detalles

Apuntes de Matemática Discreta 9. Funciones

Apuntes de Matemática Discreta 9. Funciones Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y

Más detalles

Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur

Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Lógica para Ciencias de la Computación Trabajo Práctico N 4 Cálculo de Predicados Primer Cuatrimestre de 2009 Observación

Más detalles

OR (+) AND( ). AND AND

OR (+) AND( ). AND AND Algebra de Boole 2.1.Introducción 2.1. Introducción El Algebra de Boole es un sistema matemático que utiliza variables y operadores lógicos. Las variables pueden valer 0 o 1. Y las operaciones básicas

Más detalles

TEMA 2: Grupos. El grupo Simétrico.

TEMA 2: Grupos. El grupo Simétrico. Álgebra y Estructuras Discretas Grupo B de la Ingeniería Técnica de Sistemas TEMA 2: Grupos. El grupo Simétrico. 1. Definición de Grupo. Propiedades Básicas. Definición 1. Dado un conjunto no vacío G,

Más detalles

Inducción y recursión

Inducción y recursión Capítulo 11 Inducción y recursión Índice del Capítulo 11.1. Introducción.................................. 229 11.2. Inducción matemática............................. 230 11.3. Ayudas para pruebas por

Más detalles

Lógica de Primer Orden. Esquema. Tema 6. Introducción

Lógica de Primer Orden. Esquema. Tema 6. Introducción Lógica de Primer Orden Tema 6 Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 1 Introducción Esquema Sintaxis y semántica de la Lógica de Primer Orden Variaciones en la

Más detalles

Lógica Proposicional 1

Lógica Proposicional 1 Lógica Proposicional 1 rafael ramirez rafael@iua.upf.es Ocata 320 Lógica proposicional Un conjunto de variables p, q, r, que representan afirmaciones tales como Esta caja es roja La luna es de queso La

Más detalles

EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS

EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS EL TEOREMA DE CANTOR-BERNSTEIN Y LA COMPARABILIDAD PARA LOS CONJUNTOS BIEN ORDENADOS J. CLIMENT VIDAL Resumen. Una vez definidas las nociones y establecidas las proposiciones necesarias de la teoría de

Más detalles

Si Sócrates es un ser humano, entonces Sócrates es mortal Sócrates es un ser humano

Si Sócrates es un ser humano, entonces Sócrates es mortal Sócrates es un ser humano Capítulo I Lógica, Pruebas e Inducción La lógica es el estudio de razonamiento correcto. Más específicamente en nuestro contexto matemático, estamos interesados en razonamiento deductivo. En un argumento,

Más detalles

Problemas indecidibles

Problemas indecidibles Capítulo 7 Problemas indecidibles 71 Codificación de máquinas de Turing Toda MT se puede codificar como una secuencia finita de ceros y unos En esta sección presentaremos una codificación válida para todas

Más detalles

Definición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas.

Definición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas. Tema 1 Matrices Estructura del tema. Conceptos básicos y ejemplos Operaciones básicas con matrices Método de Gauss Rango de una matriz Concepto de matriz regular y propiedades Determinante asociado a una

Más detalles

DESCRIPTORES DE RENDIMIENTO

DESCRIPTORES DE RENDIMIENTO California English Language Development Test DESCRIPTORES DE RENDIMIENTO DE LA PRUEBA Este documento contiene los Descriptores de de la prueba CELDT, que describen lo que los estudiantes, por lo general,

Más detalles

Tema III. Capítulo 2. Sistemas generadores. Sistemas libres. Bases.

Tema III. Capítulo 2. Sistemas generadores. Sistemas libres. Bases. Tema III Capítulo 2 Sistemas generadores Sistemas libres Bases Álgebra Lineal I Departamento de Métodos Matemáticos y de Representación UDC 2 Sistemas generadores Sistemas libres Bases 1 Combinación lineal

Más detalles

SECRETARIA DE EDUCACIÓN PÚBLICA SUBSECRETARIA DE EDUCACIÓN MEDIA SUPERIOR DIRECCIÓN DE BACHILLERATOS ESTATALES Y PREPARATORIA ABIERTA

SECRETARIA DE EDUCACIÓN PÚBLICA SUBSECRETARIA DE EDUCACIÓN MEDIA SUPERIOR DIRECCIÓN DE BACHILLERATOS ESTATALES Y PREPARATORIA ABIERTA SECRETARIA DE EDUCACIÓN PÚBLICA SUBSECRETARIA DE EDUCACIÓN MEDIA SUPERIOR DIRECCIÓN DE BACHILLERATOS ESTATALES Y PREPARATORIA ABIERTA DEPARTAMENTO DE PREPARATORIA ABIERTA MATEMÁTICAS II GUIA DE ESTUDIO

Más detalles

Tema 3. El modelo Relacional

Tema 3. El modelo Relacional Tema 3. El modelo Relacional Juan Ignacio Rodríguez de León Resumen Presenta el modelo entidad-relación. Visión de alto nivel de las cuestiones referentes a diseño de bases de datos y los problemas encontrados

Más detalles

UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I

UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I UNIVERSIDAD ESTATAL A DISTANCIA VICERRECTORÍA ACADÉMICA DIRECCIÓN DE EXTENSIÓN TÉCNICO UNIVERSITARIO EN COMPUTACIÓN E INFORMÁTICA GUÍA DE ESTUDIO MATEMÁTICA PARA INFORMÁTICA I CÓDIGO 50287 Elaborada por

Más detalles

Conjuntos Numéricos. Las dos operaciones en que se basan los axiomas son la Adición y la Multiplicación.

Conjuntos Numéricos. Las dos operaciones en que se basan los axiomas son la Adición y la Multiplicación. Conjuntos Numéricos Axiomas de los números La matemática se rige por ciertas bases, en la que descansa toda la matemática, estas bases se llaman axiomas. Cuántas operaciones numéricas conocen? La suma

Más detalles

Proyecto Unico Interpretador de SetCalc

Proyecto Unico Interpretador de SetCalc Universidad Simón Bolívar Dpto. de Computación y Tecnología de la Información CI3721 - Traductores e Interpretadores Abril-Julio 2008 Proyecto Unico Interpretador de SetCalc A continuación se describe

Más detalles

Introducción. Metadatos

Introducción. Metadatos Introducción La red crece por momentos las necesidades que parecían cubiertas hace relativamente poco tiempo empiezan a quedarse obsoletas. Deben buscarse nuevas soluciones que dinamicen los sistemas de

Más detalles

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos: Lógica y Demostraciones

Más detalles

INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL

INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL MÓDULO 3: REPRESENTACIÓN DEL CONOCIMIENTO 3.1. INTRODUCCIÓN La IA involucra la construcción de programas que resuelvan problemas que, de ser resueltos por seres

Más detalles

RAZONAMIENTOS LÓGICOS EN LOS PROBLEMAS DE MATEMÁTICAS

RAZONAMIENTOS LÓGICOS EN LOS PROBLEMAS DE MATEMÁTICAS RAZONAMIENTOS LÓGICOS EN LOS PROBLEMAS DE MATEMÁTICAS AUTORÍA SERGIO BALLESTER SAMPEDRO TEMÁTICA MATEMÁTICAS ETAPA ESO, BACHILLERATO Resumen En este artículo comienzo definiendo proposición y los distintos

Más detalles

5.2 Estructuras Algebraicas Introducción

5.2 Estructuras Algebraicas Introducción 5.2 Introducción * Los números naturales: N Al contar objetos se les asigna números: 1, 2, 3,, pasando de un número a su sucesor. La representación en el sistema decimal de números está hecha de tal forma

Más detalles

Embelleciendo a Gödel

Embelleciendo a Gödel Embelleciendo a Gödel Eric C.R. Hehner - Universidad de Toronto 1990 1. Introducción Los teoremas de la incompletitud de Kurt Gödel [1931] se consideran entre los más importantes resultados de la matemática.

Más detalles

UNIDAD I INTRODUCCIÓN A LOS CIRCUITOS LÓGICOS 1. ÁLGEBRA DE BOOLE 2. MÉTODO DE REDUCCIÓN DE MAPAS DE KARNAUGH 1-1. R. ESPINOSA R. y P. FUENTES R.

UNIDAD I INTRODUCCIÓN A LOS CIRCUITOS LÓGICOS 1. ÁLGEBRA DE BOOLE 2. MÉTODO DE REDUCCIÓN DE MAPAS DE KARNAUGH 1-1. R. ESPINOSA R. y P. FUENTES R. UNIDAD I INTRODUCCIÓN A LOS CIRCUITOS LÓGICOS. ÁLGEBRA DE BOOLE 2. MÉTODO DE REDUCCIÓN DE MAPAS DE KARNAUGH - . INTRODUCCIÓN A LOS CIRCUITOS LÓGICOS. ÁLGEBRA DE BOOLE. ÁLGEBRA DE BOOLE El álgebra de Boole

Más detalles

La formalización existente de acción en programación lógica están. adecuadas solamente para la clase más simple de razonamiento temporal

La formalización existente de acción en programación lógica están. adecuadas solamente para la clase más simple de razonamiento temporal CAPITULO 2 Formulación de Código en AnsProlog La formalización existente de acción en programación lógica están adecuadas solamente para la clase más simple de razonamiento temporal Proyección temporal.

Más detalles

CAPÍTULO II. 4 El grupo afín

CAPÍTULO II. 4 El grupo afín CAPÍTULO II 4 El grupo afín En geometría clásica, antes de la aparición de los espacios vectoriales, se hablaba de puntos en lugar de vectores. Para nosotros serán términos sinónimos salvo que, cuando

Más detalles