Material para el curso de Lógica (primavera 2016)

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

Download "Material para el curso de Lógica (primavera 2016)"

Transcripción

1 Material para el curso de Lógica (primavera 2016) Facultad de Filosofía, Universidad de Sevilla Última modificación: 18 Junio Detalles prácticos Curso impartido por Fernando R. Velázquez Quesada. Clases: Martes (18:00-20:00), Miércoles (18:00-19:00) y Jueves (20:00-21:00), desde el 9 de Febrero hasta el 2 de Junio (15 sesiones de 2 horas, 30 sesiones de 1 hora). Aula: F2. Contenido del curso y forma de evaluación. Notas (con ejemplos y ejercicios) en las cuales se basa el curso (versión actual: :53). MUY IMPORTANTE: estas notas están en proceso de elaboración, y por lo tanto serán actualizadas varias veces a lo largo del curso. Cuando las consulten, asegúrense de tener la versión mas reciente. El curso, día a día He aquí una lista con los resultados finales del curso. Aquellos que aprobaron los tres exámenes tiene como nota final el promedio de dichos exámenes. Aquellos que se presentaron al examen final tiene como nota final el resutlado de dicho examen. Para cualquier duda o aclaración, pueden contactarme por correo electrónico o el Lunes 20 de Junio en la oficina. la tarde del lunes llenaré las actas, y no entonces será posible hacer cambios. Miércoles 15 de Junio (17hrs). Examen final. Para adecuarnos al calendario oficial de la Facultad de Filosofía, el examen final se ha cambiado para esta fecha (aula F2). He aquí una lista con los resultados de los tres exámenes. Aquellos que no aprobaron todos los exámenes se pueden presentar al examen final en la fecha y lugar indicados mas abajo. Aquellos que aprobaron todos los exámenes tienen ya una calificación final (el promedio de los tres resultados), aunque pueden presentarse al examen final en caso de que deseen 1 de 8 09/03/17 23:15

2 intentar obtener un mejor resultado. Miércoles 25 de Mayo. Revisión del tercer examen. Martes 31 de Mayo. Tercer examen. Miércoles 25 de Mayo. Revisamos argumentos en lenguaje natural, reescribéndolos con fórmulas del lenguaje de predicados y decidiendo entonces su validez. Martes 24 de Mayo. Revisamos argumentos en lenguaje natural, reescribéndolos con fórmulas del lenguaje de predicados y decidiendo entonces su validez. Jueves 19 de Mayo. No hay clases. Miércoles 18 de Mayo. No hay clases. Martes 17 de Mayo. No hay clases. Jueves 12 de Mayo. En este documento aparecen tanto los enunciados en lenguaje natural que durante clase tradujimos al lenguaje de predicados como fórmulas del lenguaje de predicados y los modelos en los cuales las evaluamos. En la última página pueden encontrar una lista de fórmulas/argumentos cuya validez puede ser demostrada utilizando el método de derivación por deducción natural. Jueves 12 de Mayo. No hay clases. Miércoles 11 de Mayo. Presentamos ejemplos del método de derivación por deducción natural para demostrar tanto la validez de argumentos en el lenguaje de predicados como la validez de fórmulas en el mismo lenguaje. Martes 10 de Mayo. En la primera parte de clase presentamos otro argumento que muestra una limitación fundamental del método de tablas semánticas. Este argumento muestra que, en general, dicho método no funciona: existen argumentos que no son válidos, pero ante los cuales el método de tablas semánticas no nos dará ninguna respuesta. En la segunda parte de la clase presentamos las reglas para cuantificadores del método de derivación por deducción natural. Jueves 5 de Mayo. Presentamos un argumento que muestra una limitación en las reglas para cuantificadores del método de tablas semánticas, y mostramos como 'corregir' las reglas a fin de que estas funcionen de manera correcta. Miércoles 4 de Mayo. Presentamos ejemplos del método de tablas semánticas para decidir tanto la validez de argumentos en el lenguaje de predicados como la validez de fórmulas en el mismo lenguaje. 2 de 8 09/03/17 23:15

