Computational Logic Chapter 5. Intuitionistic Logic

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

Download "Computational Logic Chapter 5. Intuitionistic Logic"

Transcripción

1 Computational Logic Chapter 5. Intuitionistic Logic Pedro Cabalar Dept. Computer Science University of Corunna, SPAIN January 18, 2011 P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

2 Outline 1 Lógica intuicionista P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

3 Intuicionismo Lógica intuicionista Intuicionismo (L. E. J. Brouwer, 1920 s) es un tipo de constructivismo matemático. Todo objeto matemático es una construcción mental. Debe existir, por tanto, una forma o método para construirlo. Hay muchas propiedades matemáticas no resueltas. Ejemplos: Conjetura de Goldbach: todo número par es suma de dos primos Contiene π nueve nueves seguidos? Sea A(n) = el n-ésimo número de π está precedido por 8 nueves P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

4 Intuicionismo Lógica intuicionista Intuicionismo (L. E. J. Brouwer, 1920 s) es un tipo de constructivismo matemático. Todo objeto matemático es una construcción mental. Debe existir, por tanto, una forma o método para construirlo. Hay muchas propiedades matemáticas no resueltas. Ejemplos: Conjetura de Goldbach: todo número par es suma de dos primos Contiene π nueve nueves seguidos? Sea A(n) = el n-ésimo número de π está precedido por 8 nueves. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

5 Intuicionismo Lógica intuicionista Intuicionismo (L. E. J. Brouwer, 1920 s) es un tipo de constructivismo matemático. Todo objeto matemático es una construcción mental. Debe existir, por tanto, una forma o método para construirlo. Hay muchas propiedades matemáticas no resueltas. Ejemplos: Conjetura de Goldbach: todo número par es suma de dos primos Contiene π nueve nueves seguidos? Sea A(n) = el n-ésimo número de π está precedido por 8 nueves. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

6 Intuicionismo Lógica intuicionista Como resultado: es más restrictivo que el razonamiento clásico. Decir que existe un objeto xφ(x) no equivale a probar su no existencia x φ(x). No acepta la ley del tercero excluido φ φ. Ejemplo xa(x) xa(x) No acepta el principio de doble negación φ φ. Ejemplo: ( xa(x) xa(x)) es válido. Una de las leyes de de Morgan falla (φ ψ) φ ψ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

7 Intuicionismo Lógica intuicionista Como resultado: es más restrictivo que el razonamiento clásico. Decir que existe un objeto xφ(x) no equivale a probar su no existencia x φ(x). No acepta la ley del tercero excluido φ φ. Ejemplo xa(x) xa(x) No acepta el principio de doble negación φ φ. Ejemplo: ( xa(x) xa(x)) es válido. Una de las leyes de de Morgan falla (φ ψ) φ ψ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

8 Intuicionismo Lógica intuicionista Como resultado: es más restrictivo que el razonamiento clásico. Decir que existe un objeto xφ(x) no equivale a probar su no existencia x φ(x). No acepta la ley del tercero excluido φ φ. Ejemplo xa(x) xa(x) No acepta el principio de doble negación φ φ. Ejemplo: ( xa(x) xa(x)) es válido. Una de las leyes de de Morgan falla (φ ψ) φ ψ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

9 Intuicionismo Lógica intuicionista Como resultado: es más restrictivo que el razonamiento clásico. Decir que existe un objeto xφ(x) no equivale a probar su no existencia x φ(x). No acepta la ley del tercero excluido φ φ. Ejemplo xa(x) xa(x) No acepta el principio de doble negación φ φ. Ejemplo: ( xa(x) xa(x)) es válido. Una de las leyes de de Morgan falla (φ ψ) φ ψ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

10 Intuicionismo Lógica intuicionista Como resultado: es más restrictivo que el razonamiento clásico. Decir que existe un objeto xφ(x) no equivale a probar su no existencia x φ(x). No acepta la ley del tercero excluido φ φ. Ejemplo xa(x) xa(x) No acepta el principio de doble negación φ φ. Ejemplo: ( xa(x) xa(x)) es válido. Una de las leyes de de Morgan falla (φ ψ) φ ψ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

11 Lógica Intuicionista Formalización del intuicionismo: Arend Heyting Veamos axiomatización del caso proposicional (IPC). Cálculo positivo de Hilbert (HPC) p (q p) (p (p q)) (p q) (p q) ((q r) (p r)) (p q) p (p q) q p (q (p q)) p p q q p q (p q) ((q r) (p q r)) más las reglas de Modus Ponens y Sustitución Uniforme. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

