Material para el curso de Lógica (primavera 2016)
|
|
- Purificación Espejo Salas
- hace 6 años
- Vistas:
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 Algunos archivos enlazados desde esta página han sido eliminados. Quien desee consultarlos puede enviarme un correo (FRVelazquezQuesada "at"
Más detallesEjercicios 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 detallesLó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 detallesLOGICA 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 detallesTema 1: Sintaxis y Semántica de la Lógica Proposicional
Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional
Más detallesVerificación de Modelos
Verificación de Modelos Dante Zanarini LCC November 5, 2015 Dante Zanarini (LCC) Verificación de Modelos November 5, 2015 1 / 18 Verificación Formal Ingredientes: Un lenguaje para describir sistemas Un
Más detallesMATEMÁ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 detallesRazonamiento 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 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 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 detallesSemá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 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 detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesUniversidad 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 detallesMatemá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 detallesCapí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 detallesASIGNATURA: 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 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 detallesRudimentos 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 detallesSintaxis 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 detallesAlgunos 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 detallesLó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 detalles3. 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 detallesMEL* 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 detallesAnálisis lógico Cálculo de proposiciones
Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más 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 detallesUniversidad 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 detallesPALABRA 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 detallesLógica Lógica de Predicados
Lógica de Predicados 1 Motivación Un sistema informático no es otra cosa que un modelo de una parte de la realidad, típicamente de un servicio. el servicio que debe proveer la bedelía de la facultad o
Más detallesLógica Lógica de Predicados. Motivación
Lógica de Predicados 1 Motivación Un sistema informático no es otra cosa que un modelo de una parte de la realidad, típicamente de un servicio. el servicio que debe proveer la bedelía de la facultad o
Más detallesAxiomas 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 detallesPontificia 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 detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
Más 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 detallesUNIVERSIDAD 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 detallesTÍ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 detallesContenido. 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 detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
Más detallesLó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 detallesUniversidad 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 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 detalles2.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 detallesPENSAMIENTO 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 detallesLó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 detallesMó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 detallesTema 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 detallesClase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf
Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje
Más detallesTema 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 detallesUNIVERSIDAD 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 detallesCALENDARIO 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 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 detallesEJERCICIOS 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 detallesCIENCIAS 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 detallesResumen 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 detallesMÓ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 detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Lógica y Estructuras Discretas Tutor: Antonio Rivero Cuesta Tema 1 Lógica de Proposiciones y de Predicados de Primer Orden Lógica de Proposiciones Sintaxis Infinitas letras
Más detallesDES: 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 detallesIntroducció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 detallesCurso 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 detallesI. 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 detallesLógica Proposicional IIC1253. IIC1253 Lógica Proposicional 1/64
Lógica Proposicional IIC1253 IIC1253 Lógica Proposicional 1/64 Inicio de la Lógica Originalmente, la Lógica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento válido? Todos
Más detallesPrograma 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 detallesFACULTAD 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 detallesLó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 detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesLÓGICA 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 detallesTEMA 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 detallesLó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 detallesLó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 detallesIngenierí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 detallesCapítulo 2 El Método de Resolución
Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.
Más detallesInteligencia 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 detallesMÓ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 detallesLÓ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 detallesTRABAJO 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 detallesLÓ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 detallesló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 detallesLOGICA 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 detallesIntroducció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 detallesSumario 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 detallesUNIDAD 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 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 detallesProposiciones. 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 detallesDemostració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 detallesRazonamientos. 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 detallesLó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 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
Proposicional Disciplina matemática Disciplina formal Se razona sobre la estructura de las cosas Se quiere estudiar el razonamiento, y no las verdades contingentes Se quiere estudiar la noción de consecuencia
Más detallesLógica 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 detalles1. 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 detallesAsignació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 detallesBenemé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 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 detallesEnunciados 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 detallesLó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 detallesSí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 detallesUn 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 detallesLICENCIATURA 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