3 Martes 3 de Mayo. Repasamos algunos detalles de la interpretación semántica de fórmulas del lenguaje de predicados (aquellos relacionados con la función de interpretación de variables). Entonces empezamos a discutir los métodos para decidir la validez de argumentos, iniciando con el método de tablas semánticas. Primero discutimos la diferencia que hay entre las reglas para operadores Booleanos en el caso del lenguaje modal y las reglas para los mismos operadores en el caso del lenguaje de predicados, y luego presentamos las reglas tanto para el cuantificador existencial como para el cuantificador universal. Jueves 28 de Abril. Presentamos formalmente la interpretació semántica de fórmulas del lenguaje de predicados, introduciendo los conceptos de variables libre, variable acotada, dominio, función de interpretación para constantes, funciones y predicados (I) y función de interpretación para variables (g). Miércoles 27 de Abril. Continuamos con la semántica de la lógica de predicados de manera informal (ejemplos 3.5, 3.6, 3.7 y 3.8 en la versió :53 de las notas). Presentamos varios modelos y decidimos si algunas fórmulas dadas son verdaderas o falsas en el modelo dado. Martes 26 de Abril. La semántica de la lógica de predicados de manera informal (ejemplo 3.1 en la versió :53 de las notas). Presentamos un modelo, es decir, una estructura cuyos objetos pueden tener ciertas propiedades y ciertas relaciones, y decidimos si algunas fórmulas dadas son verdaderas o falsas en el modelo dado. Lunes 25 de Abril. Nueva versión de las notas del curso ( :53), con algunos ejemplos nuevos, y las reglas básicas de cuantificadores tanto para el método de tablas semánticas como para el método de deducción natural. Jueves 21 de Abril. Presentamos formalmente la sintaxis de fórmulas del lenguaje de predicados, y revisamos algunos ejemplos. Miércoles 20 de Abril. El lenguaje de la lógica de predicados de manera informal. Continuamos revisando enunciados y dimos su traducción como fórmulas en el lenguaje de predicados. Martes 19 de Abril. El lenguaje de la lógica de predicados de manera informal. Revisamos algunos enunciados en lenguaje natural y dimos su traducción como fórmulas en el lenguaje de predicados. Lunes 11 de Abril. Nueva versión de las notas del curso ( :01). Esta versión expande la anterior con el siguiente material sobre la lógica de predicados (capítulo 3): ejemplos de traducciones de lenguaje natural a lenguaje formal y 3 de 8 09/03/17 23:15

4 también de evaluación de fórmulas en modelos dados, y ejercicios para todo el capítulo. Lunes 11 de Abril. Aunque la versión actual de las notas del curso ( :01) contiene ejercicios sobre la lógica de predicados, estos temas no están desarrollados en el texto. Aquellos que busquen notas para poder leer y entender los conceptos que revisaremos pueden consultar el capítulo 4 del texto Logic in Action, y también las presentaciones basadas en ese capítulo (disponibles en Ingles y en Castellano). Adicionalmente, pueden consultar el capítulo 3 de L. T. F. Gamut. Logic, Language, and Meaning, volume 1: Introduction to Logic. The University of Chicago Press, Chicago and London, ISBN , el cual también está disponible en la biblioteca de la facultad. Lunes 11 de Abril (12hrs). Solución del segundo examen. Aula S112 (seminario de lógica), la cual se encuentra al fondo del pasillo en el cual está mi oficina. Jueves 7 de Abril. Segundo examen, segunda parte. Miércoles 6 de Abril. Segundo examen, primera parte. Martes 5 de Abril. Respuestas a dudas sobre los temas vistos hasta ahora. Jueves 31 de Marzo. Ejemplos del uso del método de tablas semánticas para la lógica modal. Miércoles 30 de Marzo. Presentamos las reglas del método de tablas semánticas para la lógica modal. Martes 29 de Marzo. En la clase anterior, dado un modelo y una fórmula, presentamos un método para decidir si dicha fórmula es verdadera o no en dicho modelo. Esta clase realizamos tareas ligeramente diferentes. La primera es, dado un modelo, encontrar fórmulas que caractericen a cada uno de sus mundos posibles; la segunda es, dada una fórmula, encontrar un modelo que la haga verdadera y un modelo que la haga falsa. Martes 22 de Marzo. Nueva versión de las notas del curso ( :37). Esta versión expande la seccioón con un ejemplo largo el cual evalua distintas fórmulas mudales en un modelo de mundos posibles dado (Ejemplo 2.11). También se han agregado dos ejercicios nuevos (2.15 y 2.16). Jueves 17 de Marzo. Vimos un ejemplo de un modelo relacional, y evaluamos distintas fórmulas en él. Aquellos que quieran seguir practicando la evaluación de fórmulas dadas en modelos dados pueden utilizar las herramientas disponibles en Modal Logic 4 de 8 09/03/17 23:15

5 Playground. En particular, he aquí el modelo que utilizamos en clase Miércoles 16 de Marzo. Presentamos las estructuras en las cuales se evaluan fórmulas del lenguaje modal proposicional. Estas estructuras, llamadas modelos relacionales, son tuplas M = W, R, V en las cuales M es un conjunto de mundos posibles, R es la relación de accesibilidad (indicando los mundos que se consideran posibles a partir de cada uno de ellos) y V es la función de evaluación (indicando qué interpretación representa cada mundo posible). Definimos también lo que necesitamos a fin de que una fórmula de nuestro lenguaje sea verdadera en un mundo dado de un modelo relacional. Martes 15 de Marzo. Presentamos el lenguaje modal proposicional, el cual extiende el lenguaje proposicional con dos operadores modales, y, los cuales nos permiten expresar las nociones de necesidad y posibilidad, respectivamente. Además de presentar formalmente la sintaxis del lenguaje y de extender la definición de árboles sintácticos para incluir los nuevos operadores, presentamos diversas fórmulas discutiendo la idea que expresan, y hablamos muy brevemente sobre otras interpretaciones modales de los nuevos operadores. Jueves 10 de Marzo. Primer examen, segunda parte. Miércoles 9 de Marzo. Primer examen, primera parte. Martes 8 de Marzo. Respuestas a dudas sobre los temas vistos hasta ahora. Viernes 4 de Marzo. Nueva versión de las notas del curso ( :22). Con respecto al capítulo 1 (lógica proposicional), la nueva versión simplemente expande algunas discusiones y corrige algunas erratas. El cambio más drástico es en el capítulo 2 (lógica modal), el cual contiene ahora el material que será discutido en la segunda parte del curso. Jueves 3 de Marzo. Vimos algunos ejemplos de derivaciones con el sistema de deducción natural. Miércoles 2 de Marzo. Mostramos como el método de derivación por deducción natural nos permite también demostrar la validez de una fórmula. Vimos algunos ejemplos de derivaciones con el sistema de deducción natural. Martes 1ro de Marzo. Presentamos el método de derivación por deducción natural, el cual nos permite demostrar que un argumento es válido. El método consiste en reglas gracias a las cuales es posible 'extraer' la información contenida en las premisas para eventualmente llegar a la conclusión. Este método difiere de 5 de 8 09/03/17 23:15