12 Lógica Intuicionista Formalización del intuicionismo: Arend Heyting Veamos axiomatización del caso proposicional (IPC). Cálculo positivo de Hilbert (HPC) p (q p) (p (p q)) (p q) (p q) ((q r) (p r)) (p q) p (p q) q p (q (p q)) p p q q p q (p q) ((q r) (p q r)) más las reglas de Modus Ponens y Sustitución Uniforme.. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

13 Lógica Intuicionista El cálculo proposicional intuicionista se define como IPC=HPC + los axiomas de negación (p p) p p (p q) El cálculo proposicional clásico se puede definir como PC=IPC + tercio excluido p p PC=HPC + ( p q) (q p). HPC se usa en otras lógicas de negación más débil que la intuicionista. Ejemplo: Lógica Minimal de Johansson JPC=HPC+(p q) ( q p)+ (p p) P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

14 Lógica Intuicionista El cálculo proposicional intuicionista se define como IPC=HPC + los axiomas de negación (p p) p p (p q) El cálculo proposicional clásico se puede definir como PC=IPC + tercio excluido p p PC=HPC + ( p q) (q p). HPC se usa en otras lógicas de negación más débil que la intuicionista. Ejemplo: Lógica Minimal de Johansson JPC=HPC+(p q) ( q p)+ (p p) P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

15 Lógica Intuicionista El cálculo proposicional intuicionista se define como IPC=HPC + los axiomas de negación (p p) p p (p q) El cálculo proposicional clásico se puede definir como PC=IPC + tercio excluido p p PC=HPC + ( p q) (q p). HPC se usa en otras lógicas de negación más débil que la intuicionista. Ejemplo: Lógica Minimal de Johansson JPC=HPC+(p q) ( q p)+ (p p) P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

16 Lógica Intuicionista En primer orden añadimos los axiomas: ϕ(t) xϕ(x) xϕ(x) ϕ(t) y las reglas ψ ϕ(x) ψ ϕ(x) ϕ(x) ψ xϕ(x) ψ con x no libre en t o en ψ. Todas las conectivas,,,,, son necesarias. Tan sólo podemos definir ϕ como ϕ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

17 Lógica Intuicionista En primer orden añadimos los axiomas: ϕ(t) xϕ(x) xϕ(x) ϕ(t) y las reglas ψ ϕ(x) ψ ϕ(x) ϕ(x) ψ xϕ(x) ψ con x no libre en t o en ψ. Todas las conectivas,,,,, son necesarias. Tan sólo podemos definir ϕ como ϕ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

18 Lógica Intuicionista Lógica intuicionista Cálculo de secuentes intuicionista. Basta con modificar el caso clásico del siguiente modo: Los secuentes sólo tienen una fórmula al lado derecho Γ, α β Cambiamos la regla Γ, α Γ, β Γ, Γ, α β, L por la nueva: Γ, α ϕ Γ, β ϕ Γ, Γ, α β ϕ L P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

19 Lógica Intuicionista Lógica intuicionista Para primer orden (al igual que en clásico) añadimos las reglas: Γ, α(y) Γ, xα(x) ( L) Γ α(t), Γ xα(x), ( R) Γ, α(t) Γ, xα(x) ( L) Γ α(y), Γ xα(x), ( R) ojo ( L), ( R) sólo cuando y no aparece en ninguna otra fórmula. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

20 Lógica Intuicionista: semántica Kripke Semántica Kripke para cálculo intuicionista proposicional. Muy similar a modal, tenemos W,, V con W conjunto de mundos, accesibilidad y V : W Atoms {0, 1}.... pero además: 1 Condición de persistencia: si w u y V (w, p) = 1 entonces V (u, p) = 1. 2 es una relación de orden parcial (transitiva, reflexiva). P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

21 Lógica Intuicionista: semántica Kripke Semántica Kripke para cálculo intuicionista proposicional. Muy similar a modal, tenemos W,, V con W conjunto de mundos, accesibilidad y V : W Atoms {0, 1}.... pero además: 1 Condición de persistencia: si w u y V (w, p) = 1 entonces V (u, p) = 1. 2 es una relación de orden parcial (transitiva, reflexiva).. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

