La lógica es la ciencia que estudia los métodos y principios usados para
distinguir el razonamiento correcto del incorrecto. La lógica formal, considerada como el estudio de operaciones con símbolos
apropiados, debe ubicarse en el álgebra como un capítulo especial; aparece entonces
como una parte de la matemática. Resulta suficiente dedicar nuestro estudio al
Calculo proposicional que nos permitirá familiarizarnos con el uso de las
proposiciones y de las distintas operaciones lógicas que con ellos podemos efectuar,
como asimismo a su representación simbólica.
Wang-Landau Monte Carlo simulation is a method for calculating the density of states function which can then be used to calculate thermodynamic properties like the mean value of variables. It improves on traditional Monte Carlo methods which struggle at low temperatures due to complicated energy landscapes with many local minima separated by large barriers. The Wang-Landau algorithm calculates the density of states function directly rather than relying on sampling configurations, allowing it to overcome barriers and fully explore the configuration space even at low temperatures.
This document provides a list of Scilab codes that correspond to examples from the textbook "Higher Engineering Mathematics" by B. S. Grewal. The codes cover topics from calculus, differential equations, matrices, probability and more. They were created by two students at IIT Roorkee and cross-checked by another IIT professor. The codes are intended to serve as a companion for studying mathematics using the Scilab software platform.
Module 8: Natural language processing Pt 1Sara Hooker
Delta Analytics is a 501(c)3 non-profit in the Bay Area. We believe that data is powerful, and that anybody should be able to harness it for change. Our teaching fellows partner with schools and organizations worldwide to work with students excited about the power of data to do good.
Welcome to the course! These modules will teach you the fundamental building blocks and the theory necessary to be a responsible machine learning practitioner in your own community. Each module focuses on accessible examples designed to teach you about good practices and the powerful (yet surprisingly simple) algorithms we use to model data.
To learn more about our mission or provide feedback, take a look at www.deltanalytics.org. If you would like to use this material to further our mission of improving access to machine learning. Education please reach out to inquiry@deltanalytics.org .
MATLAB is a high-level programming language and interactive environment for numerical computation, visualization, and programming. It is used widely in academia and industry in engineering and scientific fields. Some key points:
- MATLAB was developed by MathWorks and was originally created to provide easy access to matrix data and calculations.
- It includes a base program and various toolboxes for specialized tasks like fuzzy logic, neural networks, etc.
- MATLAB has a graphical user interface for interacting with data and visualizing results. It also allows programming in a matrix-based language.
- It is widely used for technical computing tasks like data analysis, modeling, simulation and algorithm development in many domains like engineering, science and education
e is a special mathematical constant approximately equal to 2.71828, discovered by Euler. It is the base of the natural logarithm and is used in exponential functions of the form f(x) = aerx to model growth and decay. The value of e can be evaluated using calculators and exponential functions involving e can be graphed by plotting points and shifting the parent graph as needed.
1) Εισαγώγή
1.1) Σχήμα Απόδειξης Αναγωγής
1.2) Αναγωγές της Προτασιακής Λογικής
2) Το πρόβλημα HAMILTON-PATH είναι NP-πλήρες
2.1) HAMILTON-PATH ανήκει στο NP
2.2) 3SAT ανάγεται στο HAMILTON-PATH
3) Το πρόβλημα HAMILTON-CYCLE είναι NP-πλήρες
3.1) HAMILTON-CYCLE ανήκει στο NP
3.2) HAMILTON-PATH ανάγεται στο HAMILTON-CYCLE
4) Το πρόβλημα 3-COLORING είναι NP-πλήρες
4.1) 3-COLORING ανήκει στο NP
4.2) 3SAT ανάγεται στο 3-COLORING
Ασκήσεις
1) To 7-COLORING είναι NP-πλήρες
2) Το TSP είναι NP-πλήρες
Wang-Landau Monte Carlo simulation is a method for calculating the density of states function which can then be used to calculate thermodynamic properties like the mean value of variables. It improves on traditional Monte Carlo methods which struggle at low temperatures due to complicated energy landscapes with many local minima separated by large barriers. The Wang-Landau algorithm calculates the density of states function directly rather than relying on sampling configurations, allowing it to overcome barriers and fully explore the configuration space even at low temperatures.
This document provides a list of Scilab codes that correspond to examples from the textbook "Higher Engineering Mathematics" by B. S. Grewal. The codes cover topics from calculus, differential equations, matrices, probability and more. They were created by two students at IIT Roorkee and cross-checked by another IIT professor. The codes are intended to serve as a companion for studying mathematics using the Scilab software platform.
Module 8: Natural language processing Pt 1Sara Hooker
Delta Analytics is a 501(c)3 non-profit in the Bay Area. We believe that data is powerful, and that anybody should be able to harness it for change. Our teaching fellows partner with schools and organizations worldwide to work with students excited about the power of data to do good.
Welcome to the course! These modules will teach you the fundamental building blocks and the theory necessary to be a responsible machine learning practitioner in your own community. Each module focuses on accessible examples designed to teach you about good practices and the powerful (yet surprisingly simple) algorithms we use to model data.
To learn more about our mission or provide feedback, take a look at www.deltanalytics.org. If you would like to use this material to further our mission of improving access to machine learning. Education please reach out to inquiry@deltanalytics.org .
MATLAB is a high-level programming language and interactive environment for numerical computation, visualization, and programming. It is used widely in academia and industry in engineering and scientific fields. Some key points:
- MATLAB was developed by MathWorks and was originally created to provide easy access to matrix data and calculations.
- It includes a base program and various toolboxes for specialized tasks like fuzzy logic, neural networks, etc.
- MATLAB has a graphical user interface for interacting with data and visualizing results. It also allows programming in a matrix-based language.
- It is widely used for technical computing tasks like data analysis, modeling, simulation and algorithm development in many domains like engineering, science and education
e is a special mathematical constant approximately equal to 2.71828, discovered by Euler. It is the base of the natural logarithm and is used in exponential functions of the form f(x) = aerx to model growth and decay. The value of e can be evaluated using calculators and exponential functions involving e can be graphed by plotting points and shifting the parent graph as needed.
1) Εισαγώγή
1.1) Σχήμα Απόδειξης Αναγωγής
1.2) Αναγωγές της Προτασιακής Λογικής
2) Το πρόβλημα HAMILTON-PATH είναι NP-πλήρες
2.1) HAMILTON-PATH ανήκει στο NP
2.2) 3SAT ανάγεται στο HAMILTON-PATH
3) Το πρόβλημα HAMILTON-CYCLE είναι NP-πλήρες
3.1) HAMILTON-CYCLE ανήκει στο NP
3.2) HAMILTON-PATH ανάγεται στο HAMILTON-CYCLE
4) Το πρόβλημα 3-COLORING είναι NP-πλήρες
4.1) 3-COLORING ανήκει στο NP
4.2) 3SAT ανάγεται στο 3-COLORING
Ασκήσεις
1) To 7-COLORING είναι NP-πλήρες
2) Το TSP είναι NP-πλήρες
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 trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También clasifica las proposiciones en simples y compuestas, y explica los conectivos lógicos y conceptos como tautología, equivalencia y contradicción. Finalmente, resume algunas
Este documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También cubre conceptos como proposiciones simples y compuestas, conectivos lógicos, proposiciones condicionales y bicondicionales, tautologías, equivalencias y cont
Este documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También explica cómo clasificar proposiciones en simples y compuestas, y los diferentes conectivos lógicos como la conjunción y la condicional que permiten formar proposiciones compuestas
El documento describe conceptos básicos de lógica y álgebra de Boole. Explica que el álgebra de Boole proporciona reglas y operaciones para trabajar con el conjunto binario {0,1}, y define operaciones como la suma, el producto y el complemento booleano. También introduce conceptos de lógica proposicional como proposiciones, tablas de verdad, y operadores lógicos como la negación, conjunción, disyunción, implicación y equivalencia.
1) El documento habla sobre lógica y demostraciones matemáticas. 2) Explica conceptos como álgebra de Boole, lógica proposicional y operadores lógicos como conjunción, disyunción e implicación. 3) También cubre temas como tautologías, contradicciones, demostraciones formales y reglas de inferencia lógica.
Este documento introduce los conceptos básicos de la lógica. Explica que la lógica estudia las formas del pensamiento humano y las proposiciones que pueden ser verdaderas o falsas. Describe las proposiciones atómicas y compuestas, y las conectivas lógicas como la conjunción, disyunción, implicación y equivalencia. También presenta las tablas de verdad y las leyes del álgebra de proposiciones.
El documento presenta conceptos sobre proposiciones en lógica matemática. Define una proposición como una oración que puede ser verdadera o falsa pero no ambas a la vez. Explica que las proposiciones pueden ser simples o compuestas dependiendo de si contienen operadores lógicos. Finalmente, introduce leyes y métodos de demostración en álgebra proposicional como la ley de doble negación y el método directo de demostración.
Este documento presenta una introducción a la matemática discreta. Se divide en siete capítulos que cubren lógica, teoría de conjuntos, álgebras de Boole, combinatoria, recursión, aritmética y aritmética modular. El autor explica los conceptos básicos de cada tema y proporciona ejemplos ilustrativos. El documento también incluye una bibliografía de referencias utilizadas.
Este documento presenta una introducción a la matemática discreta. En la primera sección se cubren temas de lógica, conjuntos y álgebras de Boole. La segunda sección trata sobre combinatoria y principios como la biyección, adición, multiplicación y división. La tercera sección introduce conceptos de recursión como sucesiones, ecuaciones de recurrencia y demostraciones por inducción. Finalmente, se incluyen secciones sobre aritmética, aritmética modular y otros temas. El documento provee una guía general de los principales conceptos
Este documento presenta una introducción a la matemática discreta. En la primera sección, introduce conceptos básicos de lógica como proposiciones, valores de verdad, y conectores lógicos como "y", "o", "no", "implica", y "si y solo si". También cubre conjuntos y álgebras de Boole. Las siguientes secciones cubren temas como combinatoria, recursión, aritmética, y aritmética modular. El documento proporciona una guía general para el curso y referencias bibliográficas utilizadas
Este documento describe las proposiciones, operaciones lógicas y tablas de verdad. Define proposiciones como enunciados que pueden ser verdaderos o falsos pero no ambos. Explica los conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional. También describe tablas de verdad y su uso para determinar el valor lógico de proposiciones compuestas. Finalmente, discute circuitos lógicos y su correspondencia con expresiones proposicionales.
Este documento introduce la lógica de primer orden. Explica que la lógica proposicional tiene un poder expresivo limitado y que la lógica de primer orden es más expresiva gracias a los cuantificadores. Luego define el vocabulario, la sintaxis y la semántica formal de la lógica de primer orden, incluyendo términos, fórmulas, estructuras, asignaciones y la noción de satisfacción.
Este documento presenta los conceptos básicos de la lógica proposicional. Explica que las proposiciones son frases que son verdaderas o falsas, y que se pueden componer usando conectores lógicos como "y", "o", "no", "implica", y "equivalente". Luego define las tablas de verdad de cada conector lógico y presenta equivalencias lógicas importantes entre expresiones. Finalmente, muestra cómo simplificar expresiones lógicas complejas usando reglas como las leyes de De Morgan y la absor
Este documento introduce conceptos básicos de lógica matemática y teoría de conjuntos. Explica que una proposición es una expresión que puede ser verdadera o falsa, y define operadores lógicos como la negación, conjunción, disyunción e implicación. También introduce la noción de tablas de verdad y teoremas, y explica formas de demostración directa e indirecta.
Este documento introduce conceptos básicos de lógica matemática y teoría de conjuntos. Explica que una proposición es una expresión que puede ser verdadera o falsa, y define operadores lógicos como la negación, conjunción, disyunción e implicación. También introduce nociones como tablas de verdad, equivalencia lógica y diferentes tipos de teoremas.
Este documento presenta una introducción a la lógica matemática y la teoría de conjuntos. Explica conceptos básicos como proposiciones, conectivos lógicos, tablas de verdad, implicación, equivalencia y teoremas. También incluye un ejemplo para ilustrar el uso de la implicación y la doble implicación.
Este documento presenta una introducción a la lógica matemática y la teoría de conjuntos. Explica conceptos básicos como proposiciones, conectivos lógicos, tablas de verdad, implicación, equivalencia y teoremas. También incluye un ejemplo para ilustrar el uso de estos conceptos en la demostración de un teorema.
Este documento introduce los conceptos básicos de la lógica proposicional. Explica que la lógica estudia la forma de razonamiento y se utiliza para determinar la validez de argumentos. Define conceptos como enunciados, proposiciones, conectivos lógicos, tablas de verdad y leyes de álgebra proposicional. Finalmente, establece la relación entre circuitos lógicos y proposiciones, y presenta algunos ejercicios de aplicación.
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 trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También clasifica las proposiciones en simples y compuestas, y explica los conectivos lógicos y conceptos como tautología, equivalencia y contradicción. Finalmente, resume algunas
Este documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También cubre conceptos como proposiciones simples y compuestas, conectivos lógicos, proposiciones condicionales y bicondicionales, tautologías, equivalencias y cont
Este documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También explica cómo clasificar proposiciones en simples y compuestas, y los diferentes conectivos lógicos como la conjunción y la condicional que permiten formar proposiciones compuestas
El documento describe conceptos básicos de lógica y álgebra de Boole. Explica que el álgebra de Boole proporciona reglas y operaciones para trabajar con el conjunto binario {0,1}, y define operaciones como la suma, el producto y el complemento booleano. También introduce conceptos de lógica proposicional como proposiciones, tablas de verdad, y operadores lógicos como la negación, conjunción, disyunción, implicación y equivalencia.
1) El documento habla sobre lógica y demostraciones matemáticas. 2) Explica conceptos como álgebra de Boole, lógica proposicional y operadores lógicos como conjunción, disyunción e implicación. 3) También cubre temas como tautologías, contradicciones, demostraciones formales y reglas de inferencia lógica.
Este documento introduce los conceptos básicos de la lógica. Explica que la lógica estudia las formas del pensamiento humano y las proposiciones que pueden ser verdaderas o falsas. Describe las proposiciones atómicas y compuestas, y las conectivas lógicas como la conjunción, disyunción, implicación y equivalencia. También presenta las tablas de verdad y las leyes del álgebra de proposiciones.
El documento presenta conceptos sobre proposiciones en lógica matemática. Define una proposición como una oración que puede ser verdadera o falsa pero no ambas a la vez. Explica que las proposiciones pueden ser simples o compuestas dependiendo de si contienen operadores lógicos. Finalmente, introduce leyes y métodos de demostración en álgebra proposicional como la ley de doble negación y el método directo de demostración.
Este documento presenta una introducción a la matemática discreta. Se divide en siete capítulos que cubren lógica, teoría de conjuntos, álgebras de Boole, combinatoria, recursión, aritmética y aritmética modular. El autor explica los conceptos básicos de cada tema y proporciona ejemplos ilustrativos. El documento también incluye una bibliografía de referencias utilizadas.
Este documento presenta una introducción a la matemática discreta. En la primera sección se cubren temas de lógica, conjuntos y álgebras de Boole. La segunda sección trata sobre combinatoria y principios como la biyección, adición, multiplicación y división. La tercera sección introduce conceptos de recursión como sucesiones, ecuaciones de recurrencia y demostraciones por inducción. Finalmente, se incluyen secciones sobre aritmética, aritmética modular y otros temas. El documento provee una guía general de los principales conceptos
Este documento presenta una introducción a la matemática discreta. En la primera sección, introduce conceptos básicos de lógica como proposiciones, valores de verdad, y conectores lógicos como "y", "o", "no", "implica", y "si y solo si". También cubre conjuntos y álgebras de Boole. Las siguientes secciones cubren temas como combinatoria, recursión, aritmética, y aritmética modular. El documento proporciona una guía general para el curso y referencias bibliográficas utilizadas
Este documento describe las proposiciones, operaciones lógicas y tablas de verdad. Define proposiciones como enunciados que pueden ser verdaderos o falsos pero no ambos. Explica los conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional. También describe tablas de verdad y su uso para determinar el valor lógico de proposiciones compuestas. Finalmente, discute circuitos lógicos y su correspondencia con expresiones proposicionales.
Este documento introduce la lógica de primer orden. Explica que la lógica proposicional tiene un poder expresivo limitado y que la lógica de primer orden es más expresiva gracias a los cuantificadores. Luego define el vocabulario, la sintaxis y la semántica formal de la lógica de primer orden, incluyendo términos, fórmulas, estructuras, asignaciones y la noción de satisfacción.
Este documento presenta los conceptos básicos de la lógica proposicional. Explica que las proposiciones son frases que son verdaderas o falsas, y que se pueden componer usando conectores lógicos como "y", "o", "no", "implica", y "equivalente". Luego define las tablas de verdad de cada conector lógico y presenta equivalencias lógicas importantes entre expresiones. Finalmente, muestra cómo simplificar expresiones lógicas complejas usando reglas como las leyes de De Morgan y la absor
Este documento introduce conceptos básicos de lógica matemática y teoría de conjuntos. Explica que una proposición es una expresión que puede ser verdadera o falsa, y define operadores lógicos como la negación, conjunción, disyunción e implicación. También introduce la noción de tablas de verdad y teoremas, y explica formas de demostración directa e indirecta.
Este documento introduce conceptos básicos de lógica matemática y teoría de conjuntos. Explica que una proposición es una expresión que puede ser verdadera o falsa, y define operadores lógicos como la negación, conjunción, disyunción e implicación. También introduce nociones como tablas de verdad, equivalencia lógica y diferentes tipos de teoremas.
Este documento presenta una introducción a la lógica matemática y la teoría de conjuntos. Explica conceptos básicos como proposiciones, conectivos lógicos, tablas de verdad, implicación, equivalencia y teoremas. También incluye un ejemplo para ilustrar el uso de la implicación y la doble implicación.
Este documento presenta una introducción a la lógica matemática y la teoría de conjuntos. Explica conceptos básicos como proposiciones, conectivos lógicos, tablas de verdad, implicación, equivalencia y teoremas. También incluye un ejemplo para ilustrar el uso de estos conceptos en la demostración de un teorema.
Este documento introduce los conceptos básicos de la lógica proposicional. Explica que la lógica estudia la forma de razonamiento y se utiliza para determinar la validez de argumentos. Define conceptos como enunciados, proposiciones, conectivos lógicos, tablas de verdad y leyes de álgebra proposicional. Finalmente, establece la relación entre circuitos lógicos y proposiciones, y presenta algunos ejercicios de aplicación.
ESPERAMOS QUE ESTA INFOGRAFÍA SEA UNA HERRAMIENTA ÚTIL Y EDUCATIVA QUE INSPIRE A MÁS PERSONAS A ADENTRARSE EN EL APASIONANTE CAMPO DE LA INGENIERÍA CIVIŁ. ¡ACOMPAÑANOS EN ESTE VIAJE DE APRENDIZAJE Y DESCUBRIMIENTO
Estilo Arquitectónico Ecléctico e Histórico, Roberto de la Roche.pdfElisaLen4
Un pequeño resumen de lo que fue el estilo arquitectónico Ecléctico, así como el estilo arquitectónico histórico, sus características, arquitectos reconocidos y edificaciones referenciales de dichas épocas.
Presentación Aislante térmico.pdf Transferencia de calorGerardoBracho3
Las aletas de transferencia de calor, también conocidas como superficies extendidas, son prolongaciones metálicas que se adhieren a una superficie sólida para aumentar su área superficial y, en consecuencia, mejorar la tasa de transferencia de calor entre la superficie y el fluido circundante.
2. Inicio de la Lógica
Originalmente, la Lógica trataba con argumentos en el lenguaje
natural.
Ejemplo
¿Es el siguiente argumento válido?
Todos los hombres son mortales.
Sócrates es hombre.
Por lo tanto, Sócrates es mortal.
La lógica deberı́a poder usarse para demostrar que sı́.
IIC2212 – Lógica Proposicional 2 / 56
3. Inicio de la Lógica
Ejemplo
¿Qué pasa con el siguiente caso?
Algunas personas son mujeres.
Sócrates es una persona.
Por lo tanto, Sócrates es mujer.
En este caso deberı́amos decir que el argumento no es válido.
IIC2212 – Lógica Proposicional 3 / 56
4. Inicio de la Lógica
Pero los argumentos pueden ser más complejos ...
Creo que todos los hombres son mortales.
Creo que Sócrates es hombre.
Por lo tanto, creo que Sócrates es mortal.
¿Es este argumento válido? ¿Por qué?
¿Qué significa creo? ¿Qué pasarı́a si reemplazamos creo que por no
se si?
IIC2212 – Lógica Proposicional 4 / 56
5. Paradojas en el lenguaje natural
Un dı́a de la próxima semana les voy a hacer una interrogación,
y les aseguro que el dı́a que se las haga van a estar sorprendidos.
¿Qué dı́a voy a hacer la interrogación?
IIC2212 – Lógica Proposicional 5 / 56
6. Matemática en el lenguaje natural: Paradoja de Berry
Podemos representar los números naturales usando oraciones del
lenguaje natural: “Mil quinientos veinte”, “el primer número”, ...
El número de palabras en el Diccionario de la Real Academia es
finito.
El número de oraciones con a los más 50 palabras también es finito.
IIC2212 – Lógica Proposicional 6 / 56
7. Matemática en el lenguaje natural: Paradoja de Berry
Sea B el siguiente número natural:
El primer número natural que no puede ser definido por una
oración con a lo más cincuenta palabras tomadas del Dicciona-
rio de la Real Academia.
B está bien definido, pero con sólo 25 palabras. ¡Tenemos una
contradicción!
¿Qué pasó?
IIC2212 – Lógica Proposicional 7 / 56
9. Más paradojas: Russell (1902)
Sea C el conjunto de todos los conjuntos que tienen a lo menos
dos elementos: C = {A, B, . . .}
¿C ∈ C? Sı́.
Entonces podemos definir el siguiente conjunto: U = {X | X 6∈ X}.
Tenemos: A ∈ U, B ∈ U, C 6∈ U.
¿U ∈ U? Por definición, U ∈ U si y sólo si U 6∈ U. ¡Tenemos una
contradicción!
¿Cómo definimos la noción de conjunto?
IIC2212 – Lógica Proposicional 9 / 56
10. ¿Por qué necesitamos la Lógica?
Necesitamos un lenguaje con una sintaxis precisa y una semántica
bien definida.
Queremos usar este lenguaje en matemáticas.
- Definición de objetos matemáticos: conjunto, números naturales,
números reales.
- Definición de teorı́as matemáticas: teorı́a de conjuntos, teorı́a de los
número naturales.
- Definición del concepto de demostración.
También queremos usar este lenguaje en computación. ¿Por qué?
IIC2212 – Lógica Proposicional 10 / 56
11. ¿Por qué necesitamos la Lógica en computación?
Algunas aplicaciones:
- Bases de datos: Lenguajes de consulta, lenguajes para restricciones
de integridad.
- Inteligencia artificial: Representación de conocimiento, razonamiento
con sentido común.
- Ingenierı́a de software: Especificación de sistemas (lenguaje Z),
verificación de propiedades.
- Teorı́a de la computación: complejidad descriptiva, algoritmos de
aproximación.
- Criptografı́a: verificación de protocolos criptográficos.
- Procesamiento de lenguaje natural.
- ...
IIC2212 – Lógica Proposicional 11 / 56
12. Lógica Proposicional: Sintaxis
Tenemos los siguientes elementos:
- Variables proposicionales (P): p, q, r, . . .
- Conectivos lógicos: ¬, ∨, ∧, →, ↔
- Sı́mbolos de puntuación: (, )
Cada variable proposicional representa una proposición completa e
indivisible, que puede ser verdadera o falsa.
Ejemplo
P = {socrates es hombre, socrates es mortal}.
IIC2212 – Lógica Proposicional 12 / 56
13. Lógica Proposicional: Sintaxis
Conectivos lógicos son usados para construir expresiones que
también pueden ser verdaderas o falsas.
Ejemplo
socrates es hombre → socrates es mortal
socrates es hombre → (¬ socrates es mortal)
Sı́mbolos de puntuación son usados para evitar ambigüedades.
IIC2212 – Lógica Proposicional 13 / 56
14. Sintaxis de la Lógica Proposicional: Definición
Dado: Conjunto P de variables proposicionales.
Definición
L(P) es el menor conjunto que satisface las siguientes reglas:
1. P ⊆ L(P).
2. Si ϕ ∈ L(P), entonces (¬ϕ) ∈ L(P).
3. Si ϕ, ψ ∈ L(P), entonces (ϕ ∨ ψ) ∈ L(P), (ϕ ∧ ψ) ∈ L(P),
(ϕ → ψ) ∈ L(P) y (ϕ ↔ ψ) ∈ L(P).
Ejercicio
Verifique que ((¬p) → (q ∨ r)) es una fórmula.
IIC2212 – Lógica Proposicional 14 / 56
15. Sintaxis de la Lógica Proposicional: Definición
La naturaleza de la definición es inductiva.
- Permite construir programas recursivos para chequear si una
fórmula está bien construida.
- Permite definir inductivamente conceptos asociados a las fórmulas.
- Permite demostrar inductivamente propiedades de las fórmulas.
IIC2212 – Lógica Proposicional 15 / 56
16. Definiciones inductivas
Queremos definir una función la que indica cuantos sı́mbolos tiene
una fórmula: la((p ∧ q)) = 5.
Caso base : Para cada p ∈ P, la(p) = 1.
Caso inductivo : la((¬ϕ)) = 3+la(ϕ) y la((ϕ?ψ)) = 3+la(ϕ)+
la(ψ), donde ? corresponde a ∨, ∧, → o ↔.
En el ejemplo: la((p ∧ q)) = 3 + la(p) + la(q) = 3 + 1 + 1 = 5.
Ejercicio
Defina las funciones pi y pd que indican cuáles son los números de
paréntesis izquierdos y derechos en una fórmula, respectivamente.
IIC2212 – Lógica Proposicional 16 / 56
17. Demostraciones inductivas
Lo siguiente parece ser cierto: Cada fórmula contiene el mismo
número de paréntesis izquierdos y derechos.
pi(ϕ) = pd(ϕ), para cada fórmula ϕ.
¿Cómo podemos demostrar esto?
Podemos usar inducción ...
IIC2212 – Lógica Proposicional 17 / 56
18. Inducción en los números naturales
Principio de inducción: para cada A ⊆ N tal que
Caso base : 0 ∈ A,
Caso inductivo : si n ∈ A, entonces n + 1 ∈ A,
se tiene que A = N.
Este principio se usa para demostrar que los naturales tienen
alguna propiedad. ¿Por qué funciona?
Ejercicio
Dar un principio de inducción para las fórmulas de un lenguaje
proposicional L(P).
IIC2212 – Lógica Proposicional 18 / 56
19. Inducción en la lógica proposicional
Principio de inducción: Para cada A ⊆ L(P) tal que
Caso base : p ∈ A, para cada p ∈ P,
Caso inductivo : si ϕ, ψ ∈ A, entonces (¬ϕ) ∈ A y
(ϕ?ψ) ∈ A, donde ? ∈ {∨, ∧, →, ↔},
se tiene que A = L(P).
¿Por qué funciona?
Ejercicio
Demuestre que cada fórmula contiene el mismo número de
paréntesis izquierdos y derechos.
IIC2212 – Lógica Proposicional 19 / 56
20. Inducción en la lógica proposicional: Ejercicios
1. Defina v(ϕ) como el número de ocurrencias de variables
proposicionales en ϕ.
2. Demuestre que para cada fórmula proposicional ϕ que no
contiene el sı́mbolo ¬ se tiene que la(ϕ) ≤ 3 · v(ϕ)2.
¿Qué sucede si ϕ contiene el sı́mbolo ¬?
¿Qué sucede si las fórmulas de la forma (¬(¬ϕ)) no son
permitidas?
3. Demuestre que un prefijo propio de una fórmula no es una
fórmula.
IIC2212 – Lógica Proposicional 20 / 56
21. Lógica proposicional: Lectura única
Una fórmula ϕ es atómica si ϕ = p, donde p ∈ P.
Una fórmula ϕ es compuesta si no es atómica.
- Si ϕ = (¬α), entonces ¬ es un conectivo primario de ϕ y α es una
subfórmula inmediata de ϕ.
- Si ϕ = (α ? β), entonces ? es un conectivo primario de ϕ y α, β son
subfórmulas inmediatas de ϕ.
Teorema (Lectura única)
Cada fórmula compuesta tiene un único conectivo primario y
únicas subfórmulas inmediatas.
Ejercicio
Demuestre el teorema de Lectura única.
IIC2212 – Lógica Proposicional 21 / 56
22. Semántica de la lógica proposicional
¿Cómo podemos determinar si una fórmula es verdadera o falsa?
Este valor de verdad depende de los valores de verdad asignados a
las variables proposicionales y de los conectivos utilizados.
Valuación (asignación): σ : P → {0, 1}.
Ejemplo
σ(socrates es hombre) = 1 y σ(socrates es mortal) = 0.
IIC2212 – Lógica Proposicional 22 / 56
23. Semántica: Definición
Dado σ : P → {0, 1}, queremos extender σ:
σ̂ : L(P) → {0, 1}.
Definición
Dado ϕ ∈ L(P),
- Si ϕ = p, entonces σ̂(ϕ) := σ(p).
- Si ϕ = (¬α), entonces
σ̂(ϕ) =
(
1 si σ̂(α) = 0
0 si σ̂(α) = 1
- Si ϕ = (α ∨ β), entonces
σ̂(ϕ) =
(
1 si σ̂(α) = 1 o σ̂(β) = 1
0 si σ̂(α) = 0 y σ̂(β) = 0
IIC2212 – Lógica Proposicional 23 / 56
24. Semántica: Definición (continuación)
- Si ϕ = (α ∧ β), entonces
σ̂(ϕ) =
(
1 si σ̂(α) = 1 y σ̂(β) = 1
0 si σ̂(α) = 0 o σ̂(β) = 0
- Si ϕ = (α → β), entonces
σ̂(ϕ) =
(
1 si σ̂(α) = 0 o σ̂(β) = 1
0 si σ̂(α) = 1 y σ̂(β) = 0
- Si ϕ = (α ↔ β), entonces
σ̂(ϕ) =
(
1 si σ̂(α) = σ̂(β)
0 si σ̂(α) 6= σ̂(β)
Por simplicidad vamos a usar σ en lugar de σ̂.
IIC2212 – Lógica Proposicional 24 / 56
25. Semántica: Ejemplos
Supongamos que σ(socrates es hombre) = 1 y
σ(socrates es mortal) = 0.
Entonces:
σ((socrates es hombre → socrates es mortal)) = 0
σ((((socrates es hombre → socrates es mortal) ∧
socrates es hombre) → socrates es mortal)) = 1
IIC2212 – Lógica Proposicional 25 / 56
26. Equivalencia de fórmulas
Definición
Dos fórmulas ϕ, ψ son equivalentes si para toda valuación σ se
tiene que σ(ϕ) = σ(ψ).
Notación: ϕ ≡ ψ.
Algunas equivalencias útiles:
(¬(ϕ ∧ ψ)) ≡ ((¬ϕ) ∨ (¬ψ)) (ϕ → ψ) ≡ ((¬ϕ) ∨ ψ)
(¬(ϕ ∨ ψ)) ≡ ((¬ϕ) ∧ (¬ψ)) (ϕ ↔ ψ) ≡ ((ϕ → ψ) ∧ (ψ → ϕ))
(ϕ ∧ (ψ ∧ θ)) ≡ ((ϕ ∧ ψ) ∧ θ) (¬(¬ϕ)) ≡ ϕ
(ϕ ∨ (ψ ∨ θ)) ≡ ((ϕ ∨ ψ) ∨ θ)
IIC2212 – Lógica Proposicional 26 / 56
27. Equivalencia de fórmulas
Notación: Desde ahora en adelante
- vamos a omitir los paréntesis externos,
- vamos a escribir ϕ∧ψ ∧θ en lugar de (ϕ∧ψ)∧θ (lo mismo para ∨).
Ejercicio
¿Es → asociativo? Vale decir, ¿Es cierto que
(α → β) → γ ≡ α → (β → γ)?
IIC2212 – Lógica Proposicional 27 / 56
28. Tablas de verdad
Cada fórmula se puede representar y analizar en una tabla de
verdad.
p q ¬p p ∨ q p ∧ q p → q p ↔ q
0 0 1 0 0 1 1
0 1 1 1 0 1 0
1 0 0 1 0 0 0
1 1 0 1 1 1 1
Observación: Dos fórmulas son equivalentes si tienen la misma
tabla de verdad.
Ejercicio
Suponga que P = {p, q}. ¿Cuántas fórmulas contiene L(P)? ¿Cuántas
fórmulas no equivalentes contiene este conjunto?
IIC2212 – Lógica Proposicional 28 / 56
29. Conectivos ternarios
Queremos definir el conectivo lógico: si p entonces q si no r.
p q r si p entonces q si no r
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1
¿Cómo se puede representar este conectivo usando ¬, ∧ y →?
IIC2212 – Lógica Proposicional 29 / 56
30. Conectivos ternarios (continuación)
Solución: (p → q) ∧ ((¬p) → r).
p q r si p entonces q si no r (p → q) ∧ ((¬p) → r)
0 0 0 0 0
0 0 1 1 1
0 1 0 0 0
0 1 1 1 1
1 0 0 0 0
1 0 1 0 0
1 1 0 1 1
1 1 1 1 1
¿Por qué el conectivo es equivalente a la fórmula? Porque tienen la
misma tabla de verdad.
IIC2212 – Lógica Proposicional 30 / 56
33. Conectivos n-arios
Solución: C1(p, q, r, s) es equivalente a la siguiente fórmula
((¬p) ∧ (¬q) ∧ (¬r) ∧ s) ∨ ((¬p) ∧ q ∧ r ∧ (¬s)) ∨
(p ∧ (¬q) ∧ (¬r) ∧ (¬s)) ∨ (p ∧ q ∧ r ∧ (¬s))
Notación
Desde ahora en adelante ¬ tiene mayor precedencia que los
conectivos binarios. Ası́ por ejemplo, (¬p) → q es lo mismo que
¬p → q y la fórmula anterior es lo mismo que:
(¬p ∧ ¬q ∧ ¬r ∧ s) ∨ (¬p ∧ q ∧ r ∧ ¬s) ∨
(p ∧ ¬q ∧ ¬r ∧ ¬s) ∨ (p ∧ q ∧ r ∧ ¬s)
IIC2212 – Lógica Proposicional 33 / 56
34. Conectivos n-arios
Solución a nuestro problema original:
Suponiendo que σi es la valuación correspondiente a la fila i de la
tabla de verdad de C(p1, . . . , pn), este conectivo es equivalente a:
_
i : bi =1
^
j : σi (pj )=1
pj
∧
^
k : σi (pk )=0
¬pk
.
Conclusión
Basta con los conectivos lógicos ¬, ∨, ∧ para representar cualquier
tabla de verdad.
IIC2212 – Lógica Proposicional 34 / 56
35. Conectivos funcionalmente completos
Definición
Un conjunto de conectivos es funcionalmente completo si es
posible definir cada fórmula usando sólo estos conectivos.
Ya demostramos que {¬, ∨, ∧} es funcionalmente completo. ¿Son
{¬, ∨} y {¬, ∧} funcionalmente completos?
Ejercicio
- Demuestre que {¬, →} es funcionalmente completo.
- ¿Es {∧, ∨, →, ↔} funcionalmente completo?
*Ejercicio
¿Es {¬, ↔} funcionalmente completo?
IIC2212 – Lógica Proposicional 35 / 56
36. Formas normales
Decimos que una fórmula ϕ está en forma normal disyuntiva
(DNF) si ϕ es de la forma:
m
_
i=1
ni
^
j=1
li,j
,
donde cada li,j es un literal, es decir, una letra proposicional o la
negación de una letra proposicional.
Ejemplo
(p ∧ q) ∨ (¬p ∧ r).
Teorema
Toda fórmula es equivalente a una fórmula en DNF.
Ya demostramos este teorema, ¿Cierto?
IIC2212 – Lógica Proposicional 36 / 56
37. Formas normales
Decimos que una fórmula ϕ está en forma normal conjuntiva
(CNF) si ϕ es de la forma:
m
^
i=1
ni
_
j=1
li,j
,
donde cada li,j es un literal.
Ejemplo
(p ∨ ¬q) ∧ (¬p ∨ ¬r ∨ s) ∧ (¬r ∨ s).
Teorema
Toda fórmula es equivalente a una fórmula en CNF.
¿Cómo se demuestre el teorema?
IIC2212 – Lógica Proposicional 37 / 56
38. La noción de consecuencia lógica
Una valuación σ satisface un conjunto de fórmulas Σ si para cada
ϕ ∈ Σ, se tiene que σ(ϕ) = 1.
Notación: σ(Σ) = 1.
¿Cuándo decimos que una fórmula ψ se deduce desde Σ?
Definición
ψ es consecuencia lógica de Σ si para cada valuación σ tal que
σ(Σ) = 1, se tiene que σ(ψ) = 1.
Notación: Σ |= ψ.
IIC2212 – Lógica Proposicional 38 / 56
39. La noción de consecuencia lógica: Ejemplos
Modus ponens:
{p, p → q} |= q
Demostración por partes:
{p ∨ q ∨ r, p → s, q → s, r → s} |= s
Ejercicio
- Demuestre que si Σ |= α ∧ β, entonces Σ |= α y Σ |= β.
- ¿Es cierto que si Σ |= α ∨ β, entonces Σ |= α o Σ |= β?
IIC2212 – Lógica Proposicional 39 / 56
40. Teorema de monotonı́a
Teorema (Monotonı́a)
Si Σ |= ψ, entonces para cada fórmula θ se tiene que Σ ∪ {θ} |= ψ.
Sabemos que {p, p → q} |= q. Usando el teorema de monotonı́a
deducimos que {p, p → q, ¬q} |= q. ¿Cómo es esto posible?
Ejercicio
Demuestre el teorema de monotonı́a.
¿Puede usarse la lógica proposicional para modelar razonamiento
con sentido común?
IIC2212 – Lógica Proposicional 40 / 56
41. Un paréntesis: Revisión de conocimiento
Teorema de monotonı́a: Agregar conocimiento no nos permite
retractarnos.
- No actualizamos nuestro conocimiento de acuerdo a la nueva
información.
Dado Σ y ϕ: queremos generar una fórmula que refleje la
actualización de Σ dado ϕ.
Notación: Σ ◦ ϕ.
¿Cómo podemos hacer esto? ¿Qué deberı́a ser {p, p → q} ◦ ¬q?
IIC2212 – Lógica Proposicional 41 / 56
42. Un paréntesis: Revisión de conocimiento
Una primera alternativa: Σ ◦ ϕ = ϕ.
Vamos a mostrar una mejor alternativa: Belief Revision.
Notación
Dado un conjunto de variables proposicionales P
- modelos(Σ): Conjunto de las valuaciones de P que satisfacen Σ.
- ∆(σ1, σ2): Conjunto de las variables proposicionales p ∈ P tales que
σ1(p) 6= σ2(p).
Ejemplo
Si P = {p, q}, σ1(p) = 1, σ1(q) = 1, σ2(p) = 1 σ2(q) = 0,
entonces ∆(σ1, σ2) = {q}.
∆(σ1, σ2) mide la distancia entre σ1 y σ2.
IIC2212 – Lógica Proposicional 42 / 56
43. Un paréntesis: Revisión de conocimiento
Para actualizar Σ dado ϕ, vamos a actualizar los modelos de Σ
con respecto a ϕ.
Dado σ tal que σ(Σ) = 1, queremos seleccionar los modelos σ1 de
ϕ que están a distancia mı́nima de σ.
Formalmente:
mı́nimo(σ, ϕ) = {σ1 | σ1(ϕ) = 1 y no existe σ2 tal que
σ2(ϕ) = 1 y ∆(σ, σ2) ( ∆(σ, σ1)}.
IIC2212 – Lógica Proposicional 43 / 56
44. Un paréntesis: Revisión de conocimiento
Definimos los modelos de Σ ◦ ϕ como los modelos de ϕ que están
más cerca de los modelos de Σ:
modelos(Σ ◦ ϕ) =
[
σ : σ(Σ)=1
mı́nimo(σ, ϕ)
y definimos Σ ◦ ϕ como una fórmula ψ arbitraria tal que
modelos(ψ) = modelos(Σ ◦ ϕ).
¿Siempre existe esta fórmula? ¿Es única?
IIC2212 – Lógica Proposicional 44 / 56
45. Un paréntesis: Revisión de conocimiento
Ejemplo
Σ = {p, p → q} y ϕ = ¬q
Primero calculamos los modelos de Σ y ϕ:
modelos(Σ) = {σ}, donde σ(p) = σ(q) = 1
modelos(ϕ) = {σ1, σ2}, donde σ1(p) = 1, σ1(q) = 0 y
σ2(p) = σ2(q) = 0.
Después calculamos los modelos mı́nimos:
∆(σ, σ1) = {q}
∆(σ, σ2) = {p, q}
mı́nimo(σ, ϕ) = {σ1}
modelos(Σ ◦ ϕ) = {σ1}
Resultado: {p, p → q} ◦ ¬q = p ∧ ¬q.
IIC2212 – Lógica Proposicional 45 / 56
46. El problema de satisfacción
Definición
Un conjunto de fórmulas Σ es satisfacible si existe una valuación σ
tal que σ(Σ) = 1. En caso contrario, Σ es inconsistente.
Existe una estrecha relación entre las nociones de consecuencia
lógica y satisfacibilidad.
Teorema
Σ |= ϕ si y sólo si Σ ∪ {¬ϕ} es inconsistente.
Ejercicio
Demuestre el teorema.
IIC2212 – Lógica Proposicional 46 / 56
47. El problema de satisfacción
El teorema anterior nos permite reducir el problema de verificar si
Σ |= ϕ al problema de verificar si Σ ∪ {¬ϕ} es inconsistente.
Ejercicio
Demuestre que la reducción inversa también es posible. Vale decir,
encuentre una fórmula ψ tal que Σ es satisfacible si y sólo si Σ 6|= ψ.
Entonces, si tenemos un algoritmo para uno de los problemas, lo
tenemos para el otro.
¿Cómo verificamos si una fórmula es satisfacible?
IIC2212 – Lógica Proposicional 47 / 56
48. El problema de satisfacción
Un algoritmo simple: Dada una fórmula ϕ, construya la tabla de
verdad para ϕ y verifique si en alguna fila la salida es 1.
¿Cuál es la complejidad de este algoritmo?
Si ϕ menciona n variables proposicionales, entonces el algoritmo
toma tiempo 2n (aproximadamente).
Este es un algoritmo de tiempo exponencial ¿Es posible usar este
algoritmo en la práctica?
IIC2212 – Lógica Proposicional 48 / 56
49. El problema de satisfacción: Complejidad
Número estimado de electrones en el universo ≤ 10130.
Si n = 1000 y en cada electrón del universo tuviéramos un
supercomputador que ejecuta 1050 operaciones por segundo,
entonces para verificar si ϕ es satisfacible necesitarı́amos:
21000
1050 · 10130
≈ 10121
segundos.
¡Edad estimada del universo 1018 segundos! ¡Y ϕ se puede
almacenar en algunos kilobytes de memoria!
¿Existe un algoritmo eficiente para el problema de satisfacibilidad?
IIC2212 – Lógica Proposicional 49 / 56
50. Otra noción útil
Definición
Una fórmula ϕ es una tautologı́a si para cada valuación σ se tiene
que σ(ϕ) = 1.
Ejemplo
p ∨ ¬p.
Ejercicio
Sea Σ un conjunto finito de fórmulas. Demuestre que el problema
de verificar si Σ |= ϕ puede reducirse al problema de verificar si
una fórmula es una tautologı́a.
¿Puede ser Σ infinito? ¿Qué sucede en este caso?
IIC2212 – Lógica Proposicional 50 / 56
51. Teorema de compacidad
Definición
Un conjunto de fórmulas Σ es finitamente satisfacible si cada
subconjunto finito de Σ es satisfacible.
Ejemplo
El conjunto Σ = {p0} ∪ {pi → pi+1 | i ∈ N} es finitamente
satisfacible.
¿Es Σ satisfacible?
Teorema (Compacidad)
Un conjunto de fórmulas es satisfacible si y sólo si es finitamente
satisfacible.
IIC2212 – Lógica Proposicional 51 / 56
52. Teorema de compacidad: Demostración
Necesitamos el siguiente lema:
Lema
Sea Σ ⊆ L(P) finitamente satisfacible y p ∈ P. Entonces Σ ∪ {p}
es finitamente satisfacible o Σ ∪ {¬p} es finitamente satisfacible.
¿Pueden ser ambos finitamente satisfacibles?
Ejercicio
Demuestre el lema.
IIC2212 – Lógica Proposicional 52 / 56
53. Teorema de compacidad: Demostración
Ahora vamos a demostrar la dirección ⇐ del teorema. La otra
dirección es trivial.
(⇐) Suponga que P = {pi | i ≥ 1} y defina una sucesión {∆i }i∈N
de conjuntos de literales:
Caso base: ∆0 = ∅.
Para i ∈ N:
∆i+1 =
(
∆i ∪ {pi+1} Σ ∪ ∆i ∪ {pi+1} es finitamente satisfacible,
∆i ∪ {¬pi+1} en caso contrario.
Finalmente: ∆ =
[
i∈N
∆i .
IIC2212 – Lógica Proposicional 53 / 56
54. Teorema de compacidad: Demostración
Para cada pi ∈ P: pi ∈ ∆i o ¬pi ∈ ∆i , pero no ambas.
Por lo tanto: Existe una única valuación σ que satisface a ∆.
Vamos a demostrar que esta valuación satisface a Σ.
Por contradicción: Suponga que σ(Σ) = 0. Entonces existe ϕ ∈ Σ
tal que σ(ϕ) = 0.
Suponga que ϕ contiene n variables proposicionales y que pk es la
de mayor ı́ndice.
IIC2212 – Lógica Proposicional 54 / 56
55. Teorema de compacidad: Demostración
Tenemos que considerar dos casos.
σ(pk ) = 1: entonces {ϕ} ∪ ∆k−1 ∪ {pk } es inconsistente.
Entonces: Σ ∪ ∆k−1 ∪ {pk} no es finitamente satisfacible y
¬pk ∈ ∆k.
Contradicción: ∆k ⊆ ∆ y σ(pk ) = 1.
σ(pk ) = 0: entonces {ϕ} ∪ ∆k−1 ∪ {¬pk } es inconsistente.
Entonces: Σ ∪ ∆k−1 ∪ {pk} es finitamente satisfacible (por lema) y
pk ∈ ∆k.
Contradicción: ∆k ⊆ ∆ y σ(pk ) = 0.
IIC2212 – Lógica Proposicional 55 / 56
56. Teorema de compacidad y consecuencia lógica
Corolario
Σ |= ϕ si y sólo si existe un subconjunto finito Σ0 de Σ tal que
Σ0 |= ϕ.
Ejercicio
Demuestre el corolario.
IIC2212 – Lógica Proposicional 56 / 56