6 los anteriores (tablas de verdad, eliminación, tablas semánticas) en un punto fundamental: no es un método de decisión, tan solo un método de demostración. En otras palabras, los métodos anteriores pueden ser aplicados sobre cualquier argumento, y siempre nos dirán si dicho argumento es válido o no. Este método tan solo nos permite demostrar la validez del argumento, pero si este no es válido, en general no nos dará ninguna respuesta. Jueves 25 de Febrero. Discutimos las razones por las cuales el método de tablas semánticas es correcto (i.e., cuando da una respuesta positiva, la interpretación que encuentra realmente cumple los requisitos especificados) y también completo (i.e., cuando da una respuesta negativa, realmente no existen interpretaciones que cumplan los requisitos especificados). Miércoles 24 de Febrero. Observamos como el método de tablas semánticas, el cual nos permite decidir si un argumento es válido o no, es en realidad mas general: es una manera sistemática de intentar construir interpretaciones con ciertos requisitos. Visto de esta manera, el método nos permite también resolver otras cuestiones, como el decidir si una fórmula es válida, satisfactible, contingente o contradictoria. Martes 23 de Febrero. Presentamos las reglas del método de tablas semánticas, el cual nos permite decidir si un argumento es válido o no. Este método trabaja intentando construir un contraejemplo, es decir, intentando construir una interpretación que haga verdaderas a las premisas pero falsa a la conclusión. Si el método tiene éxito, el contraejemplo demuestra que el argumento en cuestión no es válido; si el método no tiene éxito, no es posible construir un contraejemplo, y por lo tanto el argumento es válido. Jueves 18 de Febrero. Presentamos otro método para decidir la validez de un argumento, el método de eliminación, el cual hace explícita la información contenida en cada una de las premisas. El método inicia listando todas las interpretaciones posibles para las proposiciones atómicas involucradas, y entonces 'procesa' las premisas una por una, eliminando en cada caso aquellas interpretaciones que hacen falsa a la premisa. Al terminar el proceso, las interpretaciones 'sobrevivientes' son exactamente aquellas que hacen verdaderas a todas las premisas (las que hacen falsa a al menos una premisa son precisamente aquellas que han sido eliminadas), y entonces podemos verificar si la conclusión se cumple en cada una de ellas. Este método tiene la ventaja de permitirnos no solo decidir la validez de un argumento, sino tambén de mostrarnos qué podemos concluir a partir de cierta información dada. Miércoles 17 de Febrero. Recordamos la definición de argumento válido, discutiendo que información nos da el hecho de que un argumento tenga esta propiedad. Iniciamos la presentación 6 de 8 09/03/17 23:15

7 de métodos para decidir la validez de un argumento; el presentado en esta clase es simplemente una aplicación directa de la definición: encontremos las proposiciones atómicas que aparecen en el argumento, listemos todas las interpretaciones posibles para dichas proposiciones, y construyamos la tabla de verdad para todas las premisas y la conclusión en cada una de estas interpretaciones. Con esta información podemos identificar a las interpretaciones que hacen verdaderas a todas las premisas, y entonces aplicar la definición: si efectivamente la conclusión es verdadera en todas ellas, el argumento es válido; en caso contrario (es decir, existe al menos una interpretación que hace verdaderas a todas las premisas pero hace falsa a la conclusión), el argumento no es válido. Martes 16 de Febrero. Presentamos un método, el juego de evaluación, que también nos permite decidir si una fórmula del lenguaje proposicional es verdadera o falsa. Los puntos mas importantes sobre este método son, (1) utilizamos fórmulas que no contienen ni ni, y en las cuales las negaciones actúan tan solo sobre proposiciones atómicas. Por qué esto no es un problema? (2) Qué necesitamos para poder afirmar que la fórmula es verdadera bajo la evaluación dada? Qué necesitamos para poder afirmar que la fórmula es falsa bajo la evaluación dada? (3) Por qué funciona este método? Es decir, cuál es la razón de ser de cada una de sus reglas? Jueves 11 de Febrero. Discutimos algunos ejemplos de traducciones de enunciados en lenguaje natural a fórmulas del lenguaje proposicional. Hicimos algunos ejemplos decidiendo si algunas fórmulas dadas son contradicciones, satisfactibles, contingentes o válidas, y presentamos el concepto de equivalencia lógica. Demostramos que dos fórmulas φ y ψ son logicamente equivalentes si y solo si la fórmula φ ψ es válida. Miércoles 10 de Febrero. Discutimos qué necesitamos para poder decidir si una fórmula del lenguaje proposicional es verdadera o falsa. Presentamos el concepto de interpretación y también las tablas de verdad que definen el comportamiento de los conectivos Booleanos. Presentamos las definiciones de diferentes tipos de fórmulas: contradicción, satisfactible, contingente y válida. Martes 9 de Febrero. Presentación del curso. Presentamos los ingredientes del lenguaje proposicional (proposiciones atómicas y conectivos Booleanos,,,, ) y dimos las reglas para construir fórmulas de dicho lenguaje. Presentamos los árboles sintácticos para las fórmulas proposicionales, y definimos lo que significa que una fórmula de este lenguaje sea ambigua. 7 de 8 09/03/17 23:15