22 Lógica Intuicionista: semántica Kripke La satisfactibilidad se define como w = p si V (p, w) = 1 w = ϕ ψ si w = ϕ o w = ψ w = ϕ ψ si w = ϕ y w = ψ w = ϕ ψ si para todo u tal que w u, u = ϕ o u = ψ. w = Ejemplos: probar la no validez de ϕ ϕ o de ϕ ϕ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

23 Lógica Intuicionista: semántica Kripke La satisfactibilidad se define como w = p si V (p, w) = 1 w = ϕ ψ si w = ϕ o w = ψ w = ϕ ψ si w = ϕ y w = ψ w = ϕ ψ si para todo u tal que w u, u = ϕ o u = ψ. w = Ejemplos: probar la no validez de ϕ ϕ o de ϕ ϕ. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

24 Lógica Intuicionista: semántica Kripke En primer orden la cosa se complica. El dominio o universo no tiene por qué ser fijo. Tenemos D w para cada w W. La persistencia implica ahora que, si w u entonces D w D u, los átomos ciertos en D w lo son también en D u y las correspondencias de functiones en w se mantienen en u. Por lo demás, es similar a clásico w = xϕ(x) si para todo d D w, w = ϕ(d) w = xϕ(x) si para algún d D w, w = ϕ(d) P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

25 Lógica Intuicionista: semántica Kripke En primer orden la cosa se complica. El dominio o universo no tiene por qué ser fijo. Tenemos D w para cada w W. La persistencia implica ahora que, si w u entonces D w D u, los átomos ciertos en D w lo son también en D u y las correspondencias de functiones en w se mantienen en u. Por lo demás, es similar a clásico w = xϕ(x) si para todo d D w, w = ϕ(d) w = xϕ(x) si para algún d D w, w = ϕ(d). Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

26 Lógica Intuicionista: semántica Kripke En primer orden la cosa se complica. El dominio o universo no tiene por qué ser fijo. Tenemos D w para cada w W. La persistencia implica ahora que, si w u entonces D w D u, los átomos ciertos en D w lo son también en D u y las correspondencias de functiones en w se mantienen en u. Por lo demás, es similar a clásico w = xϕ(x) si para todo d D w, w = ϕ(d) w = xϕ(x) si para algún d D w, w = ϕ(d). Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

27 Lógica Intuicionista: correspondencia con S4 Podemos traducir fórmulas intuicionistas a S4 (Gödel 1933) := p := Lp (ϕ ψ) := ϕ ψ (ϕ ψ) := Lϕ Lψ (ϕ ψ) := Lϕ Lψ ( ϕ) := Lϕ ϕ es un teorema en IPC sii ϕ es un teorema en S4. P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University of Corunna, SPAIN January ) 18, / 13

Computational Logic Chapter 6. Description Logics

Computational Logic Chapter 6. Description Logics Computational Logic Chapter 6. Description Logics Pedro Cabalar Dept. Computer Science University of Corunna, SPAIN January 18, 2011 P. Cabalar ( Dept. Ch6. Computer Description Science Logics University

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

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

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

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

Ejercicios con soluciones de demostración axiomática (lógica proposicional)

Ejercicios con soluciones de demostración axiomática (lógica proposicional) Ejercicios con soluciones de demostración axiomática (lógica proposicional) Pedro López García 1. Dadas las fórmulas: A 1 : b d A 2 : d a A 3 : a b c demostrar que T [A 1, A 2, A 3 ] c 1. T 1 b d Axioma

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

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

LÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes.

LÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. LÓGICA DE PROPOSICIONES 1. Cuál de las siguientes oraciones es una proposición lógica? a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. La opción a) no es una proposición

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

Tema 3. Problemas de valores iniciales. 3.1. Teoremas de existencia y unicidad

Tema 3. Problemas de valores iniciales. 3.1. Teoremas de existencia y unicidad Tema 3 Problemas de valores iniciales 3.1. Teoremas de existencia y unicidad Estudiaremos las soluciones aproximadas y su error para funciones escalares, sin que ésto no pueda extenderse para funciones

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

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 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

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

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

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

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

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

TEORIA AXIOMATICA DE CONJUNTOS Versión Preliminar. Renato A. Lewin

TEORIA AXIOMATICA DE CONJUNTOS Versión Preliminar. Renato A. Lewin TEORIA AXIOMATICA DE CONJUNTOS Versión Preliminar Author address: Renato A. Lewin Pontificia Universidad Católica de Chile, Facultad de Matemáticas, Casilla 306 - Correo 22, Santiago CHILE. e-mail: rlewin@mat.puc.cl

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

