Este documento describe la lógica clásica de primer orden. Explica que es la rama más estudiada y aplicada de la lógica contemporánea. Además, describe que la lógica clásica estudia el razonamiento deductivo correcto y que utiliza un lenguaje formal riguroso para representar la idea de inferencia válida de manera matemática.
Este documento explica los cuantificadores en lógica y teoría de conjuntos. Los cuantificadores indican "cuántos" elementos de un conjunto cumplen con una propiedad y permiten construir proposiciones particularizando o generalizando funciones proposicionales. El cuantificador universal generaliza una proposición a todos los elementos de un conjunto, mientras que el cuantificador existencial particulariza una proposición a al menos un elemento. Las proposiciones pueden estar negadas y los cuantificadores tienen reglas específicas para la negación.
Este documento habla sobre los diferentes tipos de cuantificadores lógicos. Explica que hay cuatro tipos principales: cuantificador universal, existencial, singular y nulo. Define cada uno y su simbología correspondiente. También describe los pasos para cuantificar una afirmación matemática y proporciona ejemplos de cómo aplicar los cuantificadores.
La lógica es una herramienta importante para todo tipo de conocimiento y de actividad racional, pero también para la vida cotidiana (donde, de hecho, la usamos de manera inadvertida). En palabras de Ricardo Guibourg:
Este documento presenta diferentes tipos de párrafos y su organización. Explica que existen párrafos expositivos, descriptivos, narrativos y argumentativos. Además, describe formas de organizar un párrafo como secuencia, enumeración, desarrollo de concepto, comparación-contraste y causa-efecto. Finalmente, incluye ejercicios para identificar el tipo de párrafo y su organización.
Este documento define la lógica y la lógica proposicional. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido. También describe las proposiciones, proposiciones simples y compuestas, y los conectivos lógicos como la conjunción, disyunción e implicación que conectan proposiciones. Finalmente, provee ejemplos para ilustrar estos conceptos lógicos.
Recurso didáctico estrategias de aprenizaje-julio pimienta prietoModesto Ramos Sánchez
Este documento presenta estrategias de aprendizaje constructivistas. Brevemente describe el resumen como la identificación de las ideas principales de un texto. Luego, ofrece ejemplos de resúmenes de textos sobre nubes y una mujer excepcional en 3 oraciones o menos en cada caso.
Este documento resume las bases fenomenológicas del paradigma cualitativo. Explica que la fenomenología busca comprender los fenómenos tal como son experimentados, sin prejuicios. Señala que el paradigma cualitativo es interpretativo, constructivista y naturalista, y que utiliza métodos como la observación participante y los estudios de casos. Finalmente, destaca que la fenomenología describe la estructura de la experiencia vivida según Edmund Husserl y Martin Heidegger para proveer bases conceptuales a la investigación cualitativa.
Este documento explica los cuantificadores en lógica y teoría de conjuntos. Los cuantificadores indican "cuántos" elementos de un conjunto cumplen con una propiedad y permiten construir proposiciones particularizando o generalizando funciones proposicionales. El cuantificador universal generaliza una proposición a todos los elementos de un conjunto, mientras que el cuantificador existencial particulariza una proposición a al menos un elemento. Las proposiciones pueden estar negadas y los cuantificadores tienen reglas específicas para la negación.
Este documento habla sobre los diferentes tipos de cuantificadores lógicos. Explica que hay cuatro tipos principales: cuantificador universal, existencial, singular y nulo. Define cada uno y su simbología correspondiente. También describe los pasos para cuantificar una afirmación matemática y proporciona ejemplos de cómo aplicar los cuantificadores.
La lógica es una herramienta importante para todo tipo de conocimiento y de actividad racional, pero también para la vida cotidiana (donde, de hecho, la usamos de manera inadvertida). En palabras de Ricardo Guibourg:
Este documento presenta diferentes tipos de párrafos y su organización. Explica que existen párrafos expositivos, descriptivos, narrativos y argumentativos. Además, describe formas de organizar un párrafo como secuencia, enumeración, desarrollo de concepto, comparación-contraste y causa-efecto. Finalmente, incluye ejercicios para identificar el tipo de párrafo y su organización.
Este documento define la lógica y la lógica proposicional. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido. También describe las proposiciones, proposiciones simples y compuestas, y los conectivos lógicos como la conjunción, disyunción e implicación que conectan proposiciones. Finalmente, provee ejemplos para ilustrar estos conceptos lógicos.
Recurso didáctico estrategias de aprenizaje-julio pimienta prietoModesto Ramos Sánchez
Este documento presenta estrategias de aprendizaje constructivistas. Brevemente describe el resumen como la identificación de las ideas principales de un texto. Luego, ofrece ejemplos de resúmenes de textos sobre nubes y una mujer excepcional en 3 oraciones o menos en cada caso.
Este documento resume las bases fenomenológicas del paradigma cualitativo. Explica que la fenomenología busca comprender los fenómenos tal como son experimentados, sin prejuicios. Señala que el paradigma cualitativo es interpretativo, constructivista y naturalista, y que utiliza métodos como la observación participante y los estudios de casos. Finalmente, destaca que la fenomenología describe la estructura de la experiencia vivida según Edmund Husserl y Martin Heidegger para proveer bases conceptuales a la investigación cualitativa.
El documento explica los conceptos de relación y función matemática. Una relación es una correspondencia entre dos conjuntos donde cada elemento del primer conjunto se corresponde con cero, uno o más elementos del segundo conjunto. Una función es una relación especial donde cada elemento del primer conjunto solo se corresponde con un único elemento del segundo conjunto. El documento proporciona ejemplos y propiedades de relaciones y funciones como ser inyectiva, sobreyectiva o biyectiva.
La función constante tiene una única componente Y que es igual a un valor constante C. Su gráfica es una línea horizontal paralela al eje X. La función lineal tiene la forma Y = aX + b, donde a y b son números reales y a no es igual a cero. Su dominio y rango son el conjunto de todos los números reales. La función identidad tiene la forma Y = X, donde los valores de entrada X son iguales a los valores de salida Y.
Este documento presenta los contenidos de la asignatura de Matemáticas 1 para el semestre 2014-II. Los contenidos incluyen la aplicación de límites y el concepto de continuidad de funciones. Se proveen ejemplos para ilustrar cómo calcular límites y analizar la continuidad de funciones en diferentes puntos. El documento concluye explicando cómo determinar si una función es continua a partir de analizar su gráfica.
El positivismo y neopositivismo sostienen que el único conocimiento válido proviene de la percepción y la experiencia. Enfatizan el rigor científico, la cuantificación y la unidad del método científico. La hermenéutica se opone a esta visión, afirmando que todo conocimiento es interpretación y que los enfoques cualitativos son también válidos para las ciencias sociales.
1) El documento introduce el concepto de proposiciones lógicas matemáticas y explica que son elementos fundamentales del razonamiento lógico. 2) Explica que existen dos tipos de proposiciones: proposiciones simples o atómicas que constan de un sujeto y un predicado, y proposiciones moleculares que están compuestas por dos o más proposiciones simples. 3) Presenta los conectivos lógicos como herramientas para unir proposiciones, y muestra tablas de verdad para evaluar las proposic
Este documento presenta información sobre tres teorías didácticas de la matemática: la teoría antropológica de lo didáctico de Yves Chevallard, la teoría de ingeniería didáctica de Michèle Artigue y la teoría de representaciones semióticas de Raymond Duval. Describe los principales aportes de cada teórico y aspectos clave de sus teorías, como la noción de transposición didáctica en Chevallard, las fases de la metodología de ingeniería didáctica en Artigue y
El documento describe los conceptos básicos de la lingüística estructural de Saussure. Explica que el signo lingüístico está compuesto de un significante (imagen acústica) y un significado (concepto), y que estos planos son arbitrarios. También describe las características de la monosemia y arbitrariedad de los signos, y las unidades mínimas de significado como monemas, lexemas, morfemas, prefijos y sufijos.
Este documento describe las funciones proposicionales y los cuantificadores. Una función proposicional es un enunciado abierto con una variable que se convierte en una proposición al especificar el valor de la variable. Los cuantificadores son expresiones como "para todo" o "algunos" que se anteponen a funciones proposicionales para convertirlas en proposiciones universales o existenciales. Existen dos tipos de cuantificadores: el universal, que es verdadero si todos los valores de la variable son verdaderos, y el existencial, que es
Este documento presenta una introducción a la lógica simbólica moderna. Explica que la lógica moderna surgió como una reacción contra la lógica aristotélica tradicional, impulsada por pensadores como Francis Bacon y René Descartes. La lógica simbólica utiliza un lenguaje formal de símbolos para representar estructuras lógicas de manera precisa y simplificada. Esto permite analizar el razonamiento de una manera más clara, objetiva y ordenada similar a las matemáticas. Final
Los textos académicos comparten una estructura común que incluye una introducción con la fundamentación, áreas de investigación, problema y objetivos, un desarrollo del análisis e interpretación, y un cierre con conclusiones. También incluyen elementos preliminares como la portada e índice, y secciones finales como la bibliografía y posibles anexos. Dentro de esta estructura se comunica un saber científico a través de la exposición, explicación y argumentación.
La epistemología trata los problemas filosóficos relacionados con la teoría del conocimiento, como definir el saber y los tipos de conocimiento posible. Se ocupa de aclarar las condiciones del conocimiento humano y sus límites. Sus objetivos incluyen dilucidar conceptos filosóficos, ayudar a resolver problemas científico-filosóficos, y participar en discusiones sobre la naturaleza y valor de la ciencia. Se divide en ramas como la lógica, semántica y ontología de la ciencia.
Este documento explica el método de reducción al absurdo para determinar la validez o invalidez de un razonamiento. Primero se asume que el razonamiento es inválido, luego se deducen las implicaciones lógicas de esta hipótesis hasta llegar a una contradicción, lo que demuestra que el razonamiento es válido. El documento ilustra este método aplicándolo a un ejemplo concreto.
La semántica estudia el significado de las palabras y expresiones. Se compone de unidades más pequeñas llamadas semas o rasgos semánticos. La semántica se estudia desde perspectivas filosófica, lingüística y general. En lingüística, analiza los elementos del significado y cómo se relacionan dentro del sistema lingüístico.
1. El documento discute el pensamiento proposicional y las proposiciones como instrumentos del conocimiento.
2. Se describen dos tipos de proposiciones - aristotélicas y modales - y sus características.
3. También se explican las operaciones intelectuales como proposicionalización y codificación que transforman los hechos en proposiciones y texto respectivamente.
Este documento presenta información sobre la elaboración de instrumentos de investigación. Explica las diferentes fuentes de información, técnicas de recolección de datos e instrumentos asociados con cada técnica. Se definen conceptos como observación, encuesta y entrevista, y se describen los diferentes tipos de instrumentos utilizados para cada una, como guías de observación, cuestionarios y guiones de entrevista. El objetivo es brindar herramientas prácticas para la recolección de datos en el proceso de investigación de manera científica.
El documento describe el desarrollo de la lógica matemática. Señala que la lógica se alió con el álgebra y se separó de la filosofía, dando lugar a una estrecha relación entre la lógica y las matemáticas. Giuseppe Peano denominó a esta disciplina "Lógica Matemática", la cual estudia métodos de análisis y razonamiento usando el lenguaje de las matemáticas.
Este documento proporciona una introducción a la comprensión lectora. Explica que leer significa interactuar con un texto para comprenderlo e interpretarlo. Describe las diferentes formas de leer, como la prelectura, lectura global y lectura profunda. También cubre los diferentes niveles de comprensión lectora como literal, inferencial, analógico y crítico/valorativo. Finalmente, presenta algunas estrategias para desarrollar la comprensión lectora.
Relaciones sintagmáticas y paradigmáticasDavid Capilla
Este documento explica las relaciones sintagmáticas y paradigmáticas en lingüística. Las relaciones sintagmáticas son las que se dan entre signos dentro de una misma oración, mientras que las relaciones paradigmáticas son entre signos de la misma categoría que pueden ocupar la misma posición. También se describen la variación libre, que permite referirse al mismo referente de manera distinta sin cambiar el significado, y la distribución complementaria, que crea pares mínimos al seleccionar un sonido u otro.
Este documento resume los conceptos básicos de la lógica. Explica que la lógica estudia los principios y razonamientos válidos. Luego describe cuatro tipos de lógica (formal, informal, matemática y simbólica), los criterios para considerar un sistema lógico, y los conectivos lógicos como la negación, conjunción, disyunción e implicación. Finalmente, incluye ejemplos y ejercicios para comprender estos conceptos.
Este documento presenta los conceptos fundamentales de la lógica de primer orden, incluyendo (1) los símbolos utilizados como constantes, predicados y funciones, (2) las variables, conectivas lógicas y cuantificadores, y (3) la semántica de estos símbolos. También introduce los conceptos de proposiciones, argumentos deductivos, y lenguajes formales de primer orden.
El documento explica los conceptos de relación y función matemática. Una relación es una correspondencia entre dos conjuntos donde cada elemento del primer conjunto se corresponde con cero, uno o más elementos del segundo conjunto. Una función es una relación especial donde cada elemento del primer conjunto solo se corresponde con un único elemento del segundo conjunto. El documento proporciona ejemplos y propiedades de relaciones y funciones como ser inyectiva, sobreyectiva o biyectiva.
La función constante tiene una única componente Y que es igual a un valor constante C. Su gráfica es una línea horizontal paralela al eje X. La función lineal tiene la forma Y = aX + b, donde a y b son números reales y a no es igual a cero. Su dominio y rango son el conjunto de todos los números reales. La función identidad tiene la forma Y = X, donde los valores de entrada X son iguales a los valores de salida Y.
Este documento presenta los contenidos de la asignatura de Matemáticas 1 para el semestre 2014-II. Los contenidos incluyen la aplicación de límites y el concepto de continuidad de funciones. Se proveen ejemplos para ilustrar cómo calcular límites y analizar la continuidad de funciones en diferentes puntos. El documento concluye explicando cómo determinar si una función es continua a partir de analizar su gráfica.
El positivismo y neopositivismo sostienen que el único conocimiento válido proviene de la percepción y la experiencia. Enfatizan el rigor científico, la cuantificación y la unidad del método científico. La hermenéutica se opone a esta visión, afirmando que todo conocimiento es interpretación y que los enfoques cualitativos son también válidos para las ciencias sociales.
1) El documento introduce el concepto de proposiciones lógicas matemáticas y explica que son elementos fundamentales del razonamiento lógico. 2) Explica que existen dos tipos de proposiciones: proposiciones simples o atómicas que constan de un sujeto y un predicado, y proposiciones moleculares que están compuestas por dos o más proposiciones simples. 3) Presenta los conectivos lógicos como herramientas para unir proposiciones, y muestra tablas de verdad para evaluar las proposic
Este documento presenta información sobre tres teorías didácticas de la matemática: la teoría antropológica de lo didáctico de Yves Chevallard, la teoría de ingeniería didáctica de Michèle Artigue y la teoría de representaciones semióticas de Raymond Duval. Describe los principales aportes de cada teórico y aspectos clave de sus teorías, como la noción de transposición didáctica en Chevallard, las fases de la metodología de ingeniería didáctica en Artigue y
El documento describe los conceptos básicos de la lingüística estructural de Saussure. Explica que el signo lingüístico está compuesto de un significante (imagen acústica) y un significado (concepto), y que estos planos son arbitrarios. También describe las características de la monosemia y arbitrariedad de los signos, y las unidades mínimas de significado como monemas, lexemas, morfemas, prefijos y sufijos.
Este documento describe las funciones proposicionales y los cuantificadores. Una función proposicional es un enunciado abierto con una variable que se convierte en una proposición al especificar el valor de la variable. Los cuantificadores son expresiones como "para todo" o "algunos" que se anteponen a funciones proposicionales para convertirlas en proposiciones universales o existenciales. Existen dos tipos de cuantificadores: el universal, que es verdadero si todos los valores de la variable son verdaderos, y el existencial, que es
Este documento presenta una introducción a la lógica simbólica moderna. Explica que la lógica moderna surgió como una reacción contra la lógica aristotélica tradicional, impulsada por pensadores como Francis Bacon y René Descartes. La lógica simbólica utiliza un lenguaje formal de símbolos para representar estructuras lógicas de manera precisa y simplificada. Esto permite analizar el razonamiento de una manera más clara, objetiva y ordenada similar a las matemáticas. Final
Los textos académicos comparten una estructura común que incluye una introducción con la fundamentación, áreas de investigación, problema y objetivos, un desarrollo del análisis e interpretación, y un cierre con conclusiones. También incluyen elementos preliminares como la portada e índice, y secciones finales como la bibliografía y posibles anexos. Dentro de esta estructura se comunica un saber científico a través de la exposición, explicación y argumentación.
La epistemología trata los problemas filosóficos relacionados con la teoría del conocimiento, como definir el saber y los tipos de conocimiento posible. Se ocupa de aclarar las condiciones del conocimiento humano y sus límites. Sus objetivos incluyen dilucidar conceptos filosóficos, ayudar a resolver problemas científico-filosóficos, y participar en discusiones sobre la naturaleza y valor de la ciencia. Se divide en ramas como la lógica, semántica y ontología de la ciencia.
Este documento explica el método de reducción al absurdo para determinar la validez o invalidez de un razonamiento. Primero se asume que el razonamiento es inválido, luego se deducen las implicaciones lógicas de esta hipótesis hasta llegar a una contradicción, lo que demuestra que el razonamiento es válido. El documento ilustra este método aplicándolo a un ejemplo concreto.
La semántica estudia el significado de las palabras y expresiones. Se compone de unidades más pequeñas llamadas semas o rasgos semánticos. La semántica se estudia desde perspectivas filosófica, lingüística y general. En lingüística, analiza los elementos del significado y cómo se relacionan dentro del sistema lingüístico.
1. El documento discute el pensamiento proposicional y las proposiciones como instrumentos del conocimiento.
2. Se describen dos tipos de proposiciones - aristotélicas y modales - y sus características.
3. También se explican las operaciones intelectuales como proposicionalización y codificación que transforman los hechos en proposiciones y texto respectivamente.
Este documento presenta información sobre la elaboración de instrumentos de investigación. Explica las diferentes fuentes de información, técnicas de recolección de datos e instrumentos asociados con cada técnica. Se definen conceptos como observación, encuesta y entrevista, y se describen los diferentes tipos de instrumentos utilizados para cada una, como guías de observación, cuestionarios y guiones de entrevista. El objetivo es brindar herramientas prácticas para la recolección de datos en el proceso de investigación de manera científica.
El documento describe el desarrollo de la lógica matemática. Señala que la lógica se alió con el álgebra y se separó de la filosofía, dando lugar a una estrecha relación entre la lógica y las matemáticas. Giuseppe Peano denominó a esta disciplina "Lógica Matemática", la cual estudia métodos de análisis y razonamiento usando el lenguaje de las matemáticas.
Este documento proporciona una introducción a la comprensión lectora. Explica que leer significa interactuar con un texto para comprenderlo e interpretarlo. Describe las diferentes formas de leer, como la prelectura, lectura global y lectura profunda. También cubre los diferentes niveles de comprensión lectora como literal, inferencial, analógico y crítico/valorativo. Finalmente, presenta algunas estrategias para desarrollar la comprensión lectora.
Relaciones sintagmáticas y paradigmáticasDavid Capilla
Este documento explica las relaciones sintagmáticas y paradigmáticas en lingüística. Las relaciones sintagmáticas son las que se dan entre signos dentro de una misma oración, mientras que las relaciones paradigmáticas son entre signos de la misma categoría que pueden ocupar la misma posición. También se describen la variación libre, que permite referirse al mismo referente de manera distinta sin cambiar el significado, y la distribución complementaria, que crea pares mínimos al seleccionar un sonido u otro.
Este documento resume los conceptos básicos de la lógica. Explica que la lógica estudia los principios y razonamientos válidos. Luego describe cuatro tipos de lógica (formal, informal, matemática y simbólica), los criterios para considerar un sistema lógico, y los conectivos lógicos como la negación, conjunción, disyunción e implicación. Finalmente, incluye ejemplos y ejercicios para comprender estos conceptos.
Este documento presenta los conceptos fundamentales de la lógica de primer orden, incluyendo (1) los símbolos utilizados como constantes, predicados y funciones, (2) las variables, conectivas lógicas y cuantificadores, y (3) la semántica de estos símbolos. También introduce los conceptos de proposiciones, argumentos deductivos, y lenguajes formales de primer orden.
querido profesor hay esta el trabajo
me paresio muy interesante el trabajo
me llamo mucho la atención ya me profundice mucho en el tema.
muchas gracias por su atención.
Este documento presenta los conceptos básicos de la lógica proposicional. Explica la sintaxis y semántica de la lógica proposicional, incluyendo tablas de verdad, validez, modelos e inferencia. También cubre ejemplos, aplicaciones y reglas de inferencia de la lógica proposicional.
Este documento introduce el tema de la lógica matemática. Explica que la lógica estudia los métodos de razonamiento y provee reglas para determinar la validez de argumentos. También se usa el razonamiento lógico en matemáticas, ciencias de la computación, ciencias físicas y sociales. Además, define las proposiciones como unidades semánticas que son verdaderas o falsas, y clasifica proposiciones en simples y compuestas.
El documento define la lógica y describe algunos de sus aspectos fundamentales. La lógica estudia las formas y leyes del pensamiento humano, como los silogismos y la lógica proposicional. La lógica también tiene aplicaciones en ciencia de la computación, como en la programación y procesamiento del lenguaje natural. El curso cubrirá temas como lógica proposicional, lógica de primer orden y otras lógicas.
El documento presenta diferentes tipos de análisis, incluyendo análisis descomposicional, regresivo e interpretativo. Explica que el análisis interpretativo consiste en traducir un problema a otro lenguaje donde es más fácil de resolver, como traducir problemas geométricos al lenguaje del álgebra. Indica que la formalización puede verse como un análisis interpretativo que traduce argumentos del lenguaje natural a uno formal para analizarlos de manera más precisa.
El documento proporciona una introducción a la lógica proposicional. Explica que la lógica simbólica sólo se interesa por los enunciados, que son oraciones que pueden ser verdaderas o falsas. Describe los argumentos lógicos y su forma, así como la lógica formal como ciencia abstracta que analiza la validez de los argumentos independientemente de su contenido. Finalmente, introduce los conceptos básicos del lenguaje formal de la lógica proposicional, incluyendo símbolos, reglas de form
Este documento describe la lógica de predicados de primer orden. Explica que estudia frases declarativas con mayor detalle, considerando la estructura interna de las proposiciones. Define conceptos como sujetos, predicados, constantes, variables, cuantificadores universales y existenciales. Finalmente, destaca la importancia del cálculo de predicados en lógica matemática y ciencias de la computación.
Este documento presenta una introducción a la lógica proposicional. Explica que las proposiciones son enunciados declarativos que pueden ser verdaderos o falsos, pero no ambos a la vez. Describe cómo las proposiciones atómicas se pueden representar con letras y cómo los conectivos lógicos permiten combinar proposiciones para formar proposiciones moleculares. El documento provee ejemplos de diferentes tipos de proposiciones y conectivos lógicos.
El documento presenta una introducción a la lógica formal, incluyendo sus elementos básicos como proposiciones, conectores lógicos y tablas de verdad. Explica que la lógica se basa en un lenguaje simbólico para formalizar el razonamiento y permite derivar nuevas inferencias a partir de conceptos iniciales siguiendo reglas definidas.
1) El documento describe diferentes conceptos lógicos como proposiciones, negación, conjunción, disyunción y condicional. 2) Explica qué son proposiciones y proposiciones compuestas, y cómo se representan y evalúan usando tablas de verdad. 3) También presenta ejemplos de cómo expresar estas relaciones lógicas en lenguaje natural.
Este documento presenta herramientas lógicas para evaluar la validez de los argumentos filosóficos. Explica conceptos como proposiciones, conectores lógicos, tablas de verdad y reglas de inferencia. El objetivo es que los estudiantes adquieran estas herramientas para construir y evaluar argumentos que respondan preguntas filosóficas.
El documento trata sobre la lógica proposicional y la lógica de predicados. La lógica proposicional estudia las variables proposicionales, sus posibles implicaciones y evaluaciones de verdad sin considerar la estructura interna de las proposiciones. La lógica de predicados estudia las frases declarativas considerando la estructura interna de las proposiciones y tomando como elementos básicos los objetos y las relaciones entre ellos. Ambos sistemas formales son usados en aplicaciones de lógica matemática como la aritm
El documento trata sobre la lógica proposicional y la lógica de predicados. Explica que la lógica proposicional estudia las variables proposicionales, sus implicaciones y evaluaciones de verdad sin considerar la estructura interna de las proposiciones. La lógica de predicados analiza las frases declarativas considerando la estructura interna de las proposiciones y los objetos y relaciones entre ellos. También presenta los elementos y reglas sintácticas de ambos sistemas formales.
Este documento introduce la lógica de predicados como un sistema formal para estudiar la inferencia en lenguajes de primer orden. Explica conceptos como predicados, cuantificadores universales y existenciales, variables libres y ligadas, e interpretación semántica de expresiones mediante asignación de valores de verdad a predicados y términos del universo del discurso.
El documento explica los conceptos de equivalencia lógica y bicondicional. La equivalencia lógica existe cuando las tablas de verdad de dos proposiciones son iguales, mientras que la bicondicional es una proposición compuesta por la conjunción de una implicación en un sentido y otra en el sentido opuesto. También señala que la equivalencia lógica no puede expresarse como una proposición, a diferencia de la bicondicional.
1. LOGICA CLASICA DE PRIMER ORDEN
José Alfredo Amor
jaam@hp.fciencias.unam.mx
Resumen
• La lógica clásica de primer orden con igualdad es la rama más estudiada, aplicada y conocida
de la lógica contemporánea. Desde luego, presuponemos que la lógica proposicional o lógica
de enunciados, forma parte de la lógica de primer orden. La razón de esto es su riqueza
expresiva, su versatilidad y aplicabilidad, sus teoremas fundamentales, así como su uso de
modo importante en matemáticas, filosofía de la ciencia, ciencias de la computación y el
razonamiento automático. Esto último ha tenido un desarrollo espectacular en la segunda mitad
del siglo pasado. Por otro lado, la lógica clásica ha sido el punto obligado de referencia y
comparación para la gran cantidad de lógicas no clásicas que se han desarrollado en ese siglo.
• El razonamiento deductivo clásico es el proceso de obtener conclusiones a partir de
suposiciones o hechos; esas conclusiones se conocen como consecuencias lógicas de las
suposiciones o hechos. El razonamiento deductivo correcto es el razonamiento deductivo en el
que las conclusiones se siguen necesaria e inevitablemente de las suposiciones o hechos.
Podemos pensar a la lógica clásica como el estudio del razonamiento deductivo correcto.
• El objetivo fundamental de la lógica en general es explicar la noción de consecuencia lógica
la cual es una relación que se da entre un conjunto de enunciados (llamados premisas) y un
enunciado particular (llamado conclusión). Dicho concepto de consecuencia lógica, en el caso
de la lógica clásica de primer orden con igualdad, representa con rigor matemático la idea
intuitiva de inferencia válida o inferencia correcta. Para lograr este objetivo, la lógica clásica de
primer orden con igualdad utiliza, al igual que muchas otras lógicas, un lenguaje formal propio,
definido de un modo riguroso al estilo matemático, basado en formas y no en significados. Los
lenguajes formales son muy diferentes a los lenguajes naturales, por ejemplo sus símbolos
forman oraciones de un modo absolutamente preciso, lo que evita ambigüedades como las de
los lenguajes naturales y su interpretación está definida también de un modo riguroso por lo
que los conceptos de verdadero o falso quedan definidos también de modo preciso.
2. Lógica de
Predicados
o Lógica de Primer Orden
o Lógica Cuantificacional
José Alfredo Amor
Facultad de Ciencias UNAM
jaam@hp.fciencias.unam.mx
Abril de 2005
3. En el lenguaje coloquial se llama
“lógico” a lo que es considerado
de sentido común
¿Este sentido común que aplicamos en
situaciones reales debe dirigir la
construcción del razonamiento
lógico?
o por el contrario, ¿Son las normas de
la lógica las que deben regir nuestra
manera natural de razonar?
4. Es decir:
¿La manera natural de razonar
determina a la lógica, o la
lógica nos enseña a razonar
correctamente?
¿Qué es lo lógico y lo no lógico?
7. LA LÓGICA
• Podemos pensar a la lógica clásica
como el estudio del razonamiento
deductivo correcto.
• El razonamiento deductivo correcto
es el proceso de obtener
conclusiones a partir de suposiciones
o hechos, en el que las conclusiones
se siguen necesariamente de las
suposiciones o hechos.
8. • Esto es sumamente importante
en matemáticas, ya que las
pruebas en matemáticas son
sucesiones de argumentos, y
estos deben ser argumentos
correctos. Resulta pues obvia la
importancia de saber si un
argumento dado es correcto o no.
9. DIPLOMADO EN LOGICA
Módulo: Lógica de Predicados
I. LA LOGICA DE PREDICADOS
(o cuantificacional o de primer orden)
• II. SEMÁNTICA DE LA LÓGICA DE
PRIMER ORDEN
• III. SINTAXIS DE LA LÓGICA DE
PRIMER ORDEN
• IV. LOGICA DE PRIMER ORDEN
ENFOQUE COMPUTACIONAL
10. I. LA LOGICA DE PREDICADOS
(O CUANTIFICACIONAL O DE PRIMER ORDEN)
1.Lenguajes naturales y lenguaje
analítico.
2.Traducciones del lenguaje natural al
lenguaje analítico, e inversamente.
3.Relación entre la lógica proposicional
y la lógica cuantificacional.
4.Reglas de formación de fórmulas.
Variables, enunciados. La igualdad.
11. II. LA SEMÁNTICA DE LA
LÓGICA DE PRIMER ORDEN
1. Prerrequisitos de teoría de conjuntos.
2. Interpretaciones: verdad o falsedad de
enunciados respecto a una interpretación.
3. Definición de verdad de Tarski. Fórmulas
lógicamente válidas.
4. Argumentos deductivos válidos e
inválidos.
5. La igualdad. Fórmulas y argumentos que
incluyen igualdades.
12. III. LA SINTAXIS DE LA LÓGICA
DE PRIMER ORDEN
• 1. Deducción natural. Solo reglas.
Correctud y Completud.
• 2. Sistemas axiomáticos: axiomas, reglas
de inferencia y definición de deducción.
Metateorema de la Deducción. Correctud
y Completud.
• 3.Otros conceptos relacionados: teorías,
consistencia, satisfacibilidad, completud,
axiomatizabilidad, decidibilidad, etc.
13. IV. LOGICA DE PRIMER ORDEN
ENFOQUE COMPUTACIONAL
• 1. Regla de RESOLUCION.
Correctud y Completud
• 2. Demostración Automática de
Teoremas
• 3. Programación Lógica
14. Enunciados simples
• Paris es la Capital de Francia
• 2 + 2 = 1
• El Sol es una estrella
• Vincente Fox es el presidente de
México en el año 2005
• La UNAM tiene más de 250 mil
estudiantes
15. Enunciados simples
• Paris es la Capital de Francia C(p,f)
• 2 + 2 = 1 =(2+2, 1)
• El Sol es una estrella E(s)
• Vincente Fox es el presidente de
México en el año 2005 PM(f,2005)
• La UNAM tiene más de 250 mil
estudiantes est(u)>250 mil
16. Enunciados complejos
• Tegucigalpa es la capital de algún país
y alguna ciudad es la capital de Costa
Rica
• Caracas es la capital de Venezuela y
San José es la capital de Costa Rica
• Si 2+2 = 4 y 4 es par, entonces 2+2
es par
• No existe alguien que rasure a todos
los que no se rasuran a si mismos y
sólo a esos
17. CUANTIFICADORES Y VARIABLES
• El uso de cuantificadores y
variables no es común en el
lenguaje coloquial.
• Pero cuando se comprende su
poder expresivo y riguroso se ha
dado el primer paso para saber
expresarse con él.
18. Lenguaje formal LP: símbolos
básicos
• Parámetros de predicado: letras
mayúsculas del alfabeto P, Q, R, ….
• Parámetros de constante: letras
minúsculas a, b, c, ….
• Variables individuales: x, y, z, w, ….
• Símbolos lógicos: ¬, ∧, →, ∨, ↔, =
• Símbolos de cuantificación: ∀, ∃
• Símbolos auxiliares: ), (
19. Reglas de construcción de
fórmulas de LP
*Todo parámetro de predicado aplicado a
constantes o variables y toda igualdad
de constantes o variables, es una
fórmula (atómica) de LP
*Si ϕ y γ son fórmulas de LP, entonces
(¬ϕ), (ϕ ∧ γ), (ϕ ∨ γ), (ϕ → γ) y (ϕ ↔ γ)
son fórmulas de LP
*Si ϕ es una fórmula de LP y x es una
variable entonces (∃xϕ) y (∀xϕ), son
fórmulas de LP
20. Formalizar el Lenguaje Coloquial
• No se pretende formalizar todo el
lenguaje coloquial sino el de contenido
preciso estilo matemático:
“Todo S es P" y “Algún S es P”
∀∀x[S(x) → P(x)] y ∃x [S(x) ∧
P(x)]
S(x) simboliza “x es S” y P(x) “x es P”
Estas expresiones son nuevas para el
alumno por eso hay dificultad para
representarlas
21. Proposiciones Categóricas en LP
UNIVERSAL UNIVERSAL
AFIRMATIVA NEGATIVA
• A: Todo S es P E: Ningún S es P
∀∀x [S(x) → P(x)] ∀x [S(x) → ¬P(x)]
¬ ∃x [S(x) ∧ P(x)]
PARTICULAR PARTICULAR
AFIRMATIVA NEGATIVA
• I: Algún S es P O: Algún S no es P
∀∃x [S(x) ∧ P(x)] ∃x [S(x) ∧
22. EXPRESIVIDAD DEL LENGUAJE LP
(PERROS Y CARTEROS)
1. Todos los perros muerden a algún cartero
• ∀x[P(x) → ∃y(C(y) ∧ M(x, y))]
2.Hay un cartero al que muerden todos los perros
• ∃x[C(x) ∧ ∀y(P(y) → M(y, x)]
3.Todos los carteros son mordidos poralgún perro
• ∀x[C(x) → ∃y (P(y) / M(y, x)]
4. Hay un perro que muerde a todos los carteros
• ∃x [P(x) / ∀y(C(y) → M(x, y)]
23. Y SE PUEDE COMPLICAR!
Todos los perros que asustan a algún
cartero, lo muerden:
∀x∀y [P(x) / C(y) / A(x, y) → M(x, y)]
o bien:
∀x[P(x) → ∀y(C(y) / A(x, y)→M(x,
y))]
Hay un perro que muerde a todos los
perros que muerden a algún cartero:
∀∃x[P(x) / ∀y(P(y) / ∃z(C(z) / M(y,z))
24. Ejemplos Fórmulas de LP
• Todos son amigos de alguien:
∀x∃y A(x, y)
• Todos son amigos de todos:
∀x∀y A(x, y)
• Juan vió a María con el telescopio:
VT(j, m) ? V(j, m) ∧ T(m) ?
• Alguien es amigo de todos:
∃x ∀y A (x, y)
25. Ejemplos de Fórmulas de LP
∀∃x [P(x, c) → ∀y P(y, c)]
∀x[(P(x)→Q(x)) ↔ (¬Q(x)→ ¬P(x))]
∀∃x [P(x) ∧ ∀y (P(y) → x = y)]
• [∃x P(x)]∧∀x∀y[P(x)∧P(y)→x = y]
26. CRITERIOS DE VERDAD
• Objetivos: conocer los criterios de
verdad de los conectivos, los
cuantificadores y la igualdad.
• Saber analizar a partir de ellos, la
verdad o falsedad de cualquier
enunciado interpretado.
Especialmente el caso del
condicional.
27. Negación
• "no P" denotada (¬P), es
verdadera respecto a la
interpretación dada, si P es falsa
respecto a esa interpretación.
28. Disyunción
• "P o Q" denotada (P ∨ Q), es
verdadera respecto a la
interpretación dada, si P es
verdadera respecto a esa
interpretación o Q es verdadera
respecto a esa interpretación.
• Queda incluida aquí la posibilidad
de que ambas, P y Q, sean
verdaderas respecto a esa
interpretación.
29. Conjunción
• "P y Q" denotada (P ∧ Q), es
verdadera respecto a la
interpretación dada, si P es
verdadera respecto a esa
interpretación, y Q es verdadera
respecto a esa interpretación.
30. Condicional
A)“Si P entonces Q” denotada (P→Q)
es falsa respecto a la interpretación
dada, si P es verdadera y Q es falsa,
respecto a esa interpretación.
B) “Si P entonces Q” denotada (P→Q)
es verdadera respecto a la
interpretación dada, si no es falsa
respecto a esa interpretación.
Es decir si no sucede que P es
verdadera y Q es falsa.
31. Bicondicional
• "P si y sólo si Q" denotada
(P↔Q), es verdadera respecto a
la interpretación dada, si ambas
P y Q son verdaderas, o bien
ambas P y Q son falsas,
respecto a tal interpretación.
32. Cuantificación Existencial
• [∃x Q(x)] es verdadera respecto
a la interpretación dada, si hay
al menos un individuo en el
universo de esa
interpretación, tal que Q es
verdadera respecto a ese
individuo y respecto a esa
interpretación.
33. Cuantificación Universal
• [∀x Q(x)] es verdadera respecto
a la interpretación dada, si para
todos los individuos en el
universo de esa
interpretación, Q es verdadera
respecto a cada uno de ellos ahí
respecto a esa interpretación.
34. Verdades Lógicas de LP:
TODA FÓRMULA QUE RESULTA
VERDADERA, BAJO CUALQUIER
INTERPRETACION PARA LOS
PREDICADOS Y LAS
CONSTANTES DE LA FÓRMULA,
Y CUALQUIER ASIGNACIÓN DE
INDIVIDUOS A LAS VARIABLES
35. ∀x A ∀x A → ∀x A
V V
F V
Ejemplo de Tautología en Lenguaje LP
36. Ejemplos donde la validez lógica de primer
orden coincide con la proposicional
• P(c) ∨ ¬ P(c) forma A ∨ ¬ A
“c cumple la propiedad P o no la cumple”
[P(c) → Q(c)] ↔ [¬Q(c) → ¬P(c)]
forma [A →B] ↔ [¬B→ ¬A]
[P(c) →Q(c)] ↔ ¬ [P(c) ∧ ¬ Q(c)]
forma [A →B] ↔ ¬ [A ∧ ¬B]
37. Ejemplos donde la validez lógica de LP
NO coincide con la proposicional o LE
[∃x ∀y P(x,y)] → [∀y ∃x P(x,y)] (A→B)
“Si hay alguien en la relación P con todos
entonces para todos hay alguien en la
relación P con ellos”
P(c) → ∃x P(x) (A → B)
“Si c cumple la propiedad P entonces
hay alguien que cumple la propiedad P”
38. Un último ejemplo
∀¬∃x∀y [ R(x,y) ↔ ¬R(y,y) ]
• “No hay en el universo de
interpretación un individuo tal que
esté en la relación R con todos los
individuos (de ahí) que no están en
la relación R consigo mismos, y sólo
con esos”
39. ¿Sabemos negar?
1. La negación lógica del enunciado
“Si te portas bien entonces te llevo al cine” es:
a)Si no te portas bien entonces no te llevo al cine
b)Si te portas bien entonces no te llevo al cine
c) Te portas bien y no te llevo al cine
2. Sean A, B conjuntos y sea w un objeto tal
que w ∉ A∩B, entonces:
a) w∉A y w∉B b) w∉A o w∉B
3.La negación lógica de “ser blanco” es:
a) ser negro b) no ser blanco
c) ser de color distinto al blanco
40. ¿Sabemos negar?
4. La negación lógica de “3 < x” es:
a) 3 > x b) 3 ≥ x c) 3 ≮ x
5. La negación lógica de
“Todos los perros ladran” es:
a) Hay perros que no ladran
b) Ningún perro ladra
c) Todos los perros no ladran
41. Respuestas Correctas: c,b,b,c,a.
• 1. La negación lógica del enunciado
“Si te portas bien entonces te llevo al
cine” es:
c) Te portas bien y no te llevo al cine.
• 2. Sean A, B conjuntos y sea w un objeto tal que
w∉A∩B, entonces:
b) w∉A o w∉B
• 3. La negación lógica de “ser blanco” es:
b)no ser blanco.
• 4. La negación lógica de “3 < x” es:
c) 3 ≮ x
• 5. La negación lógica de “Todos los perros
ladran” es:
a)Hay perros que no ladran.
42. Leyes de la Negación
• Si P y Q son proposiciones
cualesquiera las siguientes son
ejemplos de equivalencias lógicas:
• ¬ ¬ P ≡ P
• ¬(P ∧ Q) ≡ (¬P ∨ ¬Q)
• ¬(P ∨ Q) ≡ (¬P ∧ ¬Q)
• ¬(P → Q) ≡ (P ∧¬Q)
• ¬(P ↔ Q) ≡ (P ∧ ¬Q)∨ (Q ∧¬P)
• ¬∀x P ≡ ∃x ¬P
•
47. Ejemplo de Razonamiento en LP
P(a) → Q(c)
¬ Q(c)
__________________________________
∴ ¬ P(a)
48. P(a) Q(c) P(a)
→ Q(c)
¬ Q(c) ¬ P(a)
V V V F F
V F F V F
F V V F V
F F V V V
P1 P2 C
Prueba de validez lógica por tablas de
verdad. PREMISAS CONCLUSION
49. Ejemplo de Razonamiento en
LP
∀x [ B(x) → ∀y [ R(x,y) ↔ ¬R(y,y) ]]
____________________________________________________________________________________________________
∴ ¬∃x B(x)
50. Prueba de validez lógica de
razonamientos en lenguaje coloquial:
• Traducir del lenguaje coloquial a LP
• Determinar la validez proposicional
de la traducción por tablas de verdad
• Si es valido proposicionalmente,
entonces es valido en LP
• Si no, entonces aplicar criterios de
verdad de igualdad y cuantificadores
(no hay algoritmo)
51. Diferencias entre lógica proposicional
y lógica cuantificacional
• ¿No importa qué son A, B, C realmente?
¡En primer orden si importa!
A ∀x P(x)
B → C P(a) → Q(a)
________________________________ _____________________________________________
∴ C ∴ Q(a)
NO ES INF. CORRECTA SI ES INF. CORRECTA
PROPOSICIONAL EN PRIMER ORDEN
• A P(c)
B c = b
∴ C ∴ P(b)
• NO ES INF. CORRECTA SÍ ES INF CORRECTA!
52. Todos los borogroves son kismis,Todos los borogroves son kismis,
si alguien tirila.si alguien tirila.
Nito tirila y Pac es un borogrove.Nito tirila y Pac es un borogrove.
__________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
Por lo tanto, Pac es un kismi.Por lo tanto, Pac es un kismi.
Un razonamiento en lenguaje
coloquial
53. Traducción del Razonamiento
• B: predicado ser borogrobe
• K: predicado ser kismi
• T: predicado tirila (del verbo “tirilar”)
• n: constante para el individuo Nito
• p: constante para el individuo Pac
• (∃xT(x)) → ∀x[B(x) →K(x)]
• T(n) ∧ B(p)
∀∴ K(p)
54. Todos los borogroves son kismis,Todos los borogroves son kismis,
si alguien tirilasi alguien tirila
• ∃xT(x) → ∀x[B(x) →K(x)]
Nito tirila y Pac es un borogroveNito tirila y Pac es un borogrove
T(n) ∧ B(p).
∴ B(p).
∴ T(n) ∴ ∃xT(x) ∴ ∀x[B(x) →K(x)]
∴[B(p) →K(p)] ∴ K(p).
Por lo tanto, Pac es un kismi.Por lo tanto, Pac es un kismi.
Un razonamiento en lenguaje coloquial
55. ¿QUE ES UN ARGUMENTO?
• Un argumento es un conjunto
finito ordenado de afirmaciones
de las cuales se dice que la
última (conclusión), se sigue de
las anteriores (premisas).
Un argumento es: lógicamente
correcto o lógicamente incorrecto
56. ¿QUÉ ES UN ARGUMENTO CORRECTO?
Un argumento es lógicamente correcto
si y sólo si sucede que:
sin importar la interpretación,
Si todas las premisas son verdaderas, la
conclusión debe ser necesariamente
verdadera.
Dicho de otra manera, es lógicamente
correcto, si no hay interpretación alguna
para la cual las premisas sean todas
verdaderas y la conclusión sea falsa.
57. • Hay ejemplos de los cuatro tipos
de argumentos:
Correcto con conclusión verdadera
Correcto con conclusión falsa
Incorrecto con conclusión verdadera
Incorrecto con conclusión falsa
• (Aquí verdadera o falsa es respecto
a la interpretación natural)
58. Esto es correcto conEsto es correcto con
conclusión falsa?conclusión falsa?
O incorrecto conO incorrecto con
conclusión verdadera?conclusión verdadera?
59. ALGUNAS PRECISIONES
• Obsérvese que en un argumento
correcto, si las premisas son
todas verdaderas, la conclusión
será necesariamente verdadera.
• Por lo tanto, en un argumento
correcto, si la conclusión es falsa,
entonces al menos una de las
premisas debe ser falsa.
• ¡No importa la interpretación!
60. MEDITACIÓN
• Si un argumento es
incorrecto, lo único que
podemos decir es que hay una
interpretación para la cual las
premisas son verdaderas y la
conclusión es falsa.
• Pero con otras interpretaciones
puede suceder cualquiera otra cosa.
61. EJEMPLOS
Considere el siguiente argumento:
• Juan vendrá, si hay buen día.
• No hay buen día.
• ∴ Juan no vendrá
a) El argumento es lógicamente correcto?
b) El argumento es lógicamente incorrecto?
62. EJEMPLOS
• Juan vendrá, si hay buen día.
• No hay buen día.
• ∴ Juan no vendrá
El argumento es lógicamente incorrecto:
la conclusión no se sigue de las premisas.
Es posible una interpretación donde las
premisas sean verdaderas y la conclusión
falsa.
63. Una última observación
Si en un argumento, la conclusión
es falsa con alguna
interpretación, sólo podemos
concluir que:
o bien el argumento es
incorrecto, o bien alguna de las
premisas es falsa.
64. Ahora bien:
• ¿Cómo podemos demostrar que
un argumento incorrecto es
efectivamente incorrecto?
• La manera de hacerlo es dando
una interpretación conveniente al
lenguaje involucrado, de modo
que resulte que las premisas sean
todas verdaderas y la conclusión
sea falsa.
65. Ejemplos con interpretación natural:
A)ARGUMENTO CORRECTO C)ARGUMENTO INCORRECTO
CON CONCLUSIÓN VERD. CON CONCLUSIÓN VERD.
Todo hombre es mortal. Todo pingüino es ave.
Sócrates es hombre. Mi perro no es
pingüino.
∴ Sócrates es mortal ∴ Mi perro no es ave.
B)ARGUMENTO CORRECTO D) ARGUMETO INCORRECTO
CON CONCLUSIÓN FALSA CON CONCLUSIÓN FALSA
Toda ave es voladora. Todo pez es nadador.
El avestruz es ave. El delfín no es pez(mamíf)
∴El avestruz es volador ∴El delfín noes
nadador
66. Los dos ejemplos de argumentos
incorrectos C) y D) tienen
la misma forma
• El hecho de que la conclusión
pueda ser verdadera (con la
interpretación usual) es una
contingencia.
• Es decir, se debe a la casualidad,
si únicamente consideramos las
premisas dadas.
67. Para demostrar que el argumento C) es
incorrecto, la interpretación natural no sirve.
Pero basta con cambiar “ave” por “animal”
Otra interpretación con igual forma
lógica respecto a la cual las premisas
son verdaderas y la conclusión falsa:
• Todo pingüino es animal.
• Mi perro no es pingüino.
• ∴ Mi perro no es animal.
68. Ejemplos de argumentos, con la interpretación
natural de la aritmética, son los siguientes:
A)ARGUMENTO CORRECTO C)ARGUMENTO INCORRECTO
CON CONCLUSIÓN VERD CON CONCLUSIÓN VERD
Todo múltiplo de 6 Todo número con exactamente
es múltiplo de 3. dos divisores es primo.
12 es múltiplo de 6. 4 no tiene exactamente
n dos divisores(Tiene
tres:1,2,4)
∴12 es múltiplo de 3. ∴ 4 no es primo.
B)ARGUMENTO CORRECTO D)ARGUMETO INCORRECTO
CON CONCLUSIÓN FALSA CON
CONCLUSIÓN FALSA
Todo múltiplo de 4 es par. Todo múltiplo de 6 es par.
5 es múltiplo de 4. 8 no es múltiplo de 6.
∴ 5 es par. ∴8 no es par.
69. Para demostrar que el argumento C) es incorrecto, la
interpretación natural no sirve, pues tanto las
premisas como la conclusión son verdaderas.
Damos otra interpretación con igual forma
lógica respecto a la cual las premisas son
verdaderas y la conclusión falsa:
• Todo polinomio con exactamente
dos raíces es cuadrático.
• X2
-4x+4 no tiene exactamente dos
raíces. (Su única raíz (doble) es 2)
∀∴ X2
- 4x + 4 no es cuadrático.
70. ¿Y cómo demostramos la correctud de
un argumento?
• La manera directa de demostrar que
un argumento es correcto, consiste
en suponer verdaderas todas las
premisas pero sin tomar en cuenta
ninguna interpretación particular. A
partir de eso, usando únicamente los
criterios de verdad, hacer ver que la
conclusión es necesariamente
verdadera.
71. La manera indirecta
• En algunos casos la manera directa
no es posible, por lo que hay que
hacerlo de modo indirecto: por
reducción al absurdo, es decir
suponiendo que hubiera una
interpretación respecto a la cual todas
las premisas fueran verdaderas y la
conclusión fuera falsa. A partir de ahí,
llegar a una contradicción.
72. Escribir el número y su respuesta
1. Considere el siguiente
argumento:
• Todos los borogroves son kismis,
si alguien tirila.
• Nito tirila y Pac es un borogrove.
∀∴ Pac es un kismi.
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
73. Escribir el número y su respuesta
2. Considere el siguiente
argumento:
• Todos le tienen miedo a Drácula.
• Drácula sólo le tiene miedo a
William.
∀∴ William es Drácula.
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
74. Escribir el número y su respuesta
3. Considere el siguiente
argumento:
• Si hoy es jueves entonces
mañana será viernes.
• Mañana será viernes.
∀∴ hoy es jueves.
a) El argumento es lógicamente correcto
b)El argumento es lógicamente incorrecto
75. 4. Considere el siguiente
argumento:
• Juan es hermano de todos los
hermanos de Roberto.
• Juan no es hermano de sí mismo
∴Juan no es hermano de Roberto
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
76. 5. Considere el siguiente
argumento:
• X es un número menor que todos
los números menores que Y.
• X no es menor que X.
∀∴ X no es menor que Y.
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
77. 6. Considere el siguiente
argumento:
• Algunos humanos son
mexicanos.
• Algunos mexicanos fuman.
∀∴ Algunos humanos fuman.
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
78. 7. Considere el siguiente
argumento:
• Hay una lanza que perfora a todos
los escudos.
• Hay un escudo al que no lo
perfora ninguna lanza.
∀∴ Hay una lanza que perfora y
no perfora a un escudo.
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
79. 8. Considere el siguiente argumento:
• 2 divide al numerador de 6/8.
• 6/8 = 3/4.
∀∴ 2 divide al numerador de 3/4
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
80. 9. Considere el siguiente
argumento:
• Romeo ama a Julieta.
• Julieta es una palabra de siete
letras.
∀∴ Romeo ama a una palabra
de siete letras.
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
81. 10. Considere el siguiente
argumento:
• Cualquier barbero de Ensenada,
rasura a todos los hombres de
Ensenada que no se rasuran a sí
mismos y sólo a esos.
∀∴ No hay barberos en
Ensenada.
a) El argumento es lógicamente correcto
b) El argumento es lógicamente incorrecto
83. ENFOQUE AXIOMÁTICO
• Sistematización de
razonamientos válidos y fórmulas
lógicamente válidas de LP
• Mediante un sistema formal
axiomático: axiomas y reglas de
inferencia
• Mediante un sistema formal de
deducción natural: sólo reglas
84. En el caso de LP, se han construido
sistemas formales completos:
• Permiten derivar todas las
fórmulas universalmente válidas
• Permiten derivar todos los
razonamientos válidos en LP
85. Y por otro lado, son correctos
• Toda fórmula derivable en tales
sistemas formales es una verdad
lógica
• Todo razonamiento derivable de
tales sistemas es válido
86. REGLAS DE INFERENCIA
CUANTIFICACIONALES
• La letra φ denota fórmulas, las letras
x, y, z denotan variables.
• La letra t denota términos: variables,
constantes o funciones aplicadas a
términos.
• Es muy importante precisar con rigor
las restricciones. Es común cometer
errores o entender mal estas reglas.
87. 1. IU INSTANCIACIÓN UNIVERSAL
• ∀xφ(x)______________________________________________________________________
φ(t)
φ(t) resulta de sustituir t en los lugares
de las presencias libres de x en φ(x)
Ejemplos: ∀x P(x)______________________________________________________________________
P(c)
∀∀xR(a, x) ∀x∃yR(x, y) ∀x∀yR(x,
y)__________________________________________________________________________________ __________________________________________________________________________________________________ _________________________________________________________________________________________________
88. 1. IU INSTANCIACIÓN UNIVERSAL
Restricción: Si t es una variable y, o
bien y aparece en t, entonces
ninguna presencia de x en φ(x) debe
estar afectada por un cuantificador
con esa variable y.
Ejemplos de Error:
∀∀x∃yR(x, y) ∀x∃y [P(x) ↔ ¬
P(y)]_________________________________________________________________________________________________ _________________________________________________________________________________________________________________________________________
89. 2.GE GENERALIZACIÓN EXISTENCIAL
• φ(t)___________________________________
∃x φ(x)
φ(t) resulta de sustituir t en los lugares
de las presencias libres de x en φ(x)
Ejemplos: P(c)_______________________________
∃x P(x)
• R(a, b) R(a, b) ∧ P(a)_________________________________ _______________________________________________________________
∃x R(x, b) ∃x [R(x, b) ∧ P(x)]
90. 2. GE GENERALIZACIÓN EXISTENCIAL
Misma restricción de IU: Si t es y, o
bien y aparece en t, entonces
ninguna presencia de x en φ(x) debe
estar afectada por un cuantificador
con esa variable y.
Ejemplos de Error:
• ∀y R(y, y) ∀y [P(y) ↔ Q(y)]_________________________________________________________________________________________________
______________________________________________________________________________________________________________________________________
∃x ∀y R(x, y) ∃x∀y [P(y) ↔
91. 3. GU GENERALIZACIÓN UNIVERSAL
• Si x es variable que no aparece libre
en fórmulas de Γ y además Γ├ φ(x),
entonces Γ├ ∀x φ(x)
Intuición: Si podemos probar φ(x) sin
ninguna suposición sobre x, podemos
por ser arbitrario, afirmar que ∀x φ(x)
Obs: P(x)├ P(x), pero P(x) ⊬ ∀x P(x)
• Ejemplo: ∀x∀y φ(x, y)├ ∀y∀x φ(x,
93. 4. IE INSTANCIACIÓN EXISTENCIAL
• Si c es una constante nueva que
no aparece en φ(x), ni en ψ, ni en
Γ, y además Γ, φ(c)├ ψ
entonces Γ, ∃xφ(x) ├ ψ
• IE no afirma que ∃xφ(x)├ φ(c)
Esto es falso, por ejemplo:
∃x Vuela (x) ⊬ Vuela (juan)
94. 4. IE INSTANCIACIÓN EXISTENCIAL
• Si c es una constante que no aparece
en φ(x), ni en ψ, ni en Γ, y además
Γ, φ(c)├ ψ entonces Γ, ∃xφ(x) ├ ψ
• Intuición: Supongamos que sabemos
que hay x tal que cumple φ. Es decir
sabemos que ∃xφ(x). Llamemos “c” a
tal individuo. Ahora, si a partir de φ(c)
probamos ψ, entonces podemos
probar ψ
95. 4. IE INSTANCIACIÓN EXISTENCIAL
Ejemplo:
∃x ∀y P(x, y) ├ ∀y ∃x P(x, y)
Por la regla IE, es suficiente probar:
∀y P(c, y) ├ ∀y ∃x P(x, y).
Donde c es una constante nueva que
no aparece en φ(x) = ∀y P(x, y)
ni en ψ = ∀y ∃x P(x, y), ni en Γ = ø
97. RAZONAMIENTO AUTOMÁTICO
Procedimientos de prueba automática de
teoremas en cualquier teoría finitamente
axiomatizable en un lenguaje de primer
orden con igualdad.
Para cualquier conjunto finito de
enunciados A1, . . . ,An y cualquier
enunciado B en un lenguaje de primer
orden con igualdad.
¿ A1, . . . ,An |= B ?
98. Teorema
Para cualquier conjunto finito de
enunciados A1, . . . ,An y cualquier
enunciado B en un lenguaje de
primer orden con igualdad:
B es teorema a partir de
A1, . . . , An sí y sólo sí
el procedimiento así lo
indica
99. Ejemplos
1. Prueba de la cancelación para la
multiplicación a partir de los
axiomas de grupo.
2. Prueba de que una relación R es
reflexiva, suponiendo que R sea
simétrica, transitiva y “sin puntos
aislados” (para todo x hay un z
tal que x está R-relacionado con
z o z está R-relacionado con x)
100. Dos ejemplos sencillos (argumentos)
• La conclusión del argumento es un “teorema” a
partir de las premisas, que serán las hipótesis.
ARGUMENTO 1:
Juan es hermano de todos los hermanos
de Roberto.
Juan no es hermano de sí mismo.
∴Juan no es hermano de Roberto.
• ARGUMENTO 2:
Todos le tienen miedo a Drácula.
Drácula sólo le tiene miedo a Pedro.
∴ Pedro es Drácula.
101. PRERREQUISITOS
1. HACEMOS LA TRADUCCIÓN Y LO VEMOS COMO CONSECUENCIA
LÓGICA
• A1, . . . ,An |= B
2. TEOREMA BÁSICO PARA PRUEBAS POR REFUTACIÓN:
A1, . . . , An |= B si y sólo si
(A1∧ . . . ∧An∧ ¬B) no es satisfacible
3. TRANSFORMACIÓN A FORMA CLAUSULAR (CONJUNCIÓN DE
CLÁUSULAS)
Las cláusulas son disyunciones de atómicas o atómicas negadas.
Toda fórmula A puede transformarse a una conjunción de
cláusulas, llamada forma clausular denotada CL (A).
(A1∧ . . . ∧An ∧ ¬B) ~ ~ ~> CL(A1∧ . . .
∧An∧¬B)
102. Teorema de Skolem:
• A es insatisfacible si y sólo
si CL(A) es insatisfacible
• MÁS GENERALMENTE:
• Un conjunto de enunciados es
insatisfacible si y sólo si el
conjunto de formas clausulares
de ellos es insatisfacible.
103. REGLA DE RESOLUCIÓN
(Robinson 1965)
• La regla RESOLUCIÓN generaliza al silogismo
disyuntivo:
• A ∨ B
• ¬A
__________________________
• B
• A CASOS COMO:
• A ∨ B ∨ ¬D
• ¬A ∨ C ∨ ¬E
_____________________________________________________
B ∨ C ∨ ¬D ∨ ¬E
104. La regla Resolución nos permite
hacer todas las inferencias de tipo:
• L ∨ Q1 ∨ ... ∨ Qm
Cláusulas
• ¬L ∨ R1 ∨ ... ∨ Rn Padres
________________________________________________________________ ____________________
• Q1 ∨ ... ∨ Qm ∨ R1 ∨ ... ∨ Rn
Resolvente
• ¿Y en el caso especial de tener como
cláusulas padres a L y ¬L? El resolvente
es nada y lo llamamos cláusula vacía
denotado ڤ y significa que hubo una
105. RESOLUCIÓN CON UNIFICACIÓN
Q(x,b) ∨ P(x,a)
• ¬ Q(a,w) ∨ R(w,b)
• -----------------------------------
• P(a,a) ∨ R(b,b) {x/a, w/b} es el
u
unificador
• Obsérvese que al hacer la sustitución del
unificador Q(x,b) y ¬Q(a,w) quedan como:
Q(a,b) y ¬Q(a,b) por lo que se eliminan.
Desde luego el resolvente queda afectado
106. Teorema de Loveland
• Si K es un conjunto de
cláusulas de un lenguaje de
primer orden con igualdad,
entonces: K es insatisfacible
si y sólo si hay una deducción
de la cláusula vacía ڤ a partir
de K, usando únicamente
resolución.
107. COROLARIO: D. A. T.
Si B es teorema a partir de A1, ..., An:
1. Negar B (¬B)
2. Formar el conjunto K = {¬B, A1, ..., An}
en forma clausular.
3. Aplicar pasos de resolución a K hasta
obtener la cláusula vacía .ڤ
B es teorema a partir de A1, ...,An si y
sólo si se obtiene la cláusula vacía ,ڤ
a partir de K.
108. EJEMPLO 1
Juan es hermano de todos los hermanos de
Roberto.
Juan no es hermano de sí mismo.
∴ Juan no es hermano de Roberto
• SIMBOLIZACIÓN DE CONSECUENCIA LÓGICA:
∀∀x [H(x,r)→ H(j,x)], ¬H(j,j) |= ¬H(j,r)
• Por Teo. Básico, No Satisfacible:
∀∀x[H(x,r)→ H(j,x)], ¬H(j,j), ¬¬H(j,r)
• Por Teo Skolem, No Satisfacible:
• K= { [¬H(x,r) ∨ H(j,x)], ¬H(j,j), H(j,r) }
• X/j RESOLUCIÓN
• ڤ TEO. LOVELAND
109. EJEMPLO 2
Todos le tienen miedo a Drácula.
Drácula sólo le tiene miedo a Pedro
∴ Pedro es Drácula.
• SIMBOLIZACIÓN DE CONSECUENCIA LÓGICA:
∀∀x[M(x,d)], ∀x[M(d,x)→ (x=p)] |= (p=d)
• Por Teo. Básico, No Satisfacible:
∀∀x[M(x,d)] , ∀x[M(d,x)→ (x=p)] , (p≠d)
• Por Teo. Skolem, No Satisfacible:
• K = { M(x,d), [¬M(d,x)∨(x = p)], (p ≠ d) }
• X/d Resolución y Paramodulación
• ڤ TEO. LOVELAND
112. BIBLIOGRAFIA BASICA
• La enseñanza del análisis lógico, J.A.
Amor, en La Razón Comunicada II, TDL,
2003.
• Introducción a la lógica, LTF Gamut,
Editorial Eudeba, Argentina, 2002.
• Lógica clásica de primer orden con
igualdad, J.A. Amor, notas de clase.
113. BIBLIOGRAFÍACOMPLEMENTARIA
• Amor J. A., Paradojas, intuición y lógica, revista Ciencias
no.29, Facultad de Ciencias, UNAM, 1993.
• Easley, J. A. Lógica y heurística en la reforma curricular de
las matemáticas, Matemáticas y Enseñanza, Nos. 7 y 8,
SMM, 1976.
• Solow, D. Cómo entender y hacer demostraciones en
matemáticas, Limusa, 1987.
• Polya, G., Cómo plantear y resolver problemas, Editorial
Trillas, 1965.
• Smullyan Raymond, ¿Cómo se llama este libro?, Editorial
Cátedra colec. Teorema, 1978.
• Tarski Alfred, Truth and proof, Scientific American, junio
1969.
• Torres Torija, Planteo y resolución de problemas, Editorial
Trillas, 1976.
114. MÁS BIBLIOGRAFÍA
COMPLEMENTARIA
• Barwise, Jon et. al. Handbook of mathematical logic
Amsterdam: North-Holland, 1977.
• Una introducción Matemática a la lógica, 2a.Edicion,
E. Enderton, traducción de J.A. Amor, IIF-UNAM,
2004. Version original: A mathematical introduction to
logic, 2nd. edition, E. Enderton, Academic Press,
2001.
• Mendelson, Elliot. Introduction to mathematical logic.
Pacific Grove, California: Wads-worth, 1987.
• Suppes, Patrick Colonel. Introducción a la lógica
simbólica. Tr. por Gabriel Aguirre Carrasco. México:
Continental,1956