8 8 de 8 09/03/17 23:15

Material para el curso Teoría de la Argumentación, Otoño 2012

Material para el curso Teoría de la Argumentación, Otoño 2012 Material para el curso Teoría de la Argumentación, Otoño 2012 Algunos archivos enlazados desde esta página han sido eliminados. Quien desee consultarlos puede enviarme un correo (FRVelazquezQuesada "at"

Más detalles

Ejercicios de Lógica Proposicional *

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 detalles

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden

Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados

Más detalles

LOGICA Y ALGEBRA DISCRETA

LOGICA Y ALGEBRA DISCRETA LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT DOCENTES Ing. Franco D. Menendez fmenendez@herrera.unt.edu.ar Mg. Ing. Gustavo Juarez gjuarez@herrera.unt.edu.ar CURSADO Teoría-Práctica:

Más detalles

Tema 1: Sintaxis y Semántica de la Lógica Proposicional

Tema 1: Sintaxis y Semántica de la Lógica Proposicional Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional

Más detalles

Verificación de Modelos

Verificación de Modelos Verificación de Modelos Dante Zanarini LCC November 5, 2015 Dante Zanarini (LCC) Verificación de Modelos November 5, 2015 1 / 18 Verificación Formal Ingredientes: Un lenguaje para describir sistemas Un

Más detalles

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones

MATEMÁTICAS DISCRETAS. UNIDAD1 Lógica y Demostraciones MATEMÁTICAS DISCRETAS UNIDAD1 Lógica y Demostraciones Para el estudio de esta unidad debe ubicarse en el Capítulo 1 del texto base, lea atentamente cada uno de los subtemas indicados en el índice de la

Más detalles

Razonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica

Razonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica Razonamiento Automático II.1 Representación en Lógica de Predicados Razonamiento en IA se refiere a razonamiento deductivo n Nuevos hechos son deducidos lógicamente a partir de otros. Elementos: n Representación

Más detalles

Tema 6: Teoría Semántica

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

Proposicional. Curso Mari Carmen Suárez de Figueroa Baonza

Proposicional. 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 detalles

Semántica formal para la Lógica de enunciados.

Semántica formal para la Lógica de enunciados. Grupo 2 Semántica formal para la Lógica de enunciados. 55. Cuando decidimos elegir los valores de verdad {V,F} para interpretar las fórmulas de L E, estamos adoptando realmente una decisión capaz de determinar

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

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes

Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática

Más detalles

Universidad de Buenos Aires Facultad de Filosofía y Letras Departamento de Filosofía. Período: 2do cuatrimestre de 2009.

Universidad de Buenos Aires Facultad de Filosofía y Letras Departamento de Filosofía. Período: 2do cuatrimestre de 2009. Universidad de Buenos Aires Facultad de Filosofía y Letras Departamento de Filosofía CÁTEDRA: LÓGICA Período: 2do cuatrimestre de 2009 Profesor a cargo: Dr Eduardo Barrio (Adjunto Regular del Área de Lógica)

Más detalles

Matemáticas Discretas Lógica

Matemáticas Discretas Lógica Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados

Más detalles

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:

Más detalles

ASIGNATURA: MATEMÁTICA DISCRETA I

ASIGNATURA: MATEMÁTICA DISCRETA I 1 FUNDAMENTOS: ASIGNATURA: MATEMÁTICA DISCRETA I Código: 15-111 Régimen: Cuatrimestral Horas Semanales: 4 Horas prácticas: 30 Horas teóricas: 30 Horas totales: 60 Escuela de Sistemas Año del programa:

Más detalles

Lógica proposicional. Ivan Olmos Pineda

Ló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 detalles

Rudimentos de lógica

Rudimentos de lógica Rudimentos de lógica Eugenio Miranda Palacios 1. El método axiomático Matemáticas es el estudio de las relaciones entre ciertos objetos ideales como números, funciones y figuras geométricas. Estos objetos

Más detalles

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica

Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página

Más detalles

Algunos otros métodos de prueba. Raymundo Morado

Algunos otros métodos de prueba. Raymundo Morado Algunos otros métodos de prueba Raymundo Morado Árboles de verdad Enrique Montero Nayeli Rodríguez Rodolfo Vázquez Raymundo Morado Temario 1. Árboles de Verdad para probar: 1.1 validez de un argumento

Más detalles

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013

Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa

Más detalles

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de:

3. OBJETIVOS ESPECÍFICOS (De formación académica): Como resultado de cada capítulo el estudiante estará en capacidad de: MATERIA Lógica y Argumentación. CÓDIGO 08273 PRERREQUISITOS: Ninguno. PROGRAMAS: Todos los programas de pregrado. PERÍODO ACADÉMICO: 162-2 (Segundo semestre de 2016) INTENSIDAD HORARIA: 4 horas semanales

Más detalles

MEL* Sistemas formales y sistemas lógicos 1

MEL* Sistemas formales y sistemas lógicos 1 2.1.1 2 2a (x y) z : z x y 2b x y x y : x y x y 2.1.2 1 1a Hay que expresar cada uno de los operadores de la tabla de 2.1.2.3 en términos de y y las variables x, y. Nótese que se describen como operadores

Más detalles

Análisis lógico Cálculo de proposiciones

Análisis lógico Cálculo de proposiciones Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq

Más detalles

Capítulo 4. Lógica matemática. Continuar

Capí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 detalles

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático

Universidad Abierta y a Distancia de México. Licenciatura en matemáticas. 2 cuatrimestre. Introducción al pensamiento matemático Universidad Abierta y a Distancia de México Licenciatura en matemáticas 2 cuatrimestre Introducción al pensamiento matemático Clave: 1 Índice... 3 Ficha de identificación... 3 Descripción... 3 Propósitos...

Más detalles

PALABRA CLAVE Interpretación lógica

PALABRA CLAVE Interpretación lógica Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos

Más detalles

Lógica Lógica de Predicados

Lógica Lógica de Predicados Lógica de Predicados 1 Motivación Un sistema informático no es otra cosa que un modelo de una parte de la realidad, típicamente de un servicio. el servicio que debe proveer la bedelía de la facultad o

Más detalles

Lógica Lógica de Predicados. Motivación

Lógica Lógica de Predicados. Motivación Lógica de Predicados 1 Motivación Un sistema informático no es otra cosa que un modelo de una parte de la realidad, típicamente de un servicio. el servicio que debe proveer la bedelía de la facultad o

Más detalles

Axiomas del Cálculo de Predicados

Axiomas del Cálculo de Predicados Axiomas del Cálculo de Predicados Si bien el cálculo proposicional nos permitió analizar cierto tipo de razonamientos y resolver acertijos lógicos, su poder expresivo no es suficiente para comprobar la

Más detalles

Pontificia Universidad Católica del Ecuador

Pontificia Universidad Católica del Ecuador Pontificia Universidad Católica del Ecuador 1. DATOS INFORMATIVOS: MATERIA O MÓDULO: Cálculo Proposicional y de Predicados CÓDIGO: CARRERA: NIVEL: Ingeniería de Sistemas Primero No. CRÉDITOS: 4 CRÉDITOS

Más detalles

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica

LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica

Más 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

UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA

UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA UNIVERSIDAD NACIONAL DE RÍO CUARTO FACULTAD DE CIENCIAS EXACTAS, FÍSICO-QUÍMICAS Y NATURALES DEPARTAMENTO DE MATEMÁTICA CARRERA/S: Analista en Computación, Profesorado en Ciencias de la Computación, Licenciatura

Más detalles

TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad

TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)