Cálculo Proposicional Implicativo Clásico

Cálculo Proposicional Implicativo Clásico Cálculo Proposicional Implicativo Clásico Antonio A R Monteiro Estas notas reproducen el curso [13] que dictara en la Universidad Nacional del Sur, en 1960 el Dr Antonio A R Monteiro, donde presentó resultados

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

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

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

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

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

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

EJERCICIOS RESUELTOS DE LOS TEOREMAS DEL VALOR MEDIO

EJERCICIOS RESUELTOS DE LOS TEOREMAS DEL VALOR MEDIO MATEMÁTICAS EJERCICIOS RESUELTOS DE LOS TEOREMAS DEL VALOR MEDIO Juan Jesús Pascual TEOREMAS DEL VALOR MEDIO. Es aplicable el teorema de Rolle a la función f( x) = x 5x 6 en [ 0, 5 ]? El teorema de Rolle

Más detalles

HERRAMIENTAS AVANZADAS PARA EL DESARROLLO DE SOFTWARE Tema IV Model Checking Abstracto

HERRAMIENTAS AVANZADAS PARA EL DESARROLLO DE SOFTWARE Tema IV Model Checking Abstracto HERRAMIENTAS AVANZADAS PARA EL DESARROLLO DE SOFTWARE Tema IV Model Checking Abstracto Alicia Villanueva Curso 05/06 Índice Model Checking Abstracto 1. Introducción 3 1.1. Objetivos del tema........................

Más detalles

Lógica de Primer Orden

Lógica de Primer Orden 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,

Más detalles

Semana 08 [1/15] Axioma del Supremo. April 18, 2007. Axioma del Supremo

Semana 08 [1/15] Axioma del Supremo. April 18, 2007. Axioma del Supremo Semana 08 [1/15] April 18, 2007 Acotamiento de conjuntos Semana 08 [2/15] Cota Superior e Inferior Antes de presentarles el axioma del supremo, axioma de los números reales, debemos estudiar una serie

Más detalles

Lógica Algebraica Abstracta

Lógica Algebraica Abstracta Lógica Algebraica Abstracta Renato Lewin Pontificia Universidad Católica de Chile 0 Introducción Los cursos universitarios de matemática suelen comenzar con una unidad de Lógica, habitualmente dentro de

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

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

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

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

RESTRICCIONES DE INTEGRIDAD Y DEPENDENCIAS FUNCIONALES Bases de Datos Universidad de Talca, II Semestre 2006. Jorge Pérez R.

RESTRICCIONES DE INTEGRIDAD Y DEPENDENCIAS FUNCIONALES Bases de Datos Universidad de Talca, II Semestre 2006. Jorge Pérez R. RESTRICCIONES DE INTEGRIDAD Y DEPENDENCIAS FUNCIONALES Bases de Datos Universidad de Talca, II Semestre 2006 Jorge Pérez R. 1 Restricciones de Dominio Son la forma más elemental de restricciones de integridad.

Más detalles

1. Números Reales 1.1 Clasificación y propiedades

1. Números Reales 1.1 Clasificación y propiedades 1. Números Reales 1.1 Clasificación y propiedades 1.1.1 Definición Número real, cualquier número racional o irracional. Los números reales pueden expresarse en forma decimal mediante un número entero,

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

Figura 1. Símbolo que representa una ALU. El sentido y la funcionalidad de las señales de la ALU de la Figura 1 es el siguiente:

Figura 1. Símbolo que representa una ALU. El sentido y la funcionalidad de las señales de la ALU de la Figura 1 es el siguiente: Departamento de Ingeniería de Sistemas Facultad de Ingeniería Universidad de Antioquia Arquitectura de Computadores y Laboratorio ISI355 (2011 2) Práctica No. 1 Diseño e implementación de una unidad aritmético

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

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

TEMA II: CONJUNTOS Y RELACIONES DE ORDEN. Álgebra II García Muñoz, M.A.

TEMA II: CONJUNTOS Y RELACIONES DE ORDEN. Álgebra II García Muñoz, M.A. TEMA II: CONJUNTOS Y RELACIONES DE ORDEN OBJETIVOS GENERALES 1. Hacer que el alumno asimile el concepto de conjunto como la estructura algebraica más simple en la que se ambientarán el resto de las estructuras

Más detalles

