1. Resolución en lógica proposicional
|
|
- Óscar de la Cruz Tebar
- hace 6 años
- Vistas:
Transcripción
1 1. Resolución en lógica proposicional 1.1. Introducción Pseudo-motivación Si tengo una fórmula de proposicional, puedo probar con fuerza bruta todas las valuaciones a ver si es satisfactible? Si Se conocen métodos mas eficientes? No Por qué aprender resolución en lógica proposicional? Da un método efectivo que no requiere probar todas las posibilidades siempre, aunque en peor caso asi sea. Ayuda a desarrollar/entender resolución para primer órden. Sirve para resolver ejercicios de la práctica y de los parciales Recapitulando Para ver si A es tautología: 1. Calculamos la forma normal conjuntiva de A. 2. Aplicamos el método de resolución. 3. Si hallamos una refutación: A es insatisfactible, Y, por lo tanto, A es una tautología. 4. Si no hallamos ninguna refutación: A es satisfactible, Y, por lo tanto, A no es una tautología. *Esta pantalla no es un robo, es una cita, hay una gran diferencia Forma normal conjuntiva Forma normal conjuntiva (FNC) Toda fórmula de lógica proposicional puede escribirse en forma normal conjuntiva. Un literal es una variable (x) o la negación de una variable ( x). Una fórmula está en FNC si es una conjunción de disyunciones de literales: (L 11 L L 1k1 ) (L L 2k2 )... (L n1... L nkn ) 1
2 Pasar una fórmula a FNC Ejemplo: X ( (Y X) X) 1. Eliminar los operadores, utilizando la equivalencia: P Q P Q. 2. Meter para adentro los hasta que queden al lado de un literal, utilizando las equivalencias: P P (P Q) P Q (P Q) P Q 3. Distribuir las disyunciones ( ) que tengan conjunciones ( ) dentro Notación de conjuntos Ejemplo: Como conjuntos: ( X Y ) ( X X) ( X Y ) {{ X, Y }, { X, X}, { X, Y }} {{ X, Y }, { X, X}} 1.3. Regla de resolución Regla de resolución {A 1,..., A m, Q} {B 1,..., B n, Q} {A 1,..., A m, B 1,..., B n } {A 1,..., A m, B 1,..., B n } es el resolvente de {A 1,..., A m, Q} y {B 1,..., B n, Q} Resolviendo el ejemplo {A 1,..., A m, Q} {B 1,..., B n, Q} {A 1,..., A m, B 1,..., B n } 2
3 {{ X, Y }, { X, X}} Aplicando la regla con: n = m = 1 A 1 = Y B 1 = X Q = X. Resolvente: {Y, X}. Como el resolvente ya está en el conjunto, no se agrega nada. Es la única pareja de cláusulas con las que se puede usar la regla y es la única forma de utilizarla, ergo, no hay forma de avanzar hasta la cláusula vacía Qué demostramos con esto? {{ X, Y }, { X, X}} Si no hallamos ninguna refutación: A es satisfactible, y, por lo tanto, A no es una tautología. Como demostramos que X ( (Y X) X) es satisfactible, el que no es tautología es (X ( (Y X) X))!!! 1.4. Ejemplo completo Ejercicio 2, segundo parcial, 1 er cuatrimestre de 2006 Demostrar que r se deduce del siguiente conjunto de fórmulas proposicionales utilizando el método de resolución para la lógica proposicional. r (p q s) q r s p p r Interpretación del enunciado Demostrar que: es tautología. ((r (p q s)) (q r) (s p) (p r)) r Solución del ejercicio Paso 1: Pasar la negación de la fórmula a FNC. (((r (p q s)) (q r) (s p) (p r)) r) ( (( r (p q s)) ( q r) ( s p) ( p r)) r) (( r p q s) ( q r) ( s p) ( p r)) r ( r p q s) ( q r) ( s p) ( p r) r 3
4 Solución del ejercicio Paso 1b: Notación de conjuntos. ( r p q s) ( q r) ( s p) ( p r) r {{ r, p, q, s}, { q, r}, { s, p}, { p, r}, {r}} Solución del ejercicio Paso 2: Aplicar sucesivamente regla de resolución. 1. { r, p, q, s} 2. { q, r} 3. { s, p} 4. { p, r} 5. {r} 6. De (1) y (2) (Q = q): { r, p, s} 7. De (3) y (6) (Q = s): { r, p} 8. De (4) y (7) (Q = p): { r} 9. De (5) y (8) (Q = r): {} 2. Resolución en lógica de primer orden 2.1. Introducción Motivación Teorema de Church: No existe un algoritmo que permita decidir si una fórmula de lógica de primer orden es lógicamente válida o no. Premio consuelo: El procedimiento de resolución general. Sirve para testear si una fórmula de primer orden es válida, pero si no lo es se puede colgar. Problema: Si lo tenemos corriendo hace 20 años, puede ser que la fórmula no sea válida, pero también es posible que lo sea y el algoritmo aún no encontró la demostración. 4
5 Método para testear la validez de A Para ver si una fórmula A es lógicamente válida debemos: 1. Obtener A 2. Testear si A es insatisfactible a) Calcular la forma clausal B de A. b) Testear B usando la regla de resolución Forma clausal Pasar una fórmula a forma clausal Ejemplo: G(H, H) x(f (x) (( y G(x, y)) G(H, x)) ) Pasaremos por las siguientes etapas: 1. Forma normal negada (NNF) 2. Forma normal prenexa 3. Forma normal de Skolem Forma normal negada (NNF) Toda fórmula de primer orden tiene una fórmula equivalente que está en NNF. La forma normal negada no tiene operadores de implicación ( ) y el operador de negación ( ) solo aparece aplicado a fórmulas atómicas. Para pasar una fórmula cualquiera a NNF usaremos las mismas identidades que vimos en proposicional para pasar a FNC, agregando otras que sirvan para manejar la interacción de la negación con los operadores y Pasar una fórmula a NNF Ejemplo: G(H, H) x(f (x) (( y G(x, y)) G(H, x)) ) 1. Eliminar los operadores, utilizando la equivalencia: P Q P Q. 2. Meter para adentro los hasta que queden al lado de una fórmula atómica, utilizando las equivalencias: P P (P Q) P Q (P Q) P Q x(p ) x( P ) x(p ) x( P ) 5
6 Forma normal prenexa Toda fórmula en proposicional es lógicamente válida a una fórmula en forma normal prenexa. Si la fórmula está en NNF, lo único que se debe hacer es renombrar las variables ligadas para que tengan nombres disjuntos y luego mover los operadores. Cuidado! Se debe preservar el orden original de los operadores. Visto el árbol de parsing de la expresión lógica como orden parcial, el orden de los operadores movidos debe respetar ese orden parcial: No es lo mismo x yp (x, y) que y xp (x, y) Pasar a forma normal prenexa en el ejemplo Luego de pasar a NNF: G(H, H) x( F (x) yg(x, y) G(H, x) ) En forma normal prenexa: x y(g(h, H) ( F (x) G(x, y) G(H, x)) ) Forma normal de Skolem No toda fórmula de primer orden se puede escribir como una fórmula equivalente en forma normal de Skolem. Toda fórmula de primer orden tiene una fórmula correspondiente en forma normal de Skolem tal que ambas son satisfactibles o ninguna de las dos lo es. Una fórmula está en forma normal de Skolem si está en forma normal prenexa y no tiene cuantificadores existenciales. Llamamos Skolemización al proceso de tomar una fórmula en forma normal prenexa y conseguirnos otra en forma normal de Skolem que tiene la propiedad de preservar satisfactibilidad como fue mencionada mas arriba Pasar a forma normal de Skolem (Skolemización) Por cada cuantificador existencial x: 1. Encontrar el conjunto C de variables ligadas a un cuantificador universal ( ) que afectan el existencial en cuestión (en forma prenexa, esto es los que aparecen más atrás ). 2. Introducir un nuevo símbolo de función n-ario F al lenguaje, donde n = #C (notar que n puede ser 0, en cuyo caso lo introducido es una constante). 3. Eliminar el cuantificador 6
7 4. Reemplazar toda aparición de x en la fórmula por F (y 1,...y n ) donde {y 1,..., y n } = C. Los y i se pueden numerar en cualquier orden pero en todos los reemplazos el mismo Skolemizar el ejemplo En forma normal prenexa: x y(g(h, H) ( F (x) G(x, y) G(H, x) )) Para skolemizar solo se debe tratar el existencial y. 1. C = {x} 2. n = 1 por lo cual se introduce una función unaria U al lenguaje. 3. x(g(h, H) ( F (x) G(x, y) G(H, x)) ) 4. x(g(h, H) ( F (x) G(x, U(x)) G(H, x)) ) Forma clausal ( al fin!) Una vez que se tiene la fórmula en forma normal de Skolem: x(g(h, H) ( F (x) G(x, U(x)) G(H, x)) ) Se eliminan los y se pasa a FNC como si fuera proposicional (en este caso ya está en FNC): G(H, H) ( F (x) G(x, U(x)) G(H, x)) y luego se escribe como conjuntos: {{G(H, H)}, { F (x), G(x, U(x)), G(H, x)}} 2.3. Regla de resolución Regla de resolución {A 1,..., A m, P 1,..., P k } {B 1,..., B n, Q 1,..., Q l } σ({a 1,..., A m, B 1,..., B n }) donde σ es el MGU de {P 1,..., P k, Q 1,..., Q l }. Si las cláusulas {A 1,..., A m, P 1,..., P k } y {B 1,..., B n, Q 1,..., Q l } tienen variables en común debe efectuarse un renombre previamente. σ({a 1,..., A m, B 1,..., B n }) es el resolvente de {A 1,..., A m, P 1,..., P k } y {B 1,..., B n, Q 1,..., Q l }. 7
8 Resolviendo el ejemplo {{G(H, H)}, { F (x), G(x, U(x)), G(H, x)}} Solo se puede utilizar la regla poniendo P 1 = G(H, H) y Q 1 = G(H, x) ya que G(H, x) es el único átomo negativo que unifica con un átomo de otra cláusula. Esto hace que σ = {x H} y el resolvente es σ({f (x), G(x, U(x))}) = F (H), G(H, U(H)). {{G(H, H)}, { F (x), G(x, U(x)), G(H, x)}, { F (H), G(H, U(H))}} Resolviendo el ejemplo {{G(H, H)}, { F (x), G(x, U(x)), G(H, x)}, { F (H), G(H, U(H))}} Con las dos ultimas cláusulas: Q 1 = G(H, x) y P 1 = G(H, U(H)), σ = {x U(H)}. Resolvente: { F (U(H)), F (H), G(U(H), U(U(H)))} {{G(H, H)}, { F (x), G(x, U(x)), G(H, x)}, { F (H), G(H, U(H))}, { F (U(H)), F (H), G(U(H), U(U(H)))}} Qué pasa si continuamos? 2.4. Ejemplo completo (cortito) Pseudo-identidad Intentemos demostrar: x y(p (x) P (y)). Negación de la fórmula: ( x y(p (x) P (y))). Forma normal negada: Forma normal prenexa: Forma normal de Skolem: FNC, notación de conjuntos: x y(p (x) P (y)). x y(p (x) P (y)). y(p (U) P (y)). {{P (U)}, { P (y)}}. 8
Ejercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesCálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Más detallesIntroducció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 detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesLógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Más detallesTema 2: Equivalencias y formas normales
Lógica informática Curso 2003 04 Tema 2: Equivalencias y formas normales José A. Alonso Jiménez Andrés Cordón Franco Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesINTRODUCCION 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 detallesMétodos de Inteligencia Artificial
Métodos de Inteligencia Artificial L. Enrique Sucar (INAOE) esucar@inaoep.mx ccc.inaoep.mx/esucar Tecnologías de Información UPAEP Contenido Lógica proposicional Lógica de predicados Inferencia en lógica
Más detallesCurso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS
Curso Extraordinario INTELIGENCIA ARTIFICIAL Y SISTEMAS EXPERTOS Contenidos del Curso Introducción a la I.A. Cómo razonamos?. Algunas experiencias con el razonamiento automático El problema de representación
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesDerivadas Parciales (parte 2)
40 Derivadas Parciales (parte 2) Ejercicio: Si donde y. Determinar Solución: Consideraremos ahora la situación en la que, pero cada una de las variables e es función de dos variables y. En este caso tiene
Más detallesLÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA
LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el
Más detallesIIC 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 detallesObjetivos formativos de Matemática Discreta. Tema 1: Conjuntos, aplicaciones y relaciones
Objetivos formativos de Matemática Discreta Para cada uno de los temas el alumno debe ser capaz de hacer lo que se indica en cada bloque. Además de los objetivos que se señalan en cada tema, se considera
Más detallesNotas 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 detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más detallesInducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones
UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)
Más detallesMLM 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 detallesLógica proposicional. Ivan Olmos Pineda
Lógica proposicional Ivan Olmos Pineda Introducción Originalmente, la lógica trataba con argumentos en el lenguaje natural es el siguiente argumento válido? Todos los hombres son mortales Sócrates es hombre
Más detallesTEMA 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 detalles1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.
Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que
Más detallesLOGICA DE ENUNCIADOS
Lógica - FCE LOGICA DE ENUNCIADOS 1. El lenguaje de enunciados Si se restringe el lenguaje de primer orden (o lenguaje de predicados) eliminando los cuantificadores y se toma como ultima unidad de análisis
Más detallesBenemérita Universidad Autónoma de Puebla
Tarea No. 1 Matemáticas Elementales Profesor Fco. Javier Robles Mendoza Benemérita Universidad Autónoma de Puebla Facultad de Ciencias de la Computación Lógica y Conjuntos 1. Considere las proposiciones
Más detallesMATEMÁTICAS DISCRETAS. UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios
MATEMÁTICAS DISCRETAS UNIDAD 2 Algebras Booleanas y Circuitos Combinatorios 2.1 CIRCUITOS COMBINATORIOS Inicie dando lectura a la subunidad 11.1, deténgase en el ejemplo 11.1.4, compare las tablas de los
Más detallesLógica de Predicados de Primer Orden
Lógica de Predicados: Motivación Todo natural es entero y 2 es un natural. Luego 2 es entero. p q r p, q r es claramente un razonamiento válido pero no es posible demostrarlo desde la Lógica Proposicional
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesEcuaciones Diofánticas
2 Ecuaciones Diofánticas (c) 2011 leandromarin.com 1. Introducción Una ecuación diofántica es una ecuación con coeficientes enteros y de la que tenemos que calcular las soluciones enteras. En este tema
Más detallesLógica. Matemática discreta. Matemática discreta. Lógica
Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo
Más detallesMatemáticas Básicas para Computación
Matemáticas Básicas para Computación MATEMÁTICAS BÁSICAS PARA COMPUTACIÓN 1 Sesión No. 5 Nombre: Tablas de verdad Objetivo Al término de la sesión el participante aplicará los conceptos de lógica a través
Más detallesProposicional. Curso Mari Carmen Suárez de Figueroa Baonza
Semántica Proposicional Curso 2014 2015 Mari Carmen Suárez de Figueroa Baonza mcsuarez@fi.upm.es Contenidos Introducción Interpretación de FBFs proposicionales Validez Satisfacibilidad Validez y Satisfacibilidad
Más detallesLógica Proposicional. Guía Lógica Proposicional. Tema III: Cuantificadores
Guía Lógica Proposicional Tema III: Cuantificadores 1.7.2. CUANTIFICADORES Los cuantificadores permiten afirmaciones sobre colecciones enteras de objetos en lugar de tener que enumerar los objetos por
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 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
Más detallesMás sobre Leyes de implicación
Más sobre Leyes de implicación Dilema constructivo. Se abrevia d.c. Se considera que si hay una disyunción que contiene los antecedentes de dos condicionales, la conclusión será la disyunción de los consecuentes.
Más detallesConjuntos. () April 4, / 32
Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En
Más detallesTeoremas de Convergencia
Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y
Más detallesLó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 detallesLa Lógica estudia la forma del razonamiento. La Lógica Matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la
LÓGICA MATEMÁTICA OBJETIVOS Definirás proposición simple. Definirás proposiciones compuestas: Disyunción y conjunción. Relacionarás dichas proposiciones con las operaciones de conjuntos: unión e intersección.
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más detallesLa derivada como razón de cambio instantánea
La derivada como razón de cambio instantánea Observa que la razón de cambio instantánea es un límite: y(t + t) y(t) lim lim t 0 t t 0 t Cuando calculamos la razón de cambio promedio, geométricamente estamos
Más detallesRepresentación del conocimiento. M.I. Jaime Alfonso Reyes Cortés
Representación del conocimiento M.I. Jaime Alfonso Reyes Cortés Ingeniería del conocimiento Ingeniería del conocimiento: Representación del conocimiento. El conocimiento representa la piedra angular de
Más detallesLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL QUE ES LA LÓGICA? El sentido ordinario de la palabra lógica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilógico es lo mismo que incongruente, desordenado, incoherente.
Más detallesNotas de Lógica para Computación. Carlos Domingo
Notas de Lógica para Computación Carlos Domingo Enero, 1997 Capítulo 1 Lógica de Proposiciones 1.1 Proposiciones y proposiciones lógicas La Lógica trata de las propiedades de las oraciones o proposiciones,
Más detallesEn general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.
nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas
Más detalles4 Ecuaciones e inecuaciones
Ecuaciones e inecuaciones INTRODUCCIÓN Comenzamos esta unidad diferenciando entre identidades y ecuaciones, y definiendo los conceptos asociados a cualquier ecuación: miembros, términos, coeficientes,
Más detallesConjuntos, relaciones y funciones Susana Puddu
Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
Más detallesTipos algebraicos y abstractos. Algoritmos y Estructuras de Datos I. Tipos algebraicos
Algoritmos y Estructuras de Datos I 1 cuatrimestre de 009 Departamento de Computación - FCEyN - UBA Programación funcional - clase Tipos algebraicos Tipos algebraicos y abstractos ya vimos los tipos básicos
Más detallesELEMENTOS DE LA MATEMATICA
ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.
Más detallesSistemas de ecuaciones lineales
Sistemas de ecuaciones lineales TIPOS DE SISTEMAS. DISCUSIÓN DE SISTEMAS. Podemos clasificar los sistemas según el número de soluciones: Incompatible. No tiene solución Compatible. Tiene solución. Compatible
Más detallesDEPARTAMENTO DE MATEMÁTICAS Página 1
DEPARTAMENTO DE MATEMÁTICAS Página 1 APROBADO EN EL CONSEJO DE LA FACULTAD DE CIENCIAS EXACTAS ACTA 13 DEL 21 ABRIL 2010 PROGRAMAS DEL DEPARTAMENTO DE MATEMÁTICAS El presente formato tiene la finalidad
Más detallesMÉTODOS FORMALES DE REPRESENTACIÓN DEL CONOCIMIENTO
OBJETIVOS 1. Destacar los aspectos fundamentales de la representación del conocimiento 2. Visualizar los problemas que surgen durante el ciclo de codificación-descodificación 3. Comentar los aspectos fundamentales
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesESCUELA MILITAR DE INGENIERÍA MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I
ESCUELA MILITAR DE INGENIERÍA Elaborado por: Lic. Bismar Choque Nina MISCELÁNEAS DE PROBLEMAS 2013 ÁLGEBRA I A pesar de que la refutación por ejemplo del contrario es un procedimiento válido, los teoremas
Más detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detallesCriterios de divisibilidad y Congruencias
Criterios de divisibilidad y Congruencias Rafael F. Isaacs G. * Fecha: 9 de marzo de 2007 Cuando tenemos un número muy grande escrito en base 10 y deseamos saber si es múltiplo por ejemplo de 9 no necesitamos
Más detallesTema 9: Cálculo Deductivo
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la
Más detalles27/01/2011 TRIGONOMETRÍA Página 1 de 7
β 27/01/2011 TRIGONOMETRÍA Página 1 de 7 Notación en un triángulo: En un triángulo cualquiera llamaremos a, b y c a sus lados y A, B y C a sus vértices de forma que A sea el vértice formado por los lados
Más detallesUNIDAD 10: ECUACIONES DE SEGUNDO GRADO.
UNIDAD 10: ECUACIONES DE SEGUNDO GRADO. 10.1 Estudio elemental de la ecuación de segundo grado. Expresión general. 10.2 Resolución de ecuaciones de segundo grado completas e incompletas. 10.3 Planteamiento
Más detallesIntegración de funciones trigonométricas
Integración de funciones trigonométricas Ya vimos las reglas para calcular integrales de funciones trigonométricas. Ahora vamos a considerar productos de funciones trigonométricas y potencias. Para este
Más detallesECUACIONES.
. ECUACIONES... Introducción. Recordemos que el valor numérico de un polinomio (y, en general, de cualquier epresión algebraica) se calcula sustituyendo la/s variable/s por números (que, en principio,
Más detallesMATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES.
MATERIAL DE APOYO PARA EL PRIMER CURSO DE MATEMÁTICAS COMPUTACIONALES. Ing. HUGO HUMBERTO MORALES PEÑA MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICAS Línea de Matemáticas Computacionales UNIVERSIDAD TECNOLÓGICA
Más detallesOperaciones con conjuntos (ejercicios)
Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia:
Más detallesMATEMÁTICAS 5. º CURSO UNIDAD 1: SISTEMAS DE NUMERACIÓN
MATEMÁTICAS 5. º CURSO UNIDAD 1: SISTEMAS DE NUMERACIÓN OBJETIVOS Conocer los cuatro primeros órdenes de unidades y las equivalencias entre ellos. Leer, escribir y descomponer números de hasta cuatro cifras.
Más detallesAlgoritmos y programas. Algoritmos y Estructuras de Datos I
Algoritmos y programas Algoritmos y Estructuras de Datos I Primer cuatrimestre de 2012 Departamento de Computación - FCEyN - UBA Programación funcional - clase 1 Funciones Simples - Recursión - Tipos de
Más detallesDerivada de la función compuesta. Regla de la cadena
Derivada de la función compuesta. Regla de la cadena Cuando en las matemáticas de bachillerato se introduce el concepto de derivada, su significado y su interpretación geométrica, se pasa al cálculo de
Más detallesINTEGRACIÓN NUMÉRICA
INTEGRACIÓN NUMÉRICA En los cursos de Cálculo Integral, nos enseñan como calcular una integral definida de una función contínua mediante una aplicación del Teorema Fundamental del Cálculo: Teorema Fundamental
Más detalles2. Ecuaciones de primer grado: (sencillas, con paréntesis, con denominadores).
Bloque 3. ECUACIONES Y SISTEMAS (En el libro Temas 4 y 5, páginas 63 y 81) 1. Ecuaciones: Definiciones. Reglas de equivalencia. 2. Ecuaciones de primer grado: (sencillas, con paréntesis, con denominadores).
Más detallesFundamentos Matemáticos de la Ingeniería. Tema 4: Diagonalización de matrices. Curso
Fundamentos Matemáticos de la Ingeniería Tema 4 Hoja Escuela Técnica Superior de Ingeniería Civil e Industrial Esp en Hidrología Fundamentos Matemáticos de la Ingeniería Tema 4: Diagonaliación de matrices
Más detallesSi..., siempre que, con tal que, puesto que, ya que, porque, cuando, de, a menos que, a no ser que, salvo que, solamente.
1.2 Proposiciones condicionales y equivalencia lógica. Proposición Condicional o implicación lógica Una proposición condicional, es aquella que está formada por dos proposiciones atómicas o moleculares,
Más detallesPROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02
PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES Problemas 0 Salvador Pérez Gómez pies3coma14@hotmail.com 4 de abril de 007 PROBLEMA 1 Sea n un número natural. Sea A n = n + n + 3n. a) Demostrar que
Más detallesINTRODUCCION AL ALGEBRA.
INTRODUCCION AL ALGEBRA. 2- TEORIA DE CONJUNTOS. Apuntes de la Cátedra. Alberto Serritella. Colaboraron: Cristian Mascetti. Vanesa Bergonzi Edición Previa CECANA CECEJS CET Junín 2010. UNNOBA Universidad
Más detallesEXPRESIONES ALGEBRAICAS EXPRESIONES ALGEBRAICAS Y POLINOMIOS
EXPRESIONES ALGEBRAICAS Trabajar en álgebra consiste en manejar relaciones numéricas en las que una o más cantidades son desconocidas. Estas cantidades se llaman VARIABLES, INCÓGNITAS o INDETERMINADAS
Más detallesCUADERNO Nº 6 NOMBRE:
Ecuaciones Contenidos 1. Ecuaciones: ideas básicas Igualdades y ecuaciones Elementos de una ecuación Ecuaciones equivalentes 2. Reglas para resolver una ecuación Sin denominadores Con denominadores Resolución
Más detallesSistemas de ecuaciones lineales dependientes de un parámetro
Vamos a hacer uso del Teorema de Rouché-Frobenius para resolver sistemas de ecuaciones lineales de primer grado. En particular, dedicaremos este artículo a resolver sistemas de ecuaciones lineales que
Más detallesUNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal
Más detallesƒ : {(1, 4), (2, 5), (3, 6), (4, 7)}.
SECCIÓN 5. Funciones inversas 5. Funciones inversas Verificar que una función es la inversa de otra. Determinar si una función tiene una función inversa. Encontrar la derivada de una función inversa. f
Más detallesEl determinante de una matriz se escribe como. Para una matriz, el valor se calcula como:
Materia: Matemática de 5to Tema: Definición de Determinantes Marco Teórico Un factor determinante es un número calculado a partir de las entradas de una matriz cuadrada. Tiene muchas propiedades e interpretaciones
Más detallesÁREA: MATEMÁTICAS UNIDAD : 1 TEMPORALIZACIÓN: OCTUBRE 1ª QUINCENA OBJETIVOS CONTENIDOS CRITERIOS DE EVALUACIÓN
ÁREA: MATEMÁTICAS UNIDAD : 1 TEMPORALIZACIÓN: OCTUBRE 1ª QUINCENA Conocer los nueve primeros órdenes de unidades y las equivalencias entre ellos. Leer, escribir y descomponer números de hasta nueve cifras.
Más detallesANOTACIONES BÁSICAS SOBRE LÓGICA PROPOSICIONAL FILOSOFÍA 1º BACHILLERATO
Pág. 1 Lógica Proposicional La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones
Más detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detallesEcuaciones de primer grado o lineales
CATÁLOGO MATEMÁTICO POR JUAN GUILLERMO BUILES GÓMEZ BASE 8: ECUACIONES DE PRIMER Y DE SEGUNDO GRADO RESOLUCIÓN DE PROBLEMAS ECUACIONES DE PRIMER GRADO O LINEALES CON UNA SOLA INCÓGNITA: Teoría tomada de
Más detalles10.4 Sistemas de ecuaciones lineales
Programa Inmersión, Verano 2016 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 001 y MATE 02 Clase #11: martes, 14 de junio de 2016. 10.4 Sistemas de ecuaciones lineales
Más detallesUnidad 2: Ecuaciones, inecuaciones y sistemas.
Unidad 2: Ecuaciones, inecuaciones y sistemas 1 Unidad 2: Ecuaciones, inecuaciones y sistemas. 1.- Factorización de polinomios. M. C. D y m.c.m de polinomios. Un número a es raíz de un polinomio es 0.
Más detallesCapítulo 1 Lógica Proposicional
Capítulo 1 Lógica Proposicional 1.1 Introducción El ser humano, a través de su vida diaria, se comunica con sus semejantes a través de un lenguaje determinado (oral, escrito, etc.) por medio de frases
Más detallesEnteros (Z):..., -3, -2, -1, 0, 1, 2, 3,... Números enteros (positivos o negativos), sin decimales. Incluye a los naturales.
Tema 1: Números Reales 1.1 Conjunto de los números Naturales (N): 0, 1, 2, 3. Números positivos sin decimales. Sirven para contar. Enteros (Z):..., -3, -2, -1, 0, 1, 2, 3,... Números enteros (positivos
Más detallesLímite de funciones. Por otra parte se dice que una función es discontínua si para algún (os) valor (es) de x no existe valor de y.
Límite de funciones El concepto de límite se explica y define desde diferentes perspectivas en los libros de cálculo. Se habla por ejemplo del límite de una sucesión (como ya se explicó), o bien del límite
Más detallesSISTEMAS INFORMÁTICOS PROGRAMACION I - Contenidos Analíticos Ing. Alejandro Guzmán M. TEMA 2. Diseño de Algoritmos
TEMA 2 Diseño de Algoritmos 7 2. DISEÑO DE ALGORITMOS 2.1. Concepto de Algoritmo En matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latín, dixit algorithmus
Más detallesSistemas de Ecuaciones Lineales SISTEMAS DE ECUACIONES LINEALES DEFINICIONES, TIPOS DE SISTEMAS Y DISTINTAS FORMAS DE EXPRESARLOS
SISTEMAS DE ECUACIONES LINEALES DEFINICIONES, TIPOS DE SISTEMAS Y DISTINTAS FORMAS DE EXPRESARLOS 1.- DEFINICIÓN DE SISTEMAS DE ECUACIONES LINEALES Definición: se llama sistema de ecuaciones lineales al
Más detallesTEMA 6: DIVISIÓN DE POLINOMIOS RAÍCES MATEMÁTICAS 3º ESO
TEMA 6: DIVISIÓN DE POLINOMIOS RAÍCES MATEMÁTICAS 3º ESO 1. División de polinomios Dados dos polinomios P (el dividendo) y D (el divisor), dividir P entre D es encontrar dos polinomios Q (el cociente)
Más detallesESTALMAT-Andalucía Actividades 06/07 Sesión: 19 Fecha: 14/04/07 Título: Aritmética modular Segundo Curso. Aritmética modular
Recordando... Aritmética modular División entera (o euclídea). División exacta Definición.- Dados dos numeros naturales a (dividendo) y b 0 (divisor), llamamos división entera entre ellos a la operación
Más detalles13. Utilizar la fórmula del término general y de la suma de n términos consecutivos
Contenidos mínimos 3º ESO. 1. Contenidos. Bloque I: Aritmética y álgebra. 1. Utilizar las reglas de jerarquía de paréntesis y operaciones, para efectuar cálculos con números racionales, expresados en forma
Más detallesEliminación de cuantificadores
Eliminación de cuantificadores Teorema Si una teoría admite eliminación de cuantificadores, y existe un algoritmo que construye ϕ sc a partir de ϕ, entonces es decidible. Cómo se demuestra este teorema?
Más detalles5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones
1 Curso Básico de Computación 5 Autómatas de pila 5.1 Descripción informal Un autómata de pila es esencialmente un autómata finito que controla una cinta de entrada provista de una cabeza de lectura y
Más detallesUna proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos).
Lógica intuitiva Una proposición es una afirmación que debe ser cierta o falsa (aunque no lo sepamos). A : Las águilas vuelan B : El cielo es rosa C : No existe vida extraterrestre D : 5 < 3 E : Algunos
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detalles