Más detalles

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción

Contenido. Prólogo... Prólogo a la edición en español Argumentos y proposiciones lógicas Introducción CONTENIDO vii Contenido Prólogo... Prólogo a la edición en español... XVIl XXI 1 Cálculo proposicional... 1 1.1 Argumentos y proposiciones lógicas 1.1.1 Introducción 1 1 1.1.2 Algunos argumentos lógicos

Más detalles

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid

Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional

Más detalles

Lógica Proposicional

Lógica Proposicional Lógica y Computabilidad Julián Dabbah (sobre clases de María Emilia Descotte y Laski) 6 de octubre de 2017 Repaso Sintaxis Variables / símbolos proposicionales (PROP): p, p', p,... (los notamos p, q, r...,

Más detalles

Universidad Autónoma de la Ciudad de México Nada humano me es ajeno

Universidad Autónoma de la Ciudad de México Nada humano me es ajeno PROTOCOLO PROGRAMA DE ESTUDIOS PROGRAMA DE ESTUDIOS: LÓGICA II, CUANTIFICACIONAL Nombre completo de acuerdo con el Plan de Estudios Fechas Mes/año Clave Semestre Elaboración 2005 Nivel Licenciatura x Maestría

Más detalles

Ló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 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 detalles

2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es

2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.

Más detalles

PENSAMIENTO MATEMATICO

PENSAMIENTO MATEMATICO PENSAMIENTO MATEMATICO UJAT DAIS CREDITOS: 6 HORAS TEORICAS: 1 HORAS PRACTICAS: 4 TOTAL DE HORAS CLASE A LA SEMANA: 5 TOTAL DE SEMANAS EN EL SEMESTRE: 16 UNIDADES DE APRENDIZAJE: 2 PENSAMIENTO MATEMATICO

Más detalles

Lógica I modelo de examen (curso ) Ejemplo de respuestas