Tema 7. Lógicas de descripciones. Año académico 2014/15. Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt

Tema 7. Lógicas de descripciones. Año académico 2014/15. Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt Tema 7 Lógicas de descripciones Año académico 2014/15 Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt 1 Referencias Reasoning in Description Logics: Basics, Extensions, and Relatives.

Más detalles

Normalización n de Bases de Datos Relacionales. Bases de Datos. Malos Diseños. Índice. Muchos Problemas. Definición

Normalización n de Bases de Datos Relacionales. Bases de Datos. Malos Diseños. Índice. Muchos Problemas. Definición Normalización n de Relacionales Malos Diseños Qué puede salir mal cuando se hace un mal diseño de una base de datos relacional? Esquema_prestamo= (nombre_sucursal, ciudad_sucursal, activo, nombre_cliente,

Más detalles

ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 9. La aplicación de Poincaré

ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 9. La aplicación de Poincaré ECUACIONES DIFERENCIALES ORDINARIAS. HOJA 9. SISTEMAS PLANOS. TEOREMA DE POINCARÉ-BENDIXSON. La aplicación de Poincaré Recordemos que un subconjunto H de R n es una subvariedad de codimensión uno (o una

Más detalles

CUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS. Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona

CUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS. Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona 1 CUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona RESUMEN: El pensamiento humano es más complicado de lo que en principío

Más detalles

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición Lógica Lógica Proposicional Escuela de Ingeniería Industrial Pontificia Universidad Católica de Valparaíso, Chile rgatica@ucv.cl Proposición Definición: Una proposición o enunciado es una frase que a la

Más detalles

Lección 7 - Coordenadas rectangulares y gráficas

Lección 7 - Coordenadas rectangulares y gráficas Lección 7 - Coordenadas rectangulares gráficas Coordenadas rectangulares gráficas Objetivos: Al terminar esta lección podrás usar un sistema de coordenadas rectangulares para identificar puntos en un plano

Más detalles

Lenguajes y Compiladores

Lenguajes y Compiladores 2015 Estructura de la materia a grandes rasgos: Primera Parte: Lenguaje imperativo Segunda Parte: Lenguaje aplicativo puro, y lenguaje aplicativo con referencias y asignación Ejes de contenidos de la primer

Más detalles

Tema 3: Sistema inicial de representación y razonamiento

Tema 3: Sistema inicial de representación y razonamiento Razonamiento Automático Curso 999 2000 Tema 3: Sistema inicial de representación y razonamiento José A. Alonso Jiménez Miguel A. Gutiérrez Naranjo Dpto. de Ciencias de la Computación e Inteligencia Artificial

Más detalles

PROYECTO DOCENTE ASIGNATURA: "Lógica Informática"

PROYECTO DOCENTE ASIGNATURA: Lógica Informática PROYECTO DOCENTE ASIGNATURA: "Lógica Informática" Grupo: Clases Teóricas de Lógica Informática (DOCENCIA EN INGLÉS)(948465) Titulacion: Grado en Ingeniería Informática-Ingeniería del Software Curso: 2015-2016

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

Índice general Introducción 5 Objetivos.................................... 6 Descripción global............................... 7 1. Sistemas formales y computación borrosa 11 1.1. Introducción................................

Más detalles

Polinomios de Taylor.

Polinomios de Taylor. Tema 7 Polinomios de Taylor. 7.1 Polinomios de Taylor. Definición 7.1 Recibe el nombre de polinomio de Taylor de grado n para la función f en el punto a, denotado por P n,a, el polinomio: P n,a (x) = f(a)

Más detalles

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.

Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1. Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de

Más detalles

Maria José González/ Dep. Tecnología

Maria José González/ Dep. Tecnología Señal analógica es aquella que puede tomar infinitos valores para representar la información. Señal digital usa solo un número finito de valores. En los sistemas binarios, de uso generalizado en los circuitos

Más detalles

Apuntes de Lógica Matemática 3. Razonamientos y Demostraciones

Apuntes de Lógica Matemática 3. Razonamientos y Demostraciones Apuntes de Lógica Matemática 3. Razonamientos y Demostraciones Francisco José González Gutiérrez Cádiz, Abril de 2005 Universidad de Cádiz Departamento de Matemáticas ii Lección 3 Razonamientos y Demostraciones

Más detalles

Computabilidad y Teoría de Modelos

Computabilidad y Teoría de Modelos Unidad 0. Conceptos. Computabilidad y Teoría de Modelos La Lógica Proposicional Es consistente: No existe una fbf A tal que A y la negación de A sean teoremas. Es semánticamente completa: Una fbf A es

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

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

Lógica Proposicional IIC2212. IIC2212 Lógica Proposicional 1 / 56

Lógica Proposicional IIC2212. IIC2212 Lógica Proposicional 1 / 56 Lógica Proposicional IIC2212 IIC2212 Lógica Proposicional 1 / 56 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 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

PARTE II LÓGICA COMPUTACIONAL

PARTE II LÓGICA COMPUTACIONAL PARTE II LÓGICA COMPUTACIONAL Lógica de proposiciones INTRODUCCION Teniendo en mente que queremos presentar los sistemas deductivos de la lógica como una herramienta práctica para los informáticos, vamos

Más detalles

INGENIERÍA A DEL CONOCIMIENTO: SISTEMAS EXPERTOS

INGENIERÍA A DEL CONOCIMIENTO: SISTEMAS EXPERTOS INGENIERÍA A DEL CONOCIMIENTO: SISTEMAS EXPERTOS Sistema experto: Sistema informático diseñado para resolver problemas de un área específica, y al que de algún modo se le ha dotado de una competencia similar

Más detalles

GUÍAS CLÁSICAS DE BASES DE DATOS

GUÍAS CLÁSICAS DE BASES DE DATOS GUÍAS CLÁSICAS DE BASES DE DATOS 1. Conceptos generales, arquitectura. 1.1. Preguntas de repaso. (1) Dena los siguientes términos: datos, base de datos, Sistema administrador de Base de Datos (DBMS), sistema

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

Capítulo 5. Álgebra booleana. Continuar

Capítulo 5. Álgebra booleana. Continuar Capítulo 5. Álgebra booleana Continuar Introducción El álgebra booleana fue desarrollada por George Boole a partir del análisis intuición y deducción. En su libro An investigation of the laws of Thought,

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

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

Temario. Índices simples Árboles B Hashing

Temario. Índices simples Árboles B Hashing Temario Introducción y fundamentos Introducción a SQL Modelo Entidad / Relación Modelo relacional Diseño relacional: formas normales Consultas Cálculo relacional Álgebra relacional Implementación de bases

Más detalles

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4

Más detalles

ESTRUCTURAS ORDENADAS Ordenes y Retículos

ESTRUCTURAS ORDENADAS Ordenes y Retículos ESTRUCTURAS ORDENADAS Ordenes y Retículos Renato Lewin Pontificia Universidad Católica de Chile Julio de 1998 1 Conjuntos Ordenados 1.1 Definición y Ejemplos Un conjunto parcialmente ordenado, o simplemente

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

RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES

RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Dpto. de Matemáticas (Área de Álgebra) 1. Sean X e Y conjuntos. Demostrar: a) X = X Y Y X. b) X = X Y X Y. RELACIÓN DE PROBLEMAS Nº 2 CONJUNTOS Y APLICACIONES

