El documento presenta conceptos básicos de lógica matemática. Explica que la lógica se enfoca en analizar la validez de los razonamientos sin considerar el contenido de los enunciados. Introduce las proposiciones, conectores lógicos como la conjunción y la disyunción, y tablas de verdad para determinar el valor de verdad de proposiciones compuestas.
LI2011-T1: Sintaxis y semántica de la lógica proposicionalJosé A. Alonso
Se presenta la sintaxis y la semántica de la lógica proposicional con un enfoque algorítmico.
Este es el 1º tema del curso Lógica Informática http://www.cs.us.es/~jalonso/cursos/li-10
Este documento trata sobre lógica matemática. Explica que estudia sistemas formales y cómo representan conceptos matemáticos usando lenguaje formal. También define conceptos como proposiciones, conectivos lógicos, tautologías, contradicciones y métodos de demostración. Finalmente, resume varias leyes y principios importantes en lógica como las leyes de De Morgan y el principio de inducción matemática.
Este documento presenta información sobre lógica proposicional y álgebra de proposiciones. Define conceptos como variables proposicionales, formas proposicionales, conectivas lógicas, tablas de verdad, leyes del álgebra de proposiciones e implicación lógica. También explica métodos de demostración como demostración directa y demostración por contradicción.
La lógica matemática estudia los sistemas formales y cómo codifican nociones matemáticas usando lenguaje formal. Se divide en teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. En matemáticas, una proposición puede ser verdadera o falsa pero no ambas, y los conectivos lógicos como la negación, conjunción y disyunción conectan proposiciones. Los métodos de demostración incluyen métodos directos, indirectos y por inducción
LMF-T1: Sintaxis y semántica de la lógica proposicionalJosé A. Alonso
Introducción a la sintaxis y a la semántica de la lógica proposicional.
Este es el tema 1 del curso "Lógica matemática y fundamentos" http://www.cs.us.es/~jalonso/cursos/lmf
El documento trata sobre lógica matemática. Explica que 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. La investigación en lógica matemática ha sido fundamental para el estudio de los fundamentos de las matemáticas.
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.
Taller de lógica en matemáticas jhon tello ;)jhontello80
El documento habla sobre el taller de lógica en matemáticas. Explica conceptos como la lógica matemática, proposiciones, conectivos lógicos, proposiciones condicionales y bicondicionales. También cubre temas como tautologías, contradicciones, leyes notables de la lógica y métodos de demostración. Finalmente, presenta una tabla de verdad como ejemplo.
LI2011-T1: Sintaxis y semántica de la lógica proposicionalJosé A. Alonso
Se presenta la sintaxis y la semántica de la lógica proposicional con un enfoque algorítmico.
Este es el 1º tema del curso Lógica Informática http://www.cs.us.es/~jalonso/cursos/li-10
Este documento trata sobre lógica matemática. Explica que estudia sistemas formales y cómo representan conceptos matemáticos usando lenguaje formal. También define conceptos como proposiciones, conectivos lógicos, tautologías, contradicciones y métodos de demostración. Finalmente, resume varias leyes y principios importantes en lógica como las leyes de De Morgan y el principio de inducción matemática.
Este documento presenta información sobre lógica proposicional y álgebra de proposiciones. Define conceptos como variables proposicionales, formas proposicionales, conectivas lógicas, tablas de verdad, leyes del álgebra de proposiciones e implicación lógica. También explica métodos de demostración como demostración directa y demostración por contradicción.
La lógica matemática estudia los sistemas formales y cómo codifican nociones matemáticas usando lenguaje formal. Se divide en teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. En matemáticas, una proposición puede ser verdadera o falsa pero no ambas, y los conectivos lógicos como la negación, conjunción y disyunción conectan proposiciones. Los métodos de demostración incluyen métodos directos, indirectos y por inducción
LMF-T1: Sintaxis y semántica de la lógica proposicionalJosé A. Alonso
Introducción a la sintaxis y a la semántica de la lógica proposicional.
Este es el tema 1 del curso "Lógica matemática y fundamentos" http://www.cs.us.es/~jalonso/cursos/lmf
El documento trata sobre lógica matemática. Explica que 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. La investigación en lógica matemática ha sido fundamental para el estudio de los fundamentos de las matemáticas.
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.
Taller de lógica en matemáticas jhon tello ;)jhontello80
El documento habla sobre el taller de lógica en matemáticas. Explica conceptos como la lógica matemática, proposiciones, conectivos lógicos, proposiciones condicionales y bicondicionales. También cubre temas como tautologías, contradicciones, leyes notables de la lógica y métodos de demostración. Finalmente, presenta una tabla de verdad como ejemplo.
El documento explica los conceptos básicos de la lógica de predicados, incluyendo la forma normal de una fórmula, reglas de inferencia como modus ponens y modus tollens, y el proceso de transformar fórmulas a cláusulas mediante la eliminación de cuantificadores, introducción de funciones de Skolem y movimiento de conectivos.
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
Breve introducción al estudio de la lógica matemática en su etapa primaria, Se comienza con una motivación y se termina con las proposiciones y conectivos lógicos!!
1. El documento introduce conceptos básicos de lógica matemática como proposiciones, conectivos lógicos, tablas de verdad, teoremas y sus diferentes tipos.
2. Define una proposición como una expresión que puede ser verdadera o falsa, y presenta los conectivos lógicos como símbolos para unir proposiciones.
3. Explica que la implicación lógica entre proposiciones p y q, simbolizada como p ⇒ q, es verdadera si p es falsa o si ambas son ver
Trabajo de logica matematica modalidad.olave_julian
El documento habla sobre la lógica matemática. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido mediante reglas y técnicas. También se aplica ampliamente en filosofía, matemáticas y computación. Describe conceptos como proposiciones, proposiciones compuestas, tablas de verdad, leyes lógicas y métodos de demostración.
Este documento describe progresiones aritméticas y geométricas. Explica que una progresión aritmética es una lista de números donde la diferencia entre términos consecutivos es constante, mientras que en una progresión geométrica la razón entre términos consecutivos es constante. También proporciona fórmulas para calcular la suma de los términos de una progresión aritmética o geométrica.
Este documento presenta la resolución proposicional, un método deductivo para probar la validez de argumentos en lógica proposicional. Se divide en cinco secciones: 1) lógica de cláusulas, 2) demostraciones por resolución, 3) algoritmos de resolución, 4) refinamientos de resolución y 5) argumentación por resolución. La sección sobre lógica de cláusulas introduce la sintaxis y semántica de la lógica clausal, mientras que la sección sobre demostraciones por
Este documento presenta la resolución proposicional, un método deductivo para probar la validez de argumentos lógicos expresados como conjuntos de cláusulas. Se define la sintaxis y semántica de la lógica de cláusulas, y se explica cómo convertir fórmulas lógicas a forma clausal. Además, se describe la regla de resolución y cómo se pueden construir demostraciones mediante resolución de cláusulas o fórmulas. Por último, se establece que la resolución es adecu
El documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y su relación con conceptos matemáticos como conjuntos y números. 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 define conceptos como proposiciones, conectivos lógicos, proposiciones condicionales y bicondicionales, y leyes como la doble negación y de Morgan.
La lógica matemática estudia los sistemas formales y su relación con conceptos matemáticos como conjuntos y números usando un 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. Ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.
(1) La lógica proporciona un lenguaje claro y métodos precisos para demostrar teoremas a partir de axiomas. (2) Se introducen nociones como proposiciones, valores de verdad y conectivos lógicos. (3) Los conectivos lógicos como la negación, disyunción, conjunción e implicancia sirven para construir nuevas proposiciones a partir de otras, y sus valores de verdad se determinan mediante tablas de verdad.
Este documento presenta una introducción a la lógica proposicional. Explica los conceptos básicos como proposiciones, tablas de verdad, leyes de la lógica y el cálculo deductivo. También describe el lenguaje de la lógica proposicional que incluye letras proposicionales, conectivas lógicas y tablas de verdad. Finalmente, explica brevemente las reglas de inferencia y cómo realizar deducciones lógicas.
Este documento presenta los objetivos y contenidos de la primera parte de una clase de lógica matemática. Introduce conceptos como proposiciones lógicas, proposiciones atómicas y compuestas, conectivos lógicos, tablas de verdad y equivalencia lógica. Explica cómo representar simbólicamente proposiciones y razonamientos lógicos, y evalúa la validez de estos últimos.
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
Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo proposiciones, conectivos lógicos, tablas de verdad y equivalencias lógicas. Explica qué es una proposición y cómo se representan, introduce los conectivos negación, conjunción, disyunción, implicación y bicondicional, y muestra sus tablas de verdad respectivas. Además, cubre conceptos como tautologías, contradicciones y proposiciones contingentes.
Este documento presenta los conceptos fundamentales de la lógica proposicional. Define una proposición como un enunciado que puede ser verdadero o falso. Explica que la lógica proposicional estudia la formación de proposiciones complejas a partir de proposiciones simples usando conectivas lógicas como la negación, conjunción, disyunción y condicional. También presenta tablas de verdad para estas conectivas y leyes lógicas como las leyes de Morgan y la distribución.
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.
El documento explica los conceptos básicos de la lógica de predicados, incluyendo la forma normal de una fórmula, reglas de inferencia como modus ponens y modus tollens, y el proceso de transformar fórmulas a cláusulas mediante la eliminación de cuantificadores, introducción de funciones de Skolem y movimiento de conectivos.
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
Breve introducción al estudio de la lógica matemática en su etapa primaria, Se comienza con una motivación y se termina con las proposiciones y conectivos lógicos!!
1. El documento introduce conceptos básicos de lógica matemática como proposiciones, conectivos lógicos, tablas de verdad, teoremas y sus diferentes tipos.
2. Define una proposición como una expresión que puede ser verdadera o falsa, y presenta los conectivos lógicos como símbolos para unir proposiciones.
3. Explica que la implicación lógica entre proposiciones p y q, simbolizada como p ⇒ q, es verdadera si p es falsa o si ambas son ver
Trabajo de logica matematica modalidad.olave_julian
El documento habla sobre la lógica matemática. Explica que la lógica estudia la forma del razonamiento y determina si un argumento es válido mediante reglas y técnicas. También se aplica ampliamente en filosofía, matemáticas y computación. Describe conceptos como proposiciones, proposiciones compuestas, tablas de verdad, leyes lógicas y métodos de demostración.
Este documento describe progresiones aritméticas y geométricas. Explica que una progresión aritmética es una lista de números donde la diferencia entre términos consecutivos es constante, mientras que en una progresión geométrica la razón entre términos consecutivos es constante. También proporciona fórmulas para calcular la suma de los términos de una progresión aritmética o geométrica.
Este documento presenta la resolución proposicional, un método deductivo para probar la validez de argumentos en lógica proposicional. Se divide en cinco secciones: 1) lógica de cláusulas, 2) demostraciones por resolución, 3) algoritmos de resolución, 4) refinamientos de resolución y 5) argumentación por resolución. La sección sobre lógica de cláusulas introduce la sintaxis y semántica de la lógica clausal, mientras que la sección sobre demostraciones por
Este documento presenta la resolución proposicional, un método deductivo para probar la validez de argumentos lógicos expresados como conjuntos de cláusulas. Se define la sintaxis y semántica de la lógica de cláusulas, y se explica cómo convertir fórmulas lógicas a forma clausal. Además, se describe la regla de resolución y cómo se pueden construir demostraciones mediante resolución de cláusulas o fórmulas. Por último, se establece que la resolución es adecu
El documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y su relación con conceptos matemáticos como conjuntos y números. 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 define conceptos como proposiciones, conectivos lógicos, proposiciones condicionales y bicondicionales, y leyes como la doble negación y de Morgan.
La lógica matemática estudia los sistemas formales y su relación con conceptos matemáticos como conjuntos y números usando un 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. Ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.
(1) La lógica proporciona un lenguaje claro y métodos precisos para demostrar teoremas a partir de axiomas. (2) Se introducen nociones como proposiciones, valores de verdad y conectivos lógicos. (3) Los conectivos lógicos como la negación, disyunción, conjunción e implicancia sirven para construir nuevas proposiciones a partir de otras, y sus valores de verdad se determinan mediante tablas de verdad.
Este documento presenta una introducción a la lógica proposicional. Explica los conceptos básicos como proposiciones, tablas de verdad, leyes de la lógica y el cálculo deductivo. También describe el lenguaje de la lógica proposicional que incluye letras proposicionales, conectivas lógicas y tablas de verdad. Finalmente, explica brevemente las reglas de inferencia y cómo realizar deducciones lógicas.
Este documento presenta los objetivos y contenidos de la primera parte de una clase de lógica matemática. Introduce conceptos como proposiciones lógicas, proposiciones atómicas y compuestas, conectivos lógicos, tablas de verdad y equivalencia lógica. Explica cómo representar simbólicamente proposiciones y razonamientos lógicos, y evalúa la validez de estos últimos.
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
Este documento presenta los conceptos básicos de la lógica proposicional, incluyendo proposiciones, conectivos lógicos, tablas de verdad y equivalencias lógicas. Explica qué es una proposición y cómo se representan, introduce los conectivos negación, conjunción, disyunción, implicación y bicondicional, y muestra sus tablas de verdad respectivas. Además, cubre conceptos como tautologías, contradicciones y proposiciones contingentes.
Este documento presenta los conceptos fundamentales de la lógica proposicional. Define una proposición como un enunciado que puede ser verdadero o falso. Explica que la lógica proposicional estudia la formación de proposiciones complejas a partir de proposiciones simples usando conectivas lógicas como la negación, conjunción, disyunción y condicional. También presenta tablas de verdad para estas conectivas y leyes lógicas como las leyes de Morgan y la distribución.
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.
El documento describe conceptos básicos de lógica matemática como proposiciones, clases de proposiciones, conectivos lógicos y sus usos para formar proposiciones compuestas. También explica términos como tautología, contradicción y contingencia, y presenta ejemplos de leyes y métodos de demostración en lógica.
Este documento introduce los conceptos básicos de la lógica matemática, incluyendo proposiciones lógicas, operadores lógicos, tablas de verdad, y leyes lógicas. Explica que las proposiciones lógicas pueden ser simples o compuestas, y que las proposiciones compuestas se forman uniendo proposiciones simples con operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional. También define términos como tautología, cont
Este documento presenta conceptos básicos de lógica proposicional. Introduce las nociones de proposición, negación, conjunción, disyunción, implicación y bicondicional. Explica cómo representar proposiciones mediante letras y construir tablas de verdad. Además, define equivalencias lógicas y provee ejemplos para ilustrar los conceptos presentados.
El documento trata sobre la lógica matemática. Explica que la lógica matemática estudia los sistemas formales y su relación con conceptos matemáticos como conjuntos y números. 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 conceptos como proposiciones simples y compuestas, conectivos lógicos, tautologías, leyes como la doble negación y métodos de demostración como el direct
Este documento presenta un resumen del curso de Matemática Aplicada a la Medicina impartido en 2010. Incluye contenidos como lógica y conjuntos, análisis combinatorio y probabilidades, sistemas de números reales y relaciones y funciones. También explica conceptos de lógica proposicional como enunciados, proposiciones, conectivos lógicos, tablas de verdad y cuantificadores.
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
El documento describe las operaciones lógicas básicas como la negación, conjunción, disyunción y condicional que se pueden aplicar a proposiciones para formar proposiciones compuestas. También explica las tablas de verdad y leyes del álgebra proposicional como herramientas para analizar la validez lógica de estas operaciones. Finalmente, establece la correspondencia entre circuitos lógicos y expresiones proposicionales.
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.
1. Matemáticas Lógica Matemática
Discretas
La lógica:
Estudio del razonamiento.
Capítulo 1: Se analiza si un razonamiento es
correcto.
Lógica Matemática
Se centra en las relaciones entre los
Y Demostraciones
enunciados
No se centra en el contenido (significado)
de un enunciado particular.
Lógica Matemática Lógica Matemática
Cont... Cont...
Por ejemplo: A la lógica no le interesa el significado de las dos
premisas.
La lógica no permite determinar si estos enunciados
Todos los estudiantes llevan calculadora son verdaderos, pero si los dos primeros son ciertos
Los que usan calculadora son estudiosos entonces la lógica garantiza que el tercer enunciado
(conclusión) es verdadero.
Por lo tanto:
Los métodos lógicos son usados en matemáticas
Todos los estudiantes son estudiosos. para probar teoremas, en computación para
determinar si un programa realiza lo que se propone
y en sistemas digitales para calcular las salidas de
los circuitos.
1
2. Lógica Matemática Lógica Matemática
Proposiciones Cont...
Una proposición o enunciado es una oración Ejemplo:
que declara que algo es verdadero o falso Son proposiciones:
pero no ambas cosas. Ayer llovió
El sol esta brillando hoy
Se expresa con una afirmación declarativa y
7 es un número primo
no como una pregunta, instrucción, etc. 1+1 = 3
Son los bloques de construcción básicos para Margaret Michell escribió Lo que el viento se llevó
cualquier teoría de la lógica.
No son proposiciones:
Generalmente se las representa con letras ¡Qué bonita tarde!
minúsculas: p, q, r (variables positivas) Mira si esta lloviendo
Si n fuera número primo
¿es 4.5 entero?
Lógica Matemática Lógica Matemática
Conectores Cont...
Negación
Sirven para combinar proposiciones o
Si p es una proposición, la negación de p es la
variables positivas proposición “no p” denotada por ~p o p
Son la conjunción “y” y la disyunción “ó” ~p : “no es el caso p”
El resultado de unir dos o más De esta definición se desprende que:
proposiciones se llama proposiciones si p es verdadera entonces ~p es falsa
compuestas si p es falsa entonces ~p es verdadera
La negación no es un conector pero
también nos da una proposición La tabla de verdad es: p ~p
compuesta. V F
F V
2
3. Lógica Matemática Lógica Matemática
Cont... Cont...
Conjunción Cont..
Sean p y q proposiciones.
Su símbolo en lógica es el “∧”: p ∧ q ∧
La conjunción de p y q denotado p∧q es la proposición p y q
En programación generalmente se usa Si p: 1 + 1 = 3
el “&”: p&q q: Un decenio tiene 10 años
Otras representaciones son: p·q, pq La conjunción de p y q es
p∧q: 1 + 1 = 3 y un decenio tiene 10 años
En texto normal se identifica claramente
por la conjunción “y” p q ∧
p∧q
La tabla de verdad es: V V V
V F F
F V F
F F F
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont..
Disjunción Sean p y q proposiciones.
∨
Su símbolo en lógica es el “∨”: p ∨ q
La disjunción de p y q denotado p∨q es la proposición p o q
Si p: 1 + 1 = 3
En programación generalmente se usa q: Un decenio tiene 10 años
el “|”: p | q La disjunción de p o q es
Otra representación es: p+q p ∨ q: 1 + 1 = 3 ó un decenio tiene 10 años
En texto normal se identifica claramente p q p∨q
por la disjunción “o” La tabla de verdad es: V V V
V F V
F V V
F F F
3
4. Lógica Matemática Lógica Matemática
Cont... Cont...
Tablas de Verdad Representación de texto natural
Son el enunciado de todos los valores Se puede transformar un texto natural a
expresiones lógicas dividiéndolo en
de verdad que pueden tomar las
proposiciones y operadores (disjunción,
proposiciones dentro de una proposición
conjunción y negación)
compuesta.
Esta conversión nos ayuda a determinar
más fácilmente el valor de verdad de la
expresión.
Lógica Matemática Lógica Matemática
Cont... Proposiciones Condicionales
Cuando tenemos una proposición de la forma si p
Cont ... entonces q, decimos que tenemos una proposición
En cierto país esta prohibido tener más de tres gatos y condicional.
tres perros en una casa. Si una persona tiene 6 Esto significa que si p es verdadero, q tiene que ser
perros, pero ningún gato, ¿esta infringiendo la ley? verdadero también para que la expresión sea verdadera.
Si p es falso, no importa el valor de q, la expresión será
verdadera.
Convirtiendo: Se representan como:
p: tiene más de tres gatos
q: tiene más de tres perros
p⇒q
Si p ∧ q es verdadero, infringen la ley A “p” se la conoce como hipótesis y a “q” como
Para el hombre q es verdadero, y p es falso por tanto p ∧ q
conclusión.
es falso, por tanto no infringe la ley.
4
5. Lógica Matemática Lógica Matemática
Cont... Cont...
Definición:
Si p y q son proposiciones, la proposición
compuesta: si p entonces q es una proposición
En el lenguaje natural tiene varias
condicional y se denota: p→q formas de ser expresado:
p es la hipótesis o antecedente Si p entonces q
q es la conclusión o consecuente
p solo si q
Ejemplo: q es condición necesaria para p
1) p: tengo hambre
p es condición suficiente para q
q: comeré
p→q: Si tengo hambre, entonces comeré
2) p: está nevando
q: 3 + 5 = 8
p→q: Si está nevando, entonces 3 + 5 = 8
Lógica Matemática Lógica Matemática
Cont... Cont...
Ejercicio en clases 1.2.3: resolución:
a) Si María estudia mucho, entonces será una buena
Enuncie cada proposición en forma de estudiante.
proposición condicional. b) Si Juan cursa cálculo, entonces está en segundo, tercer o
a) María será una buena estudiante si estudia mucho. cuarto año de estudio de licenciatura.
b) Juan puede cursar cálculo sólo si está en su segundo, c) Si cantas, entonces me duelen los oídos.
tercer o cuarto año de estudio de licenciatura. d) Si los cachorros ganan la serie mundial, entonces ha
c) Cuando cantas, me duelen los oídos. contratado un lanzador relevista derecho.
d) Una condición necesaria para que los cochorros ganen la e) Si Rafael va a Disneylandia, entonces estará visitando
serie mundial es que consigan un lanzador relevista California.
derecho.
e) Una condición suficiente para que Rafael visite California
es que vaya a Disneylandia.
5
6. Lógica Matemática Lógica Matemática
Cont... Recíproco
Ejercicio en clases 1.2.6: Las proposiciones condicionales son
Si p es verdadera, q es falsa y r es verdadera, válidas en un solo sentido:
determine el valor de verdad de cada proposición
Que p ⇒ q no es lo mismo que q ⇒ p
condicional.
a) (p ∧ q) → r
A q ⇒ p se le llama el recíproco de p⇒q
b) (p ∨ q) → ~r Una proposición condicional puede ser
c) p ∧ (q → r) verdadera y su recíproca puede ser falsa
d) p → (q → ~r)
Lógica Matemática Lógica Matemática
Cont... Proposición Bicondicional o Equivalencia
Ejemplo 1:
Si me saco la loteria entonces soy millonario Equivalencia
Si soy millonario entonces me saco la loteria.
… ya que ambas proposiciones tienen siempre los
Ejemplo 2: mismos valores de verdad.
Si 1<2, entonces 3<6 A las equivalencias se las representa como:
p: 1<2 Verdadero
q: 3<6 Verdadero P≡Q
p→q Verdadero
q→p El reciproco es Verdadero Bicondicional
Ejemplo 3: … cuando la implicación (proposición compuesta)
Si 1>2, entonces 3<6 va en los dos sentidos se
p: 1>2 Falso Se representa por:
q: 3<6 Verdadero
p→q Verdadero ⇔
p⇔q
q→p El reciproco es Falso
p↔q
6
7. Lógica Matemática Lógica Matemática
Cont... Cont...
Definición: Es verdadero solamente cuando p y q tienen el mismo
Supongamos que las propociones compuestas P y Q valor de verdad.
están formadas por las proposiciones p1, p2,...,pn. El valor de verdad de la proposición de define por la
Decimos que P y Q son lógicamente equivalentes y siguiente tabla de verdad:
escribimos
P≡Q
p q p↔q
V V V
siempre que dados cualesquiera valores de verdad de V F F
p1, p2,...,pn, P y Q sean ambas verdaderas o falsas. F V F
F F V
Lógica Matemática Lógica Matemática
Cont... Cont...
Ejemplo 1:
En el lenguaje natural tiene varias
Soy buen alumno sí y solo sí tengo buenas notas
formas de ser expresado:
Ejemplo 2:
p si y solo si q
La afirmación 1<5 si y solo si 2<8 se puede escribir p
p es equivalente a q ↔q
p ssi q Definimos:
p es condición necesaria y suficiente p: 1<5 Verdadera
para q q: 2<8 Verdadera
Entonces p ↔ q es verdadera
Otra manera de expresar la afirmación es:
Una condición necesaria y suficiente para 1<5 es que 2<8
7
8. Lógica Matemática Lógica Matemática
Cont... Cont...
Ejemplo: (Leyes de DeMorgan)
Los teoremas de DeMorgan son:
Ejercicio en clases:
~(p v q) ≡ ~p ∧ ~q Demostrar que la negación de p→ q es
~(p ∧ q) ≡ ~p v ~q lógicamente equivalente a p ∧ ~q
Demostración por tabla de verdad. Demostrar que: p ↔q ≡ (p → q)∧(q → p)
Para la primera: p q ~(p v q) ~p ∧ ~q
V V F F
V F F F
F V F F
F F V V
Dados cualesquiera valores de verdad de p y q, P y Q son
ambas verdaderas o ambas falses, entonces P ≡ Q
Lógica Matemática Lógica Matemática
Contrarrecíproco o contrapositiva Cont...
Ejemplo 1:
Definición: Demostrar que la proposición condicional y su contrapositiva
son equivalentes:
El contrareciproco de una proposición p q ~p ~q p→q ~q → ~p
condicional p⇒q es la proposición V V F F V V
V F F V F F
~q ⇒ ~p F V V F V V
F F V V V V
Se puede demostrar que:
p ⇒ q ≡ ~q ⇒ ~p Ejemplo 2:
Si 1<4, entonces 5>8 p: 1<4, q: 5>8
Nótese que no es lo mismo el recíproco que el Simbólicamente: p → q (Falso)
contrarecíproco. Reciprocamente: q → p (Verdadero)
Si 5>8, entonces 1<4
Contrapositiva: ~q → ~ p (Falso)
Si 5 no es mayor que 8, entonces 1 no es menor que 4
8
9. Lógica Matemática Lógica Matemática
Cont... Cuantificadores
Deber: Cuando se usa variables en las sentencias,
Hacer los ejercicios Impares de la pagina 16, 17, necesitamos de cuantificadores para
18 convertirlas en proposiciones.
n es primo (no es una proposición, no tiene un
valor de verdad, depende de cuanto valga n)
Todo n es primo (es una proposición, ya que su
valor de verdad es falso)
Lógica Matemática Lógica Matemática
Cont... Cont...
Definición: Ejemplo
Sea P(x) un enunciado que contiene la variable x Sea A = {x | x es un entero menor que 8}
y sea D un conjunto. P es una función P(x) es la oración:
preposicional (con respecto a D) si para cada x
“x es un entero menor que 8”
en D, P(x) es una proposición. D es el dominio
de discurso de P.
La proposición común es:
P(x) es la propiedad que tienen en común los “es un entero menor que 8”
elementos de un conjunto. Así un elemento de
{x | P(x)} es un objeto t para el cual la proposición Como P(1) es verdadero, 1 Є A
P(t) es verdadera.
En una oración de estas P(x) es el predicado.
9
10. Lógica Matemática Lógica Matemática
Cont... Cont...
Cuantificador Universal
Cuando aseveramos que todos los elementos de un
Cont..
conjunto dado, cumplen cierta condición usamos el En lenguaje natural se expresa de esta
cuantificador universal. manera:
Para todo x en D, se cumple P(x)
Se representa como: ∀x en D, P(x)
Para cualquier x en D, es verdad que P(x)
Donde x es la variable, D es el conjunto o dominio de
referencia y P es la proposición que x debe hacer
verdadera para todos sus valores, para que toda la El cuantificado universal ∀ se lee:
expresión sea verdadera. “Para cada”
La cuantificación universal de un predicado P(x) es la “Para todo”
proposición “Para cualquier”
“Para todos los valores de x, P(x) es verdad”
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont.. Cuantificador Existencial
Ejemplo 1: Cuando aseveramos que al menos un
elemento de un conjunto cumple con una
Para todo x en los reales, si x>1 entonces x+1>1 condición, estamos utilizando el cuantificador
∀x en R, x>1 ⇒ x+1>1 existencial.
Ejemplo 2: Se representa como:
Sea Q(x): x + 1 < 4 ∃x en D, P(x)
Entonces ∀x ≥ 0, Q(x) es una proposición falsa Donde x es la variable que tiene como dominio el
conjunto D y se afirma que al menos uno de los
porque Q(5) no es verdadera. elementos de este conjunto da un valor verdadero a
P(x) al ser reemplazado
10
11. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont... Veracidad de Cuantificadores
En el lenguaje natural se expresa como: Para determinar que una proposición cuantificada
Para algún x en D, se cumple P(x) universalmente es falsa basta con hallar un
contraejemplo (valor de la variable que haga que la
Para al menos un x en D, es verdad que P(x)
proposición sea falsa)
Existe al menos un x en D, tal que P(x)
Para determinar que una proposición existencial es
Ejemplo: falsa hay que probar que todos los elementos no
Existen x en los Reales, tales que x>0 cumplen con la proposición.
∃x en R, x>0
Lógica Matemática Lógica Matemática
Cont... Cont...
Leyes Generalizadas de DeMorgan Cont...
Son reglas aplicadas a los Ejemplo:
cuantificadores: “No todo lo que brilla es oro” es igual a
~(∀xP(x)) ≡ ∃x~P(x) decir “Hay cosas que brillan y no son
~(∃ xP(x)) ≡ ∀x~P(x) oro”
Demostración por enumeración y leyes p: x brilla
de DeMorgan tradicionales. q: x es oro
P(x): p ⇒ q
~(∀xP(x)) ≡ ∃x~P(x)
11
12. Lógica Matemática Lógica Matemática
Cont... Cont...
Cuantificadores con múltiples variables Deber
Se pueden tener varios cuantificadores para Ejercicios impares de las paginas 32 y 33
varias variables.
Ejemplo:
Para todo número real, hay otro número real, tal
que sumados, el resultado es 0
∀x∃y en R, x+y=0
Lógica Matemática Lógica Matemática
Propiedades para las operaciones con proposiciones Propiedades para las operaciones de implicación
Propiedades Conmutativas
pvq≡q∨p
(p → q) ≡ ((~p) ∨ q)
p∧q≡q∧p (p → q) ≡ ((~q) → ~ p)
Propiedades Asociativas
p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r (p ↔ q) ≡ ((p → q) ∧ (q → p))
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
Propiedades Distributivas ~(p → q) ≡ (p ∧ ~q)
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) ~(p ↔ q) ≡ ((p ∧ ~q) ∨ (q ∧ ~p))
Propiedades Idempotentes
p∨p≡p
p∧p≡p
Propiedades de negación
Ejercicio en clases:
~(~p) ≡ p Hacer las tablas de verdad de las dos
~(p∨q) ≡ (~p) ∧ (~q)
~(p∧q) ≡ (~p) ∨ (~q) últimas
12
13. Lógica Matemática Lógica Matemática
Propiedades para los cuantificadores Demostraciones
~(∀x P(x)) ≡ ∃x ~P(x)
Sistemas matemáticos
~(∃x ~P(x)) ≡ ∀x P(x)
Estas formados por:
∃x (P(x) → Q(x)) ≡ ∀x P(x) → ∃x Q(x)
Axiomas
∃x P(x) → ∀x Q(x) ≡ ∀x (P(x) → Q(x)) Definiciones
∃x (P(x) ∨ Q(x)) ≡ ∃x P(x) ∨ ∃x Q(x) Teoremas
Lemas
Corolarios
Términos no definidos en definidos en
forma explícita sino implícita mediante los
axiomas.
Lógica Matemática Lógica Matemática
Cont... Cont...
Axiomas Definiciones
Son verdades establecidas e irrebatibles Nuevos conceptos que se elaboran a
dentro del sistema. partir de los términos ya existentes.
Ejemplos:
Ejemplos:
Conjunto vacío es aquel que carece de
Dados dos puntos, existe una y solamente elementos.
una línea que los contiene a ambos. El valor absoluto |x| de un número real x es
Para todos los números reales x y y, x si x es positivo o 0 y en caso contrario es
xy=yx -x
13
14. Lógica Matemática Lógica Matemática
Cont... Cont...
Teoremas Lemas
Los teoremas se pueden derivar de proposiciones
que se han probado, son correctas.
Son teoremas que por si mismos no
Es una proposición cuya verdad se ha demostrado. tienen gran uso, pero sirven para
Algunos se conocen como lemas y corolarios. demostrar otros teoremas.
Ejemplo: Ejemplo:
x es un número real, si x>1 entonces x+1>1
Si x es un entero positivo, entonces x -1 es
Si los tres lados de un triangulo son iguales, positivo o x -1 =0
entonces los ángulos opuestos a ellos son
iguales. (a)
Lógica Matemática Lógica Matemática
Cont... Las Pruebas
Corolarios Las pruebas son el argumento de que
nos valemos para establecer la validez
Son teoremas que se deducen
de un teorema
fácilmente de otro teorema.
Hay muchos tipos de pruebas, dos de
las más sencillas son:
Ejemplo:
La prueba directa (Demostración Directa)
Si un triángulo es equilátero, tiene sus 3
La prueba por contradicción (Demostración
ángulos iguales
por Contradicción)
Si un triangulo es equilátero, entonces es
equiángulo. (a partir de (a))
14
15. Lógica Matemática Lógica Matemática
Cont... Cont...
Prueba Directa Cont...
Frecuentemente los teoremas tienen la forma: Para demostrar esto suponemos que x1, x2, x3, ... , xn son
Para todo x1, x2, x3, ... , xn, si p(x1, x2, x3, ... , xn), entonces elementos arbitrarios del dominio en discurso.
q (x1, x2, x3, ... , xn) Si p(x1, x2, x3, ... , xn) es falsa entonces (1) es verdadero
Así sólo es necesario considerar el caso en que p(x1, x2, x3,
Esta afirmación cuantificada universalmente es ... , xn) sea verdadera.
verdadera siempre que la proposición condicional Entonces debemos probar que q(x1,...,xn) es
1. si p(x1, x2, x3, ... , xn), entonce q (x1, x2, x3, ... , xn) verdadero, usando a p(x1,...,xn), demás axiomas y
sea verdadera para todo x1, x2, x3, ... , xn en el dominio en teoremas previamente derivados.
discurso
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont...
Prueba por Contradicción
Ejemplo:
Para todos los números reales d, d1, d2 y x Se asume que la conclusión es falsa,
Si d = min[d1, d2] y x≤d, entonces x≤d1 y x≤d2 siendo la hipótesis verdadera:
p y ~q son verdadero y se trata de llegar a
Demostración una contradicción de la forma: ~r∧r
Asumimos que d, d1, d2 y x son números reales arbitrarios
Suponemos d = min[d1, d2] y x≤d es verdadero y tratamos de A esta prueba también se la conoce
probar que x≤d1 y x≤d2 también lo es. como prueba indirecta.
Por la definición de mínimo d≤d1 o d≤d2
Si x≤d entonces x≤d1 Colocado en notación lógica es igual a:
Si x≤d y d≤d2 entonces x≤d2 p ∧~q ⇒ ~r∧r
Entonces x≤d1 y x≤d2
15
16. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont... Cont...
La demostración por contradicción puede justificarse Otra manera de verla es que:
observando que p→q y p∧~q→r∧~r son equivalentes. Este método se basa en la tautología
( ( p→q ) ∧ ( ~q ) ) → ( ~p )
p q R p→q p ∧ ~q r∧~r p ∧ ~q → r ∧ ~ r
En consecuencia la regla de inferencia
V V V V F F V
p→q
V V F V F F V
V F V F V F F ~q
V F F F V F F ∴ ~p es válida
F V V V F F V Esto establece que si una proposición p implica una
F V F V F F V proposición falsa q, entonces p debe ser falsa.
F F V V F F V
F F F V F F V
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont... Cont...
Ejemplo 1: Ejemplo 2:
Demuestre que no hay número racional alguno p/q cuyo
Para todos los reales x y y, si x+y≥2 entonces x≥1 o y≥1 cuadrado sea 2. En otras palabras demuestre que √2 es
irracional.
Demostración Demostración
p: x+y≥2 (verdadera) y q: x≥1 o y≥1 (asumimos falso) Supóngase que (p/q)2=2 para algunos enteros p y q, que no tienen
factores comunes
Negamos la conclusión y aplicamos DeMorgan
p2/q2 = 2 entonces p2= 2q2
x<1 y y<1 por lo tanto p2 es par y p es par (el cuadrado de un impar es impar)
Un teorema anterior nos permite sumar las desigualdades Entonces p=2n para algún entero n
x+y< 1+1 = 2 (~q es falso por lo tanto q es verdadero) 2q2=p2=(2n)2=4n2
q2=2n2 en consecuencia q2 es par y q es par
Hemos obtenido la contradicción p ∧ ~p
p y q son par por lo tanto tienen un factor común de 2, lo cual es una
De esta manera concluimos que la afirmación es verdadera contradicción a la suposición
Entonces la suposición es falsa
16
17. Lógica Matemática Lógica Matemática
Cont... Cont...
Prueba por Contrapositiva Prueba por Contraejemplo
Si en una demostración por contradicción deducimos ~p
entonces hemos demostrado ~q → ~p
Ejemplo:
Ejemplo:
Sea n un entero. Demuestre que si n2 es impar entonces n Si x y y son números reales, (x2 = y2) ↔ (x=y).
es impar. Por medio de un contraejemplo se demuestra
p: n2 es impar (-3)2 = (3)2 y -3 ≠ 3
q: n es impar
Debemos demostrar que p→q es verdadera
En su lugar demostramos la contrapositiva ~q → ~p (verdadero) Entonces el resultado es falso
Suponemos: n no es impar ⇒ n es par
⇒ n = 2K, donde k es un entero
n2 = (2k)2 = 4K2 = 2(2k2)
Por lo tanto n es par y n 2 es par, lo cual es la contrapositiva de la
proposición
p → q ≡ ~q → ~p (verdadero)
Lógica Matemática Lógica Matemática
Cont... Cont...
Argumentos Razonamiento deductivo
Consideremos las siguientes proposiciones Es proceso de extraer una conclusión a partir
El problema está en el módulo 17 o en el módulo 81 de una serie de proposiciones
El problema es un error numérico
El módulo 81 no tiene un error numérico Hipótesis o premisas
El problema está en el módulo 17 o en el módulo 81
Suponiendo que son verdaderas entonces es El problema es un error numérico
razonable concluir: El módulo 81 no tiene un error numérico
Conclusión
El problema está en el módulo 17
El problema está en el módulo 17
17
18. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont…
Argumento deductivo
Definición
Consta de ciertas hipótesis y una conclusión
Un argumento es una serie de proposiciones que se escriben:
Su forma es: p1
p2
Si p1 y p2 y p3 y … y pn, entonces q p3
o p1, p2, p3, …, pn /∴q
Hipótesis
o .
Premisas .
.
El argumento es válido: si p1 y p2 y p3 y … y pn pn
son verdaderas, entonces q es verdadera Conclusión
∴q
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont… Cont...
Ejemplo 1:
Un argumento es válido siempre que p1 y p2 y p3 y … y Determine si el argumento
pn sean todas verdaderas, entonces q deberá ser p→q
también verdadera, en caso contrario el argumento no p
∴q es válido
es válido (falacia)
No se dice que la conclusión es verdadera; si no que si Solución 1
p q p→q P q
se garantizan las hipótesis entonces también se Observemos que siempre que las hipótesis p→q
V V V V V
y p son verdaderas las conclusión q también
garantiza la conclusión, pues un argumento es válido es verdadera
V F F V F
debido a su forma, no a su contenido Entonces el argumento es válido
F V V F F
F F V F F
Solución 2
Podemos verificar directamente y suponemos que p→q y p son verdaderas,
entonces q debe ser verdadera , ya que en caso contrario p→q debería ser falsa y
el argumento por lo tanto es válido
18
19. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont...
Ejemplo 2:
Represente el argumento Deber
Si 2=3, entonces me comí mi sombrero
me comí mi sombrero Ejercicios 7, 8, 9, 10-14, 16, 17, 19, 21, 24, 25,
∴ 2=3
26 de las paginas 40 y 41
En forma simbólica
p: 2=3,
q: me comí mi sombrero
El argumento puede escribirse
p→q
q
∴p
Si el argumento es válido, entonces siempre que p→q y q sean ambas
verdaderas, p debería ser verdadera.
Supongamos que p→q y q son verdaderas. Esto es posible si p es falso y q
es verdadero
Pero como p no es verdadero, entonces el argumento no es válido.
Lógica Matemática Lógica Matemática
Cont... Cont...
Prueba por Resolución Cont...
Resolución es un método de prueba Para realizar la prueba por resolución, la hipótesis y la
conclusión deben estar escritas como cláusulas.
propuesto por J. A. Robinson en 1965.
Una cláusula consiste en varios términos separados por
Depende de la regla: “o”, donde cada término es una variable o la negación de
Si p v q y ~p v r son verdaderas, entonces q una variable.
v r es verdadero. La siguiente expresión es una cláusula:
Esta regla puede ser probado utilizando las a v b v ~c v d
Tablas de verdad Estas expresiones no son cláusulas:
xy v w v ~z (xy no es una variable sino dos)
p⇒q (no están separadas por “o”)
19
20. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont...
Una demostración directa por resolución se realiza Cont...
aplicando varias veces la regla a pares de afirmaciones, Aplicamos la regla a 1 y 2, deducimos:
para deducir nuevas afirmaciones, hasta que se obtenga
la conclusión. 4. bvc
Se puede probar por resolución que si: Aplicamos la regla a 3 y 4, deducimos:
1. avb bvd
2. ~a v c
3. ~c v d Esta es la conclusión deseada, con lo cual
∴bvd hemos demostrado la afirmación
Son verdaderos
b v d es verdadero también
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont... Cont...
Casos especiales de la regla de resolución son: Ejercicio 1 en clase:
Si p v q y ~p es verdad, entonces q es verdadera Probar que
Si p y ~p v r es verdad, entonces r es verdadera 1. a
2. ~a v c
3. ~c v d
Concluimos que: d
20
21. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont...
Cont... Ejercicio 3 en clase: Resolución
Se puede utilizar el reemplazo en caso de 1. a v ~b Aplicamos la regla a:
tener dos variables juntas: 2. ~a v c 1 y 2, deducimos:
~(a v b) = ~a ∧ ~b 3. ~c 6. ~bvc
a v bc = (a v b) ∧ (a v c) 4. ~b 6 y 3, deducimos:
5. Concluimos ~b 7. ~b
Ejercicio 2 en clase:
7 y 4, deducimos:
Usar remplazo 8. ~b
a v ~bc
~(a v d)
Lógica Matemática Lógica Matemática
Cont... Inducción Matemática
Deber 3 La inducción matemática establece la
Ejercicios del 1 al 8 de la pagina 46 siguiente regla:
Si un teorema se cumple para 1 y para n,
también se cumple para n+1
Dicho de otra manera, si un teorema
se cumple para un caso base y para un
número cualquiera, también se
cumplira para el siguiente número.
21
22. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont... Cont...
Imaginemos que tenemos un número n de Principio de la Inducción Matemática
esferas. Supongamos que para cada entero positivo n tenemos
Sabemos que la primera esfera es roja, y una afirmación S(n) que es verdadera o falsa.
que las demás esferas son rojas si todas Suponemos que:
a) S(1) es verdadera
las anteriores son rojas.
b) si S(i) es verdadera, para toda i<n+1, entonces S(n+1) es
A partir de estas dos proposiciones, verdadera
podemos deducir que todas las esferas La conclusión a la que podemos llegar de estas dos
son rojas verdades es que S(n) es verdadera para todo entero
positivo n.
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont... Cont...
La prueba por inducción se puede separar en dos Ejemplo1:
pasos: Demostrar que n! ≥ 2n-1 para n=1, 2...
El paso Base, y Paso Base:
El paso Inductivo 1! ≥ 21-1 (Verdadero)
Paso Inductivo
Asumimos que n! ≥ 2n-1
El paso Básico se encarga de demostrar que P(1) Vemos si (n+1)! ≥ 2n+1-1
es verdadero. Utilizando matemáticas llegamos a la conclusión
de que es verdadero
El paso Inductivo se encarga de demostrar que si
Conclusión
P(n) es verdad, P(n+1) es verdad también.
n! ≥ 2n-1 para n=1, 2...
22
23. Lógica Matemática Lógica Matemática
Cont... Cont...
Cont...
Cont... Ejemplo 2:
Cuando se demuestra que P(i) es verdadero para Demostrar que Si n es un entero positivo, entonces n(n+1) es
divisible por 2.
todos los valores i<n+1, y se prueba que P(n+1)
es verdad, se le llama forma fuerte de inducción Paso Base:
Sea n = 1 , entonces n( n + 1 ) = 2 ( Verdadero )
matemática.
La otra alternativa es asumir que si P(n) es Paso Inductivo
Hipótesis inductiva: k( k + 1 ) es divisible por 2
verdadero, y demostrar que a partir de ahí que Por demostrar: ( k + 1 )( k + 2 ) es divisible por 2
P(n+1) también debe ser verdadero. Demostración:
( k + 1 )( k + 2 ) = k( k + 1 ) + 2( k + 1 )
k ( k + 1 ) es divisible por 2 ( hipótesis )
2 ( k + 1 ) es divisible por 2 ( entero par )
Conclusión
Por lo tanto ( k + 1 )( k + 2 ) es divisible por 2
Lógica Matemática Lógica Matemática
Cont... Cont...
Cont... Cont...
Ejemplo 4:
Ejemplo 3: Demostrar que Si n es un entero positivo, entonces 32n + 7 es divisible por 8.
2 + 6 + 10 + ........... + ( 4n - 2 ) = 2n2, n=1, 2, …..
Paso Base: Paso Base:
Si n = 1, entonces 2 = 2 ( Verdadero ) Sea n = 1, entonces 32n + 7 = 16 ( Verdadero )
Paso Inductivo Paso Inductivo
Hipótesis inductiva: 32k + 7 es divisible por 8
Hipótesis inductiva: 2 + 6 + 10 + ..... + ( 4k - 2 ) = 2k2
Por demostrar: 32( k + 1 ) + 7 es divisible por 8
Por demostrar:
Demostración:
2 + 6 + 10 +...... + ( 4k - 2 ) + ( 4( k + 1 ) - 2) = 2( k + 1 )2 32k + 7 es divisible por 8 ( hipótesis )
Demostración: 32(k+1) + 7 es divisible por 8
2 + 6 + 10 + ..... + ( 4k - 2) = 2k2 ( hipótesis ) 32k * 32 + 7 es divisible por 8
2 + 6 + 10 + ..... + ( 4k - 2) + ( 4(k + 1) - 2 ) = 2k2 + (4(k + 1) - 2) 9( 32k) + 7 es divisible por 8
2 + 6 + 10 + ..... + ( 4k - 2) + ( 4(k + 1) - 2 ) = 2(k + 1)2 ( 8+1 )( 32k) + 7 es divisible por 8
8 ( 32k) + (( 32k) + 7) es divisible por 8
Conclusión
Conclusión
Se cumple Por lo tanto 32( k + 1 ) + 7 es divisible por 8
23
24. Lógica Matemática
Cont…
Demuestra por inducción matemática que:
1 ) Si n es un entero positivo mayor que 1, entonces
22n - 3n - 1 es divisible por 9.
2 ) Sean a y n enteros positivos, entonces a2n - 1 es
divisible por a + 1
3 ) an - bn es divisible por a - b
4 ) a2n - b2n es divisible por a + b
5 ) a2n - 1 - b2n - 1 es divisible por a - b
6 ) 1 * 2 + 2 * 3 + ... + n ( n + 1 ) = n ( n + 1 ) ( n + 2 ) / 3
7 ) 23 + 43 + ... + ( 2n )3 = 2 n2 ( n + 1 )2
24