Lógica I modelo de examen (curso ) Ejemplo de respuestas Lógica I modelo de examen (curso 2007-08) Ejemplo de respuestas 1. Definiciones: - Grado de una fórmula es el número total de conectivas (iguales o distintas) que contiene. - Función de verdad es una función

Más detalles

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA

Módulo 1. Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Módulo 1 Segunda Parte NOCIONES DE LÓGICA SIMBÓLICA Qué es una PROPOSICIÓN? ES TODA EXPRESIÓN O ENUNCIADO DE LA CUAL SE PUEDE DECIR SI ES VERDADERA O FALSA Ejemplos: 2 es un número par (Proposición verdadera)

Más detalles

Tema de la clase: Lógica Matemática. Introducción

Tema de la clase: Lógica Matemática. Introducción Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas

Más detalles

Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf

Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje

Más detalles

Tema 10: Conceptos Metalógicos

Tema 10: Conceptos Metalógicos Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 10: Conceptos Metalógicos Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 12/11/2012 Introducción

Más detalles

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106

UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106 UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO

Más detalles

CALENDARIO CURSO TÉCNICOS DEPORTIVOS 1ª SEMANA ( DEL 4 AL 9 DE JULIO) SESIONES LUNES 4 MARTES 5 MIÉRCOLES 6 JUEVES 7 VIERNES 8 SÁBADO 9

CALENDARIO CURSO TÉCNICOS DEPORTIVOS 1ª SEMANA ( DEL 4 AL 9 DE JULIO) SESIONES LUNES 4 MARTES 5 MIÉRCOLES 6 JUEVES 7 VIERNES 8 SÁBADO 9 CALENDARIO CURSO TÉCNICOS DEPORTIVOS 1ª SEMANA ( DEL 4 AL 9 DE JULIO) SESIONES LUNES 4 MARTES 5 MIÉRCOLES 6 JUEVES 7 VIERNES 8 SÁBADO 9 INAUGURACIÓN DEL CURSO CALENDARIO CURSO TÉCNICOS DEPORTIVOS 2ª SEMANA

Más detalles

Ampliación Matemática Discreta. Justo Peralta López

Ampliació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 detalles

EJERCICIOS DE EXAMEN DE LÓGICA FORMAL con algunas soluciones CURSO Febrero

EJERCICIOS DE EXAMEN DE LÓGICA FORMAL con algunas soluciones CURSO Febrero EJERCICIOS DE EXAMEN DE LÓGICA FORMAL con algunas soluciones CURSO 2005-2006 Febrero 1. (i) Dada la fórmula x=x Contéstese a las siguientes preguntas justificando brevemente las respuestas en los espacios

Más detalles

CIENCIAS FORMALES CIENCIAS FÁCTICAS

CIENCIAS FORMALES CIENCIAS FÁCTICAS UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO

Más detalles

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)

Más detalles

MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO

MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO GUIA DOCENTE DE LA ASIGNATURA LÓGICA MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Lógica y lenguaje PROFESOR(ES) Lógica y teoría de la argumentación 1º 2º 6 Obligatorio DIRECCIÓN COMPLETA DE CONTACTO PARA

Más detalles

Centro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta

Centro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta Centro Asociado Palma de Mallorca Lógica y Estructuras Discretas Tutor: Antonio Rivero Cuesta Tema 1 Lógica de Proposiciones y de Predicados de Primer Orden Lógica de Proposiciones Sintaxis Infinitas letras

Más detalles

DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo de materia: Obligatoria Clave de la materia: BC201 Semestre: 2

DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo de materia: Obligatoria Clave de la materia: BC201 Semestre: 2 UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: LÓGICA COMPUTACIONAL DES: Ingeniería Programa(s) Educativo(s): Ingeniería de Software Tipo

Más detalles

Introducción a la lógica proposicional

Introducción a la lógica proposicional Introducción a la lógica proposicional Fernando Soler Toscano fsoler@us.es 1. Lógica proposicional 1.1. El lenguaje de la lógica proposicional Fórmulas. El lenguaje de la lógica proposicional está compuesto

Más detalles

Curso LÓGICA Examen de recuperación de lógica proposicional

Curso LÓGICA Examen de recuperación de lógica proposicional Curso 2013-2014 LÓGICA Examen de recuperación de lógica proposicional 13-01-2014 1.1. Formalizar en el lenguaje de la lógica proposicional el siguiente razonamiento: (2,5 puntos) Es necesario que estudie

Más detalles

I. DESCRIPCIÓN DE LA ASIGNATURA

I. DESCRIPCIÓN DE LA ASIGNATURA UNIVERSIDAD ALAS PERUANAS FACULTAD DE CIENCIAS DE LA COMUNICACIÓN SILABO POR COMPETENCIA DATOS INFORMATIVOS 1.1. Asignatura : Lógica 1.2. Código : 1001-10E01 1.3. Pre-requisito : NINGUNO 1.4. Ciclo Académico

Más detalles

Lógica Proposicional IIC1253. IIC1253 Lógica Proposicional 1/64

Lógica Proposicional IIC1253. IIC1253 Lógica Proposicional 1/64 Lógica Proposicional IIC1253 IIC1253 Lógica Proposicional 1/64 Inicio de la Lógica Originalmente, la Lógica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento válido? Todos