Más detalles

Los fundamentos de la matemática y los teoremas de Gödel

Los fundamentos de la matemática y los teoremas de Gödel Los fundamentos de la matemática y los teoremas de Gödel Mario A. Natiello Centre for Mathematical Sciences Lund University Sweden Los fundamentos de la matemática y los teoremas de Gödel p.1/23 Contenido

Más detalles

Metodología y Framework para el Desarrollo de Aplicaciones Científicas con Computación de Alto Rendimiento a través de Servicios Web

Metodología y Framework para el Desarrollo de Aplicaciones Científicas con Computación de Alto Rendimiento a través de Servicios Web Metodología y Framework para el Desarrollo de Aplicaciones Científicas con Computación de Alto Rendimiento a través de Servicios Web J.Corral-García, D.Cortés-Polo, C.Gómez-Martín, J.L.González-Sánchez

Más detalles

Universidad de Antioquia

Universidad de Antioquia Índice general Prefacio II 0.1. Algunos conjuntos de números.................. 1 0.2. DEFINICIONES Y TEOREMAS................. 2 1. Lógica - Teoría de Conjuntos 5 1.1. Operación binaria.........................

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

Normalización. Tema 16

Normalización. Tema 16 Normalización Tema 16 Contenido Introducción Normalización de Relaciones Bibliogra;a 2 Introducción Al diseñar una BD relacional, podemos obtener diferentes esquemas La teoría de la normalización consigue

