Índice general. I Introducción a la Lógica 3
|
|
- Carla Ramírez Fuentes
- hace 7 años
- Vistas:
Transcripción
1 Índice general I Introducción a la Lógica 3 1 Demostraciones Argumentos rodeados de agua Argumentando Formalizando el argumento El teorema de Pitágoras En el Menón de Platón En los Elementos de Euclides Análisis de las demostraciones El sistema mg Definición del sistema Interpretaciones de mg Aquiles y la tortuga Una primera idea de lógica Lpo: unlenguajeparalalógica El análisis de Frege Constantes individuales Asignación Un problema y una aclaración Predicados Los conceptos para la Psicología cognitiva Idea, eîdos en Platón Predicados Términos funcionales Asignación Ampliación de las expresiones elementales Símbolos y expresiones elementales Conectivas Los símbolos lógicos de Lpo La negación vii
2 viii ÍNDICE GENERAL Conjunción, disyunción y condicional Propiedades de la conjunción y la disyunción Símbolos lógicos definidos Símbolos y expresiones de Lpo Omisión de paréntesis Formación de expresiones Árbol de descomposición Subexpresiones Un cálculo para Lpo Reglas básicas Disposición gráfica del cálculo Problemas deductivos Deducción de algunas reglas derivadas Reglas de interdefinición de conectivas binarias Conceptos básicos Necesidad de cerrar o cancelar las hipótesis Consecuencia lógica como derivación formal Demostración y deducción en Descartes Intuición y deducción Deducción Objeto simple e intuición Inferencia inmediata Los métodos axiomático y de deducción natural El meta-teorema de deducción Existen otros cálculos Árboles analíticos Árbol, nudo, camino, rama Características de los árboles analíticos Fundamento del cálculo de árboles analíticos Conectivas y Verdad Introducción Funciones veritativas Conceptos semánticos fundamentales Tautologías Consecuencia y verdad lógicas Equivalencia lógica Tablas de verdad Trabajando con tablas de verdad Tablas de verdad y conceptos fundamentales Otros problemas Métodos de decisión
3 ÍNDICE GENERAL ix 5.5. Interpretación y verdad El sentido de la definición de verdad de Aristóteles La definición de verdad según Tarski Cuantificación Introducción El universal y la predicación universal según Aristóteles La generalidad según Frege Conclusión Variables individuales en Lpo Variables libres y ligadas Fórmulas y sentencias Sustitución de variables libres Símbolos y expresiones de Lpo Ampliación del cálculo Nuevas reglas básicas Restricción en la introducción del generalizador Restricción en la eliminación del particularizador Propiedades y reglas de la = Problemas deductivos Ampliación del cálculo de árboles analíticos Reglas de transformación para cuantificadores Reglas de transformación para conectivas Problemas deductivos Los conceptos fundamentales Semántica de primer orden Una videoconferencia a tres bandas El punto de partida Las aulas de Buenos Aires, Madrid y Hamburgo Las estructuras de Buenos Aires, Madrid y Hamburgo Valoración de «algún alumno se sienta al lado de juan» Estructura Interpretación de signos no lógicos Interpretación Valoración de los signos lógicos Conceptos semánticos fundamentales Consecuencia y verdad lógicas Equivalencia lógica
4 x ÍNDICE GENERAL II Apuntes sobre Lógica y Teoría 159 i Pensar mediante Teorías Una aproximación histórica Problemas matemáticos en la Grecia clásica Ilustración y Política El hombre aristocrático Corrientes innovadoras El método socrático Platón Los objetos matemáticos La demostración matemática La diaíresis Problemas pendientes Lecturas ii La idea de Teoría Ciencia y demostración según Aristóteles Epistéme: esquemaspropuestospordiversosautores Demostraciones Analíticos segundos I, 6, 74b5 75a Analíticos segundos I, 4, 73a21 74a Proposición I de los Elementos La definición Analíticos segundos II, 19, 99b15-100b La definición en cuanto proposición Conclusiones respecto a la definición Cada ciencia un género Los principios de cada ciencia Lecturas Ciencia y Teoría según Descartes La Geometría Solución de ecuaciones cuadráticas El problema de Pappus Los libros segundo y tercero La Física Un mundo pleno de materia extensa Invarianza de la leyes naturales
5 ÍNDICE GENERAL xi Leyes de la Naturaleza Categorías ontológicas Res extensa Res cogitans:evidencia,intuiciónydeducción Conclusiones Lecturas Metodología de las ciencias deductivas Los Fundamentos de la Geometría de Hilbert Comparación con los Elementos de Euclides Consistencia Independencia Frege crítico de Hilbert Tarski: metodología de las ciencias deductivas Un ejemplo de teoría deductiva Modelo e interpretación de una teoría deductiva Ley de deducción Propiedades de las teorías deductivas formalizadas Ciencias empíricas Lecturas iii El desarrollo de la Lógica La Silogística El Órganon Problemas cronológicos Criterios cronológicos Cronología de las obras del Órganon Las obras Las formas de los enunciados Los enunciados compuestos El modus operandi de Aristóteles Las leyes lógicas fundamentales: primera Figura El modo barbara El modo celarent Los modos darii y ferio Las reglas de transformación La conversión simple de E en E La conversión simple de I en I La conversión accidental de A en I Problemas deductivos El modo cesare de la segunda figura
6 xii ÍNDICE GENERAL El modo baroco de la segunda figura El modo darapti de la tercera figura El modo felapton de la tercera figura Revisión del cálculo Las reglas de la contradicción Las conectivas Frege ( ) Obras de Frege Frege: El prólogo al Begriffsschrift Necesidad de un lenguaje formal El Begriffsschrift Dos tipos de signos Juicio y contenido Función y argumento vs. sujeto y predicado Conclusiones Función y concepto El valor lógico de la referencia La función: una expresión incompleta De funciones a enunciados Objetos Generalización Conclusiones Concepto y objeto El concepto según Frege Relaciones entre conceptos: inclusión Relaciones entre conceptos: subordinación Conclusiones Sobre sentido y referencia El decir poético La objetividad del significado La oración asertórica Conclusiones La lógica de Frege en síntesis Sintaxis Cálculo Semántica Aristóteles y Frege: una comparación Platón: El Sofista El análisis de Aristóteles de los enunciados Lo que no permite el análisis de Aristóteles Relaciones formales
7 ÍNDICE GENERAL xiii Las reglas de transformación El análisis de Frege de los enunciados Consecuencia del análisis de Frege: mayor expresividad Relaciones formales Signos lógicos primitivos y definidos Conclusiones iv Ente y Verdad La axiomática del ente Constituyentes del pensar teórico Reglas constitutivas y práctica social La ciencia del ente El principio de no contradicción Defensa del principio de no contradicción El principio de identidad El principio de tercero excluido Tesis de la axiomática del ente Lecturas La verdad según Aristóteles Platón La República: elmitodelacaverna El Sofista El Teeteto Aristóteles El lógos apophantikós ylaoracióndeclarativa Simploké yeldejarverunacosauna El ser-verdadero como predicado Lo que el alma conoce Lecturas La definición de verdad según Tarski Truth and Proof El sentido de la correspondencia Generalizando la idea anterior Verdad y teoría El criterio de verdad o Verdad por demostración The Semantic Conception of Truth Condiciones de la adecuación material: la convención T La paradoja del mentiroso
8 xiv ÍNDICE GENERAL La semántica de un lenguaje teórico La definición de verdad: un esbozo The Concept of Truth in Formalized Languages Problemas con el término adaequatio Una aproximación mediante un ejemplo Lecturas Tarski Otros autores v Meta-teoría Meta-teoría El teorema de corrección Planteamiento de la prueba Dos casos de la prueba El teorema de completitud Planteamiento de la prueba Una prueba que no lo es Las piezas de la prueba Conjuntos formalmente consistentes Conjuntos formalmente completos Conjuntos satisfacibles funcional-veritativamente Recapitulando El teorema de compacidad Lecturas El teorema de incompletitud de Gödel El punto de partida Numeración gödeliana Aritmetización de las proposiciones meta-teóricas Definiciones recursivas Una aproximación Funciones recursivas primitivas El teorema de incompletitud ω-consistencia Las conclusiones del Teorema VI Lecturas
INDICE. Presentación. iii Prologo
INDICE Presentación iii Prologo ix Lógica jurídica fundamental I. Introducción. Fundamentación lógica del Pensamiento jurídico 1.1. Hacia el lenguaje de la lógica 39 1.1.1. Aproximación a la naturaleza
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 detallesSistemas deductivos. Lógica Computacional. Curso 2005/2006. Departamento de Matemática Aplicada Universidad de Málaga
Sistemas deductivos Lógica Computacional Departamento de Matemática plicada Universidad de Málaga Curso 2005/2006 Contenido 1 Sistema axiomático de Lukasiewicz Sistema proposicional Extensión a predicados
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 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 detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Más 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 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 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 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 detallesINDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica
INDICE Contenido VII Prólogo a la primera edición XV Prólogo a la segunda edición XVII Prólogo a la tercera edición XIX Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 1 1.
Más detallesAPENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN
LOGICA (FCE-UBA) APENDICE REGLAS Y LEYES DE LA LOGICA DE PRIMER ORDEN Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente
Más 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 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas
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 detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesApéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Más detallesUNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA SYLLABUS MATERIA: UMAT 130 Lógica Matemática HORARIO: PROFESOR(A): Ing. Rubén Pacheco Villamar SEMESTRE:
Más detallesUNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS
UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS DEPARTAMENTO: ASIGNATURA: PROFESORES: CUATRIMESTRE: FILOSOFÍA LÓGICA SUPERIOR Segundo AÑO: 2012 PROGRAMA Nº: UNIVERSIDAD DE BUENOS AIRES FACULTAD
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 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 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 detallesDemostración Automática. Tema 2. Procesamiento del conocimiento con la Lógica Matemática
Demostración Automática de Teoremas Tema 2. Procesamiento del conocimiento con la Lógica Matemática Temas Introducción Sistemas de axiomas Teoría de la demostración. Sistema de Kleene Deducción natural
Más detallesInteligencia en Redes de Comunicaciones. Razonamiento lógico. Julio Villena Román.
Inteligencia en Redes de Comunicaciones Razonamiento lógico Julio Villena Román jvillena@it.uc3m.es Índice La programación lógica Lógica de predicados de primer orden Sistemas inferenciales IRC 2009 -
Más 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 detallesContenido. BLOQUE I: PRELIMINARES Tema 1: INTRODUCCIÓN Lógica Grado en Ingeniería Informática. Introducción. El lenguaje natural.
Contenido BLOQUE I: PRELIMINARES Tema 1: INTRODUCCIÓN Lógica Grado en Ingeniería Informática Alessandra Gallinari URJC Introducción El lenguaje de la lógica Lenguaje natural, lenguaje formal y metalenguaje
Más detallesLógica Clásica Proposicional
Lógica Clásica Proposicional Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga 10 de enero de 2008 Contenido 1 Sintaxis Alfabeto Fórmulas bien formadas Funciones recursivas
Más detallesMATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3. PERIODO LECTIVO: Invierno PRE-REQUISITO: Ninguno. 2. OBJETIVOS (Course Objectives Goal))
UNIVERSIDAD DE ESPECIALIDADES ESPÍRITU SANTO FACULTAD DE SISTEMAS, TELECOMUNICACIONES Y ELECTRÓNICA PROGRAMA ANALÍTICO (SUBJECT DESCRIPTION) MATERIA: Lógica Matemática CÓDIGO: UMAT130 CRÉDITOS: 3 PERIODO
Más detallesInteligencia en Redes de Comunicaciones - 04 Razonamiento lógico
El objetivo del Tema 4 es presentar una panorámica general sobre cómo se pueden realizar razonamientos lógicos en un sistema software. 1 Esta es la tabla de contenidos del tema: se estudia la programación
Más detallesLógica matemática y fundamentos ( )
1 / 28 Lógica matemática y fundamentos (2016 17) Tema 2: Deducción natural proposicional José A. Alonso Jiménez María J. Hidalgo Doblado Grupo de Lógica Computacional Departamento de Ciencias de la Computación
Más detallesContenido. Capítulo I Sistemas numéricos 2. Capítulo II Métodos de conteo 40
CONTENIDO v Contenido Contenido de la página Web de apoyo... xi Página Web de apoyo... xvii Prefacio... xix Capítulo I Sistemas numéricos 2 1.1 Introducción... 4 1.2 Sistema decimal... 5 1.3 Sistemas binario,
Más detallesTutoría Completa - Curso de Matemática para 1, 2 y 3 Básico
Tutoría Completa - Curso de Matemática para 1, 2 y 3 Básico Contenido 1 Básico 1. Proposiciones y cuantificadores a. Proposiciones b. Negación c. Conjunción d. Disyunción e. Condicional f. Doble condicional
Más detallesHistoria y Filosofía de la Lógica
Historia y Filosofía de la Lógica Xabier Arrazola 2009-2010 Demostración La premisa demostrativa difiere de la dialéctica en que la demostrativa consiste en admitir una de entre un par de proposiciones
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 detallesELEMENTOS DE LA MATEMATICA
ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.
Más detallesTema 5: Teoría de la Demostración en Predicados
Tema 5: Teoría de la Demostración en Predicados Resumen introducción lógica de predicados Resumen introducción lógica de predicados Conceptos: ahora para lógica de predicados de 1 er orden Estructura deductiva
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 detallesUnidad I Elementos de lógica y de Teoría de Conjuntos
INSTITUTO SUPERIOR DE FORMACION DOCENTE Nº 813 SEDE LAGO PUELO PROFESORADO EN MATEMÁTICA PROGRAMA DE ALGEBRA I AÑO 2008 Prof. Ricardo J. Tamer Unidad I Elementos de lógica y de Teoría de Conjuntos Introducción
Más detallesTema 1: Introducción. Definiciones. Lógica Computacional. Lógica Computacional. Temas Avanzados en Ingeniería Informática I (Lógica)
Temas Avanzados en Ingeniería Informática I (Lógica) Lógica Computacional La mayoría de las ideas fundamentales de la Tema 1: Introducción ciencia son esencialmente sencillas y, por regla general pueden
Más detallesLógica Matemática. Operadores Lógicos. Universidad del Azuay - Marcos Orellana Cordero
Lógica Matemática Operadores Lógicos Introducción La lógica proposicional inicia con las proposiciones y los conectores lógicos. A partir de la combinación de dos proposiciones por medio de un conector
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 detallesÍNDICE PRIMERA PARTE METODOLOGÍA JURÍDICA
ÍNDICE INTRODUCCIÓN... 15 PRIMERA PARTE METODOLOGÍA JURÍDICA INTRODUCCIÓN... 21 CAPÍTULO I. LA APLICACIÓN DEL DERECHO. CASOS FÁCILES, CASOS DIFÍCILES Y JUSTIFICACIÓN DE LA RESPUESTA... 25 1. INTRODUCCIÓN...
Más detallesLOS GRÁFICOS EXISTENCIALES DE PEIRCE EN LOS SISTEMAS ALFA o Y ALFA00. YURr ALEXANDER POVEDA QUIÑONES
oletín de Matemáticas Nueva Serie, Volumen VII No. 1 (2000), pp. 5-17 LOS GRÁFICOS EXISTENCILES DE PEIRCE EN LOS SISTEMS LF o Y LF00 YURr LEXNDER POVED QUIÑONES STRCT. Las reglas deductivas de eliminación
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 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 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 detallesLos Teoremas de Incompletitud de Gödel: Parte II: Coherencia y completitud
Los Teoremas de Incompletitud de Gödel: Parte II: Coherencia y completitud Guillermo Morales Luna Departmento de Computación CINVESTAV-IPN gmorales@cs.cinvestav.mx 2-o Encuentro Nacional de Epistemología
Más detallesUNIVERSIDAD DEL CARIBE UNICARIBE. Escuela de Educación. Programa de Asignatura
UNIVERSIDAD DEL CARIBE UNICARIBE Escuela de Educación Programa de Asignatura Nombre de la asignatura : Introducción a la Lógica Carga académica : 3 Créditos Modalidad : Semipresencial Clave : DHS-190 Pre-requisito
Más detallesLOS CONTENIDOS DE MATEMÁTICAS EN LOS BACHILLERATOS ITALIANOS
LOS CONTENIDOS DE MATEMÁTICAS EN LOS BACHILLERATOS ITALIANOS LOS CONTENIDOS DEL BIENIO (1º Y 2º AÑO) PROGRAMA A (PARA LOS INDERIZZOS CLÁSICO, LINGÜÍSTICO, SOCIO-PSICO-PEDAGÓGICO Y ARTÍSTICO, 4 horas semanales)
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 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 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 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 detallesLógica Matemática. M.C. Mireya Tovar Vidal
Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: Descripción Departamento de Matemáticas ITESM Módulo I: Descripción Matemáticas Discretas - p. 1/15 En esta sección veremos un poco de la historia de la Lógica: desde
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 detallesLICENCIATURA EN MATEMÁTICA. Práctico N 1 Lenguaje de la lógica. proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 /
Práctico N 1 Lenguaje de la lógica LICENCIATURA EN MATEMÁTICA proposicional VICTOR GALARZA ROJAS 1 5 / 0 5 / 2 0 1 0 PRÁCTICO N 1 1. Fundamentación: fundamentar la expresión Por lo tanto del siguiente
Más detallesRAZONAMIENTO MATEMÁTICO
RAZONAMIENTO MATEMÁTICO I. LÓGICA PROPOSICIONAL A. Proposiciones B. Conectivos proposicionales B.. Negación B.2. Conjunción B.3. Disyunción B.4. Condicional B.5. Bicondicional B.6. Otros conectivos C.
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 detallesFacultad de Ingeniería y Tecnología Informática Técnico en Programación de Computadoras Plan de Estudios 2014 Año 2014 Programa Analítico Lógica (1)
1. OBJETIVOS: 1- OBJETIVOS GENERALES: El objetivo principal de esta asignatura es introducir al alumno en el estudio de los sistemas finitos, conforme a los avances en la era de las computadoras. Se pretende
Más detallesLógica Aristotélica (Validez)
Lógica Aristotélica (Validez) (basado en notas anteriores de Fernando Zalamea) Andrés Villaveces Departamento de Matemáticas Universidad Nacional de Colombia Lógica I - Filosofía - I 2006 La pregunta Recuerde
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 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 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 detallesEl sistema deductivo de Hilbert
El sistema deductivo de Hilbert IIC2213 IIC2213 El sistema deductivo de Hilbert 1 / 17 Completidad de resolución proposicional Qué tenemos que agregar a nuestro sistema de deducción para que sea completo?
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 detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesLógica de primer orden: Repaso y notación
Lógica de primer orden: Repaso y notación IIC3263 IIC3263 Lógica de primer orden: Repaso y notación 1 / 29 Lógica de primer orden: Vocabulario Una fórmula en lógica de primer orden está definida sobre
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 detallesLa Lógica de la Verdad
Seminario La Lógica de la Verdad Eduardo Alejandro Barrio Universidad de Buenos Aires eabarrio@gmail.com Lunes de 19 a 23-1er Cuatrimestre de 2014 Sitio del Seminario: Logic Group of Buenos Aires http://www.ba-logic.com/courses/logicaverdad
Más detallesLógica I (curso ) - 23 de enero de 2006 (modelo de respuestas)
Lógica I (curso 2005-06) - 23 de enero de 2006 (modelo de respuestas) 1. Definir un sistema formal... Para definir un sistema formal hay que especificar su lenguaje y su mecanismo deductivo. Llamemos H
Más detallesLógica de predicados 1. Lenguaje formal (parte 1)
Lógica de predicados 1. Lenguaje formal (parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 1.1. Nombres y predicados 1.2. Cuantificadores y variables 1.3. Silogística y lógica de predicados
Más detallesINDICE Teoría de conjuntos y figuras II. Relaciones y operaciones en un conjunto
INDICE Teoría de conjuntos y figuras I. Conjuntos abstractos Nociones previas Concepto de conjunto Relación de pertenencia a un conjunto Conjunto complementario y conjunto vacío Relaciones entre conjuntos:
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesContenido. Contenidos interactivos... xiii Plataforma de contenidos interactivos... xviii Prefacio... xix. Parte I Fundamentos...
Contenido Contenidos interactivos... xiii Plataforma de contenidos interactivos... xviii Prefacio... xix Parte I Fundamentos... 1 Capítulo I Lógica, conjuntos e inducción... 2 1.1 Introducción... 4 1.2
Más detallesESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA MATERIA: LÓGICA. CICLO ESCOLAR:
ESCUELA TOMÁS ALVA EDISON- SECCIÓN PREPARATORIA GUÍA PARA EXÁMEN FINAL DE LÓGICA MATERIA: LÓGICA. CICLO ESCOLAR: 2016-2017 DOCENTE: IRIS GABRIELA MORALES MORALES GRUPOS: 4010, 4020, 4030, 4040, 4050 y
Más detallesLos fundamentos de la matemática y los teoremas de Gödel
Los fundamentos de la matemática y los teoremas de Gödel Mario A. Natiello Centre for Mathematical Sciences Lund University Sweden Los fundamentos de la matemática y los teoremas de Gödel p.1/23 Contenido
Más 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 y Programación
Lógica y Programación Sintaxis y semántica de la lógica proposicional Antonia M. Chávez, Carmen Graciani, Agustín Riscos Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla
Más detallesLógica Proposicional. Del conjunto de hipótesis Γ se deduce α?
Proposicional Metateoría: Corrección y Completitud Proposicional - 1 Del conjunto de hipótesis Γ se deduce α? Γ = α? -Tablas de verdad - Equivalencia lógicas Existen métodos que siempre responden SI o
Más detallesLógica de proposiciones
1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura
Más detallesLógica Matemática, Sistemas Formales, Cláusulas de Horn
Lógica Matemática, Sistemas Formales, Cláusulas de Horn Lic. José Manuel Alvarado La lógica se ocupa de las argumentaciones válidas. Las argumentaciones ocurren cuando se quiere justificar una proposició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 detallesUNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS L Ó G I C A Carrera: Programador Universitario en Informática Equipo Docente: Miriam Alagastino Ximena Villarreal
Más detallesGodel y la Crisis de los Fundamentos Andres Abeliuk
Godel y la Crisis de los Fundamentos Andres Abeliuk Hay un concepto que es el corruptor y el desatinador de los otros. No hablo del Mal cuyo limitado imperio es la ética: hablo del infinito. Jorge Luis
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
Más detallesIntuicionismo matemático y semántica basada en el concepto de demostración
Intuicionismo matemático y semántica basada en el concepto de demostración CURSO TEORIA DE LA PRUEBA PARA LENGUAJES DE PROGRAMACION- DC-UBA-2012 Javier Legris CEF-CONICET y FCE-UBA jlegris@retina.ar Luitzen
Más detallesFACULTAD DE TEOLOGÍA SAN VICENTE FERRER
FACULTAD DE TEOLOGÍA SAN VICENTE FERRER GUÍA DOCENTE Lógica 1. DESCRIPCIÓN 2. OBJETIVOS 3. ACTIVIDADES 4. CRITERIOS DE EVALUACIÓN ASIGNATURA Curso Ciclo Anual Semestral 1 Institucional x Tipo de Asignatura
Más detallesTEXTOS HUMANÍSTICOS. Se basan en la reflexión teórica y el razonamiento sin necesidad de su demostración científica.
TEXTOS HUMANÍSTICOS TEXTOS HUMANÍSTICOS Aquellos textos que se centran en el estudio del ser humano, de sus producciones culturales, sus relaciones personales y sociales y los modos y procedimientos de
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 detallesCOMPACIDAD Y COMPLETITUD: DOS TEOREMAS CLÁSICOS DE LA TEORÍA DE MODELOS
COMPACIDAD Y COMPLETITUD: DOS TEOREMAS CLÁSICOS DE LA TEORÍA DE MODELOS JOEL TORRES DEL VALLE 1 1 Universidad Cartagena Resumen. Se presentan dos teoremas clásicos de la Teoría de Modelos: Teorema de La
Más detallesUNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS
UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS DEPARTAMENTO: MATERIA: PROFESOR: CUATRIMESTRE: Filosofía Lógica Carlos A. Oller 1ro AÑO: 2013 PROGRAMA Nº: 0211 UNIVERSIDAD DE BUENOS AIRES FACULTAD
Más detallesSistema Axiomático para el Cálculo Proposicional
Sistema Axiomático para el Cálculo Proposicional Lógica Matemática José de Jesús Lavalle Martínez 12 de julio de 2011 Resumen Este documento es una traducción de partes de la sección 1.4 AN AXIOM SYSTEM
Más detalles: UN SEMESTRE ACADÉMICO : PRIMER AÑO, PRIMER SEMESTRE
ALGEBRA A. ANTECEDENTES GENERALES CÓDIGO : IIM116A DURACIÓN : UN SEMESTRE ACADÉMICO PRE-REQUISITO : NO TIENE CO-REQUISITO : NO TIENE UBICACIÓN : PRIMER AÑO, PRIMER SEMESTRE CARÁCTER : OBLIGATORIO HRS.DIRECTAS
Más detallesLógica Proposicional (LP)
Lógica Proposicional (LP) Proposición Enunciado del que puede afirmarse si es verdadero o falso Oración declarativa Cuáles de las siguientes son proposiciones? ) Pedro es alto. 2) Juan es estudiante. 3)
Más detalles- AnallogicA - Software para crear tablas de verdad
- AnallogicA - Software para crear tablas de verdad Henry Suarez skilltik@gmail.com Año 2010 Proyecto de POO de la carrera de Ingeniería en Informática de la Universidad Nacional del Litoral. Módulos del
Más detallesLógica. Matemática discreta. Matemática discreta. Lógica
Lógica Matemática discreta Lógica: rama de las matemáticas instrumento para representar el lenguaje natural proporciona un mecanismo de deducción 2 y de predicados Razonamientos Cálculo proposicional Cálculo
Más detallesFacultad de Ciencias Exactas y Tecnología Universidad Autónoma Gabriel René Moreno CARRERA DE INGENIERIA INDUSTRIAL
PROGRAMA ANALITICO DE LA ASIGNATURA ALGEBRA I (MAT-100) DATOS GENERALES ASIGNATURA:. SIGLA Y CODIGO:... CURSO:.. PREREQUISITOS: HORAS SEMANAS:... CREDITOS: PROFESOR: ÁLGEBRA I MAT-100 Primer Semestre Ninguno
Más detallesCapítulo 2. Preliminares Definiciones Básicas de Lógica
Capítulo 2 Preliminares El objetivo principal del siguiente capítulo es proveer al lector de definiciones básicas en lógica matemática para que los resultados del trabajo de tesis sean entendibles. Este
Más detallesSistemas Formales y Lógica
UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS Sistemas Formales y Lógica Carrera: Licenciatura en Matemática Docente: Miriam Alagastino AÑO 2016 PLANIFICACIÓN DE
Más detalles