Más detalles

Programa del Curso Lógica para informáticos I Semestre, 2018

Programa del Curso Lógica para informáticos I Semestre, 2018 Programa del Curso Lógica para informáticos I Semestre, 2018 Datos Generales Sigla: IF-1400 Nombre del curso: Lógica para Informáticos Tipo de curso: teórico Número de créditos: 2 Número de horas semanales

Más detalles

FACULTAD DE CIENCIAS EXACTAS, INGENIERÍA Y AGRIMENSURA U.N.R.

FACULTAD DE CIENCIAS EXACTAS, INGENIERÍA Y AGRIMENSURA U.N.R. FACULTAD DE CIENCIAS EXACTAS, INGENIERÍA Y AGRIMENSURA U.N.R. PROGRAMA ANALÍTICO DE LA ASIGNATURA: Lógica PLAN DE ESTUDIOS: 2010 CARRERA: Lic. en Cs. de la Computación DEPARTAMENTO: Sistemas e Informática

Más detalles

Lógica proposicional o Lógica de enunciados

Lógica proposicional o Lógica de enunciados Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.

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

LÓGICA MATEMÁTICA. Ingeniería. Obligatoria. UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H. FACULTAD INGENIERÍA Clave: 08USU4053W

LÓGICA MATEMÁTICA. Ingeniería. Obligatoria. UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H. FACULTAD INGENIERÍA Clave: 08USU4053W UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU007H FACULTAD INGENIERÍA Clave: 08USU4053W PROGRAMA DEL CURSO: LÓGICA MATEMÁTICA DES: Ingeniería Programa(s) Educativo(s): Ingeniería Matemática Tipo de materia:

Más detalles

TEMA I INTRODUCCIÓN A LA LÓGICA

TEMA I INTRODUCCIÓN A LA LÓGICA TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2

Más detalles

Lógica de Proposiciones y de Predicado

Lógica de Proposiciones y de Predicado Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SEMÁNTICA: Noción General. Definición Algebraica.

Más detalles

Lógica de proposiciones (5)

Lógica de proposiciones (5) Lógica de proposiciones (5) Fundamentos de Informática I I..I. Sistemas (2005-06) César Llamas Bello Universidad de Valladolid 1 Lógica Índice Lógica proposicional ecuacional Lógica: semántica Semántica

Más detalles

Ingeniería de Programa(s) Educativo(s): Software. Clave de la materia: BC201. UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H

Ingeniería de Programa(s) Educativo(s): Software. Clave de la materia: BC201. UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU0017H UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: 08MSU007H Clave: 08USU4053W FACULTAD DE INGENIERÍA PROGRAMA DEL CURSO: LÓGICA COMPUTACIONAL DES: Ingeniería Ingeniería de Programa(s) Educativo(s): Software Tipo

Más detalles

Capítulo 2 El Método de Resolución

Capítulo 2 El Método de Resolución Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.

Más detalles

Inteligencia Artificial

Inteligencia Artificial Inteligencia Artificial Conocimiento y razonamiento 2. Lógica proposicional Dr. Edgard Iván Benítez Guerrero 1 Lenguajes lógicos Los hechos forman parte del mundo, mientras que las sentencias son la representación

Más detalles

MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO

MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO GUIA DOCENTE DE LA ASIGNATURA LÓGICA MÓDULO MATERIA CURSO SEMESTRE CRÉDITOS TIPO Lógica y lenguaje PROFESOR(ES) Lógica y teoría de la argumentación 1º 2º 6 Obligatorio DIRECCIÓN COMPLETA DE CONTACTO PARA

Más detalles

LÓGICA COMPUTACIONAL

LÓGICA COMPUTACIONAL CURSO 2006-2007 OBJETIVOS Y TEMARIO 1. Presentación y objetivos. 2. Temario. Breve descripción. 1. Presentación y objetivos La asignatura «Lógica Computacional» presenta para este año un programa que está

Más detalles

TRABAJO PRACTICO Nº4 AÑO 2018 CÁLCULO DE PREDICADOS

TRABAJO PRACTICO Nº4 AÑO 2018 CÁLCULO DE PREDICADOS AC ÓIUT PMOCRÓTIC TRABAJO PRACTICO º4 AÑO 2018 CÁLCULO DE PREDICADOS 1.- Para cada uno de los predicados siguientes, halle un universo de discurso adecuado dentro de la lista siguiente: números reales,

Más detalles

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS

LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre

Más detalles

lógicos y leyes lógicas. Falacias formales. Razonamientos deductivos y no deductivos.

lógicos y leyes lógicas. Falacias formales. Razonamientos deductivos y no deductivos. Universidad Nacional de Río Cuarto Facultad de Ciencias Humanas Departamento de Filosofía Licenciatura y Profesorado en Filosofía Cátedra: LÓGICA (6471) Año Académico 2011 Régimen: Anual Horas semanales:

Más detalles

LOGICA Y ALGEBRA DISCRETA

LOGICA Y ALGEBRA DISCRETA LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.

Más detalles

Introducción a la Lógica Proposicional Seminario de Matemáticas