Más detalles

Body. i 11 ? 6. ? Header. Margin Notes. Footer

Body. i 11 ? 6. ? Header. Margin Notes. Footer -i9 6 i4? 6 i5? 6? Header 6 i6 6 i2? Body i7 Margin Notes i3-10i - 1i- 8i - i 11? 6 Footer? 1 one inch + \hoffset 2 one inch + \voffset 3 \oddsidemargin = 13pt 4 \topmargin = 3pt 5 \headheight = 9pt 6

Más detalles

Introducción a la Lógica

Introducción a la Lógica Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí

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

SISTEMAS DE GESTIÓN DE BASE DE DATOS SGBD / DBMS

SISTEMAS DE GESTIÓN DE BASE DE DATOS SGBD / DBMS Universidad de Carabobo Facultad Experimental de Ciencias y Tecnología Departamento de Computación Unidad Académica Base de Datos SISTEMAS DE GESTIÓN DE BASE DE DATOS SGBD / DBMS Integrantes: Fidel Gil

Más detalles

Tema 3 : Algebra de Boole

Tema 3 : Algebra de Boole Tema 3 : Algebra de Boole Objetivo: Introducción al Algebra de Boole 1 INTRODUCCIÓN George Boole creó el álgebra que lleva su nombre en el primer cuarto del siglo XIX. Pretendía explicar las leyes fundamentales

Más detalles

Parte I. Iniciación a los Espacios Normados

Parte I. Iniciación a los Espacios Normados Parte I Iniciación a los Espacios Normados Capítulo 1 Espacios Normados Conceptos básicos Sea E un espacio vectorial sobre un cuerpo K = R ó C indistintamente. Una norma sobre E es una aplicación de E

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

Recuperación de Información en Bases de Datos Relacionales mediante Razonamiento Automático

Recuperación de Información en Bases de Datos Relacionales mediante Razonamiento Automático i CENTRO DE INVESTIGACIÓN Y DE ESTUDIOS AVANZADOS DEL INSTITUTO POLITÉCNICO NACIONAL UNIDAD ZACATENCO DEPARTAMENTO DE COMPUTACIÓN Recuperación de Información en Bases de Datos Relacionales mediante Razonamiento

Más detalles

CONJUNTO, RELACIONES, FUNCIONES Y LÓGICA

CONJUNTO, RELACIONES, FUNCIONES Y LÓGICA CONJUNTO, RELACIONES, FUNCIONES Y LÓGICA Fundamentos de la Matemática 2010 Introducción Cuando decimos: un elemento pertenece a un conjunto, estamos utilizando nada menos que tres conceptos primitivos

Más detalles

CIDEAD. 2º BACHILLERATO. Tecnología Industrial II. Tema 17.- Los circuitos digitales. Resumen

CIDEAD. 2º BACHILLERATO. Tecnología Industrial II. Tema 17.- Los circuitos digitales. Resumen Tema 7.- Los circuitos digitales. Resumen Desarrollo del tema.. Introducción al tema. 2. Los sistemas de numeración.. El sistema binario. 4. Códigos binarios. 5. El sistema octal y hexadecimal. 6. El Álgebra

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

INTRODUCCIÓN A. Autor: José Antonio Glez. Reboredo

INTRODUCCIÓN A. Autor: José Antonio Glez. Reboredo INTRODUCCIÓN A Autor: José Antonio Glez. Reboredo 1. MÉTODOS FORMALES... 3 1.1. INTRODUCCIÓN... 3 1.2. ESPECIFICACIÓN... 4 1.3. VERIFICACIÓN... 5 1.3.1. COMPROBACIÓN DE MODELOS... 5 1.3.2. PRUEBA DE TEOREMAS...

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

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

La concepción semántica de la verdad y los fundamentos de la semántica. Alfred Tarski 1

La concepción semántica de la verdad y los fundamentos de la semántica. Alfred Tarski 1 La concepción semántica de la verdad y los fundamentos de la semántica. Alfred Tarski 1 Traducción: Paloma García Abad Este escrito contiene dos partes, la primera tiene un carácter expositivo mientras

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

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

Anexo 2: Demostraciones

Anexo 2: Demostraciones 0 Matemáticas I : Cálculo diferencial en IR Aneo : Demostraciones Funciones reales de variable real Demostración de: Propiedades del valor absoluto 79 de la página 85 Propiedades del valor absoluto 79.-

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