Introducción a la Lógica Proposicional Seminario de Matemáticas Introducción a la Lógica Proposicional Seminario de Matemáticas Julio Ariel Hurtado Alegría ahurtado@unicauca.edu.co 8 de mayo de 2015 Julio A. Hurtado A. Departamento de Sistemas 1 / 34 Agenda Motivación

Más detalles

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10

Sumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10 ÍNDICE SISTEMÁTICO PÁGINA Sumario... 5 Prólogo... 7 Unidad didáctica 1. Historia de la lógica... 9 Objetivos de la unidad... 10 1. Introducción... 11 2. Efemérides... 13 3. La Lógica de Aristóteles...

Más detalles

UNIDAD I: LÓGICA MATEMÁTICA

UNIDAD I: LÓGICA MATEMÁTICA UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica

Más detalles

Tema 9: Cálculo Deductivo

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

Proposiciones. Estructuras Discretas. Lógica de proposiciones y de predicados. Tablas de Verdad. Operadores Lógicos.

Proposiciones. Estructuras Discretas. Lógica de proposiciones y de predicados. Tablas de Verdad. Operadores Lógicos. Estructuras Discretas Proposiciones Lógica de proposiciones y de predicados Claudio Lobos clobos@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Definición: proposición

Más detalles

Demostración Contraejemplo. Métodos Indirectos

Demostración Contraejemplo. Métodos Indirectos DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un

Más detalles

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F

Razonamientos. Premisas Conclusión Premisas Conclusión V V V V V F F V F V F F F F 2.3.1.1 Validez e invalidez. Verdad y falsedad es una propiedad de las proposiciones o enunciados. Con las proposiciones o enunciados se pueden construir razonamientos. Pero los razonamientos no son ni

Más detalles

Lógica Proposicional. Cátedra de Matemática

Lógica Proposicional. Cátedra de Matemática Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un

Más detalles

Coordinació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. 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 detalles

Lógica Proposicional

Lógica Proposicional Proposicional Disciplina matemática Disciplina formal Se razona sobre la estructura de las cosas Se quiere estudiar el razonamiento, y no las verdades contingentes Se quiere estudiar la noción de consecuencia

Más detalles

Lógica Proposicional: Semántica

Lógica Proposicional: Semántica LÓGICA - 1º Grado en Ingeniería Informática Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional: Semántica Andrei Paun apaun@fi.upm.es http://web3.fi.upm.es/aulavirtual/ Despacho

Más detalles

1. Resolución en lógica proposicional

1. Resolución en lógica proposicional 1. Resolución en lógica proposicional 1.1. Introducción 1.1.1. Pseudo-motivación Si tengo una fórmula de proposicional, puedo probar con fuerza bruta todas las valuaciones a ver si es satisfactible? Si

Más detalles

Asignación de verdad a FBF

Asignación de verdad a FBF 2.2.3. Semántica Asignación del valor cierto o falso a una proposición (simple o compuesta), con independencia de los significados que para nosotros tengan las proposiciones. Asignación de verdad a fórmulas

Más detalles

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación

Benemérita Universidad Autónoma de Puebla Vicerrectoría de Docencia Dirección General de Educación Superior Facultad de Ciencias de la Computación PLAN DE ESTUDIOS (PE): Licenciatura en Ciencias de la Computación ÁREA: Ciencias de la Computación ASIGNATURA: Lógica Matemática CÓDIGO: CCOM-012 CRÉDITOS: 5 FECHA: 28 de junio de 2012 1 1. DATOS GENERALES

Más detalles

Métodos de Inteligencia Artificial

Mé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 detalles

Enunciados Abiertos y Enunciados Cerrados

Enunciados Abiertos y Enunciados Cerrados I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;

Más detalles

Lógica proposicional (2/2) Lógica 2017

Lógica proposicional (2/2) Lógica 2017 Lógica proposicional (2/2) Lógica 2017 Instituto de Computación 16 de marzo Instituto de Computación (InCo) Lógica proposicional (2/2) Curso 2017 1 / 1 Lógica Disciplina matemática Disciplina formal: se

Más detalles

Sílabo de Lógica. Horas Teóricas: 2 Prácticas: 2

Sílabo de Lógica. Horas Teóricas: 2 Prácticas: 2 Sílabo de Lógica I. Datos Generales Código Carácter UC0544 Obligatorio Créditos 3 Periodo Académico 2017 Prerrequisito Ninguno Horas Teóricas: 2 Prácticas: 2 II. Sumilla de la Asignatura La asignatura

Más detalles

Un poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM

Un poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM Un poco de lógica Ramón Espinosa Departamento de Matemáticas, ITAM La lógica, como el whisky, pierde sus efectos benéficos cuando se consume en grandes cantidades. Lord Dunsany Uno de los principales propósitos

Más detalles

LICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRÉDITOS TEORÍCAS PRÁCTICAS HORAS

LICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE CLAVE HORAS/SEMANA/SEMESTRE TOTAL DE CRÉDITOS TEORÍCAS PRÁCTICAS HORAS UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE FILOSOFÍA Y LETRAS LICENCIATURA EN FILOSOFÍA ASIGNATURA: LÓGICA 1 PRIMER SEMESTRE PROFESOR: Jesús Raymundo Morado Estrada CICLO: BÁSICO ÁREA: LÓGICA

Más detalles