Este documento presenta una introducción a la lógica proposicional y la teoría de conjuntos. Explica que la lógica proposicional estudia las variables proposicionales, sus implicaciones y valores de verdad, mientras que la teoría de conjuntos estudia relaciones y propiedades entre colecciones de objetos. El objetivo es que los estudiantes comprendan cómo se construyen las propiedades y relaciones en diferentes ramas del conocimiento aplicando la matemática. Se explican conceptos como proposiciones, conectivos lógicos, t
La pendiente de una recta representa el grado de inclinación de la línea con respecto al eje X y se define como el cambio en el eje Y dividido por el cambio en el eje X entre dos puntos de la recta. En la ecuación de la recta y=mx+b, la pendiente se representa por m. Existen diferentes clases de pendiente como positiva, negativa, cero e indeterminada dependiendo de si m es mayor, menor, igual a cero o la recta es vertical, respectivamente.
Este documento define las inferencias lógicas y describe varias reglas de inferencia comúnmente utilizadas en las matemáticas, incluido el Modus Ponens, el Modus Tollens, el Modus Tollens Ponens y el Silogismo Hipotético. Proporciona ejemplos para ilustrar cada regla lógica.
Negación de proposiciones con cuantificadoresAntoKizz Caztro
Este documento presenta los conceptos de proposiciones, negación, cuantificadores y su simbolización en lógica. Explica que una proposición puede ser verdadera o falsa pero no ambas, y que la negación de una proposición es falsa si la proposición es verdadera y viceversa. También define los cuantificadores universal y existencial y cómo se representan, así como cómo se determina la negación de enunciados con cuantificadores.
Este documento presenta una introducción a la lógica matemática. Explica conceptos fundamentales como proposiciones, operadores lógicos como la negación, conjunción, disyunción inclusiva y exclusiva, y la enunciación hipotética. Define cada uno de estos conceptos y provee ejemplos para ilustrarlos. El objetivo general es que los estudiantes comprendan los elementos básicos de la lógica formal y puedan analizar y evaluar argumentos de manera precisa.
Este documento presenta una introducción al concepto de límite matemático a través de varios ejemplos intuitivos. Luego, explica formalmente la definición precisa de límite y métodos para calcular límites, incluyendo tablas, gráficas, teoremas y sustitución directa. Finalmente, cubre límites laterales, límites que involucran el infinito, asíntotas y continuidad. El objetivo es proporcionar una comprensión básica pero rigurosa de este importante concepto.
Este documento presenta conceptos básicos de lógica como proposiciones, valores de verdad, conectivos lógicos y tablas de verdad. Define una proposición como una expresión que puede ser verdadera o falsa. Explica proposiciones simples y compuestas, y cómo usar conectivos lógicos como la negación, conjunción, disyunción, implicación y doble implicación para unir proposiciones. Finalmente, incluye tablas de verdad para determinar el valor de verdad de proposiciones compuestas en función
Este documento presenta los conceptos y métodos de integración indefinida y definida. Incluye ejemplos resueltos de diferentes métodos de integración como integración inmediata, sustitución o cambio de variables e integración por partes. También incluye aplicaciones como cálculo de áreas, volúmenes y longitudes de curvas.
Este documento presenta los conceptos básicos de la lógica proposicional. Define proposiciones, operadores lógicos como la negación, conjunción, disyunción y condicional. Explica las tablas de verdad y cómo determinar el valor de verdad de proposiciones compuestas. También introduce conceptos como tautologías, contradicciones, implicaciones lógicas y equivalencias lógicas.
La pendiente de una recta representa el grado de inclinación de la línea con respecto al eje X y se define como el cambio en el eje Y dividido por el cambio en el eje X entre dos puntos de la recta. En la ecuación de la recta y=mx+b, la pendiente se representa por m. Existen diferentes clases de pendiente como positiva, negativa, cero e indeterminada dependiendo de si m es mayor, menor, igual a cero o la recta es vertical, respectivamente.
Este documento define las inferencias lógicas y describe varias reglas de inferencia comúnmente utilizadas en las matemáticas, incluido el Modus Ponens, el Modus Tollens, el Modus Tollens Ponens y el Silogismo Hipotético. Proporciona ejemplos para ilustrar cada regla lógica.
Negación de proposiciones con cuantificadoresAntoKizz Caztro
Este documento presenta los conceptos de proposiciones, negación, cuantificadores y su simbolización en lógica. Explica que una proposición puede ser verdadera o falsa pero no ambas, y que la negación de una proposición es falsa si la proposición es verdadera y viceversa. También define los cuantificadores universal y existencial y cómo se representan, así como cómo se determina la negación de enunciados con cuantificadores.
Este documento presenta una introducción a la lógica matemática. Explica conceptos fundamentales como proposiciones, operadores lógicos como la negación, conjunción, disyunción inclusiva y exclusiva, y la enunciación hipotética. Define cada uno de estos conceptos y provee ejemplos para ilustrarlos. El objetivo general es que los estudiantes comprendan los elementos básicos de la lógica formal y puedan analizar y evaluar argumentos de manera precisa.
Este documento presenta una introducción al concepto de límite matemático a través de varios ejemplos intuitivos. Luego, explica formalmente la definición precisa de límite y métodos para calcular límites, incluyendo tablas, gráficas, teoremas y sustitución directa. Finalmente, cubre límites laterales, límites que involucran el infinito, asíntotas y continuidad. El objetivo es proporcionar una comprensión básica pero rigurosa de este importante concepto.
Este documento presenta conceptos básicos de lógica como proposiciones, valores de verdad, conectivos lógicos y tablas de verdad. Define una proposición como una expresión que puede ser verdadera o falsa. Explica proposiciones simples y compuestas, y cómo usar conectivos lógicos como la negación, conjunción, disyunción, implicación y doble implicación para unir proposiciones. Finalmente, incluye tablas de verdad para determinar el valor de verdad de proposiciones compuestas en función
Este documento presenta los conceptos y métodos de integración indefinida y definida. Incluye ejemplos resueltos de diferentes métodos de integración como integración inmediata, sustitución o cambio de variables e integración por partes. También incluye aplicaciones como cálculo de áreas, volúmenes y longitudes de curvas.
Este documento presenta los conceptos básicos de la lógica proposicional. Define proposiciones, operadores lógicos como la negación, conjunción, disyunción y condicional. Explica las tablas de verdad y cómo determinar el valor de verdad de proposiciones compuestas. También introduce conceptos como tautologías, contradicciones, implicaciones lógicas y equivalencias lógicas.
1. El documento presenta ejercicios propuestos relacionados con funciones de variable real, incluyendo determinar dominios y rangos, identificar gráficas de funciones, y analizar propiedades como monotonía, simetría y asíntotas. Se proponen más de 30 ejercicios con diferentes niveles de complejidad sobre este tema.
Este documento explica los cuantificadores en lógica y teoría de conjuntos. Los cuantificadores indican "cuántos" elementos de un conjunto cumplen con una propiedad y permiten construir proposiciones particularizando o generalizando funciones proposicionales. El cuantificador universal generaliza una proposición a todos los elementos de un conjunto, mientras que el cuantificador existencial particulariza una proposición a al menos un elemento. Las proposiciones pueden estar negadas y los cuantificadores tienen reglas específicas para la negación.
Este documento resume varios problemas de física relacionados con la caída libre. Resuelve problemas sobre la posición y velocidad de una pelota de golf al caer de un edificio alto durante 1, 2 y 3 segundos. También calcula la velocidad inicial y final de un llavero lanzado verticalmente y atrapado 1.5 segundos después. Resuelve otros problemas sobre caída libre, incluyendo el tiempo que tarda una pelota de béisbol en alcanzar su máxima altura y la velocidad y altura alcanzada por una flecha
El documento describe varias leyes y reglas lógicas, incluyendo leyes lógicas como idempotencia, asociativa y distributiva. También describe reglas de inferencia como modus ponens, modus tollens y modus tollendo ponens. Finalmente, presenta ejemplos para ilustrar cómo aplicar estas leyes y reglas lógicas en razonamientos y demostraciones.
El documento define el determinante como una función que asigna un único número real a una matriz cuadrada. Explica métodos para calcular determinantes como la regla de Sarrus y el método de la estrella. También describe propiedades de los determinantes como que cambian de signo si se intercambian dos filas o columnas y que son iguales al producto de los elementos de la diagonal principal para matrices triangulares. Por último, explica cómo calcular la inversa de una matriz usando determinantes.
1) Este documento describe los principales conectivos lógicos, incluyendo la conjunción, disyunción, negación, condicional e implicación. 2) La conjunción une proposiciones con "y" y es verdadera si ambas proposiciones lo son. La disyunción une con "o" y es verdadera si al menos una proposición lo es. 3) La negación niega una proposición, la condicional expresa "si p entonces q" y la bicondicional "p si y solo si q".
Este documento presenta un proyecto sobre ecuaciones cuadráticas dirigido a estudiantes. Explica objetivos como mejorar la enseñanza del tema y lograr una comprensión más óptima. Describe métodos para resolver ecuaciones cuadráticas como factorización, raíz cuadrada, completando el cuadrado y la fórmula cuadrática. Incluye ejemplos para cada método y conclusiones sobre el trabajo en equipo y recomendaciones como establecer tips para mejorar la comprensión.
Este documento introduce las tablas de verdad y los operadores lógicos fundamentales como la negación, conjunción, disyunción, implicación y bicondicional. Explica que una tabla de verdad muestra todos los valores de verdad posibles para una proposición compuesta. Luego define cada operador lógico y proporciona ejemplos de su uso.
Este documento presenta las operaciones básicas con conjuntos, incluyendo unión, intersección, diferencia, complementario y diferencia simétrica. También describe las propiedades algebraicas de estas operaciones, como las leyes idempotentes, conmutativas, asociativas y distributivas. El documento proporciona definiciones formales de cada operación y propiedad junto con ejemplos ilustrativos.
Este documento explica cómo construir tablas de verdad. Define proposiciones atómicas y valores de verdad. Explica cómo asignar valores de verdad a proposiciones simples y complejas con diferentes números de proposiciones. También describe cómo resolver tablas de verdad apelando a las tablas de las conectivas lógicas. El documento enfatiza la importancia de distinguir el alcance de las negaciones al construir tablas de verdad.
Este documento define los conceptos matemáticos de límite y función límite. Explica que un límite es una magnitud fija a la que se aproximan los términos de una secuencia infinita, y que para que exista el límite de una función, deben coincidir los límites laterales izquierdo y derecho cuando x se acerca a un punto a. También presenta propiedades de los límites como que el límite de la suma es la suma de los límites.
Este documento presenta conceptos matemáticos relacionados con curvas en coordenadas polares. Explica cómo definir una curva mediante su ecuación polar, calcular la pendiente de la tangente, y analizar simetrías. También incluye ejemplos como la cardioide y la lemniscata para ilustrar estas ideas.
El documento describe las principales leyes lógicas y reglas de inferencia utilizadas en el cálculo proposicional. Incluye 15 leyes lógicas como la doble negación, idempotencia, elementos neutros, y leyes de De Morgan. También explica cómo determinar la validez de argumentos deductivos y enumera 9 reglas de inferencia como adición, simplificación, modus ponens y modus tollens.
El documento presenta las operaciones algebraicas con funciones vectoriales, incluyendo suma, resta, producto por una constante, producto por una función real, producto punto y producto cruz. Se definen formalmente cada una de estas operaciones y se provee un ejemplo numérico para ilustrar cómo se aplican. Adicionalmente, se presentan ejercicios relacionados al tema para que el estudiante practique.
Este documento trata sobre la inferencia lógica. Explica que la inferencia lógica es un razonamiento donde a partir de un conjunto de proposiciones llamadas premisas se obtiene una conclusión. Un razonamiento es válido si las premisas implican la conclusión. También define reglas de inferencia como formas correctas de razonamiento válido, e identifica nueve reglas como modus ponens, modus tollens, leyes de silogismo hipotético, simplificación, conjunción, adición, y dilemas constructivo y destructivo
La lógica es una herramienta importante para todo tipo de conocimiento y de actividad racional, pero también para la vida cotidiana (donde, de hecho, la usamos de manera inadvertida). En palabras de Ricardo Guibourg:
El documento resume los principales conectivos lógicos, incluyendo su definición, condiciones de verdad y tabla de verdad. Define la negación, conjunción, disyunción inclusiva, disyunción exclusiva, condicional y bicondicional, explicando cuando cada uno es verdadero o falso en función de los valores de verdad de sus proposiciones componentes.
Este documento presenta 6 problemas resueltos relacionados con la suma de vectores utilizando el método analítico. En el primer problema se aplica la ley del seno para encontrar el ángulo entre dos vectores dados sus magnitudes y la magnitud de su resultado. En el segundo problema también se usa la ley del coseno. El tercer problema involucra descomponer vectores en componentes rectangulares y realizar operaciones. En los problemas siguientes se usan métodos como descomposición vectorial.
Este documento presenta información sobre cinemática, incluyendo conceptos como posición, desplazamiento, velocidad, aceleración y su relación con el tiempo. Explica cómo describir el movimiento de un objeto sin considerar las fuerzas que lo causan, y cómo representar gráficamente estos conceptos. También incluye ejemplos de problemas de cinemática y su resolución.
Una función es inyectiva si cada elemento del conjunto final solo tiene un elemento correspondiente en el conjunto inicial, sobreyectiva si cada elemento del conjunto final tiene al menos un elemento correspondiente en el conjunto inicial, y biyectiva si es tanto inyectiva como sobreyectiva.
Este documento trata sobre lógica y funciones. Explica qué es una proposición, los conectivos lógicos, las tablas de verdad, las tautologías y las contradicciones. También define la lógica, los objetivos de la lógica, la conceptualización, la demostración, las proposiciones, las variables proposicionales, los enunciados abiertos, las clases de proposiciones, los conectivos lógicos como la negación, la conjunción, la disyunción y la condic
El documento introduce las proposiciones y los conectivos lógicos. Explica que una proposición es una oración que puede ser verdadera o falsa. Define los conectivos de negación, conjunción, disyunción, implicación y bicondicional, y presenta sus tablas de verdad. Además, enumera las leyes del álgebra de proposiciones, como la conmutativa, distributiva, identidad y de Morgan. Finalmente, propone algunos ejercicios para practicar estos conceptos.
1. El documento presenta ejercicios propuestos relacionados con funciones de variable real, incluyendo determinar dominios y rangos, identificar gráficas de funciones, y analizar propiedades como monotonía, simetría y asíntotas. Se proponen más de 30 ejercicios con diferentes niveles de complejidad sobre este tema.
Este documento explica los cuantificadores en lógica y teoría de conjuntos. Los cuantificadores indican "cuántos" elementos de un conjunto cumplen con una propiedad y permiten construir proposiciones particularizando o generalizando funciones proposicionales. El cuantificador universal generaliza una proposición a todos los elementos de un conjunto, mientras que el cuantificador existencial particulariza una proposición a al menos un elemento. Las proposiciones pueden estar negadas y los cuantificadores tienen reglas específicas para la negación.
Este documento resume varios problemas de física relacionados con la caída libre. Resuelve problemas sobre la posición y velocidad de una pelota de golf al caer de un edificio alto durante 1, 2 y 3 segundos. También calcula la velocidad inicial y final de un llavero lanzado verticalmente y atrapado 1.5 segundos después. Resuelve otros problemas sobre caída libre, incluyendo el tiempo que tarda una pelota de béisbol en alcanzar su máxima altura y la velocidad y altura alcanzada por una flecha
El documento describe varias leyes y reglas lógicas, incluyendo leyes lógicas como idempotencia, asociativa y distributiva. También describe reglas de inferencia como modus ponens, modus tollens y modus tollendo ponens. Finalmente, presenta ejemplos para ilustrar cómo aplicar estas leyes y reglas lógicas en razonamientos y demostraciones.
El documento define el determinante como una función que asigna un único número real a una matriz cuadrada. Explica métodos para calcular determinantes como la regla de Sarrus y el método de la estrella. También describe propiedades de los determinantes como que cambian de signo si se intercambian dos filas o columnas y que son iguales al producto de los elementos de la diagonal principal para matrices triangulares. Por último, explica cómo calcular la inversa de una matriz usando determinantes.
1) Este documento describe los principales conectivos lógicos, incluyendo la conjunción, disyunción, negación, condicional e implicación. 2) La conjunción une proposiciones con "y" y es verdadera si ambas proposiciones lo son. La disyunción une con "o" y es verdadera si al menos una proposición lo es. 3) La negación niega una proposición, la condicional expresa "si p entonces q" y la bicondicional "p si y solo si q".
Este documento presenta un proyecto sobre ecuaciones cuadráticas dirigido a estudiantes. Explica objetivos como mejorar la enseñanza del tema y lograr una comprensión más óptima. Describe métodos para resolver ecuaciones cuadráticas como factorización, raíz cuadrada, completando el cuadrado y la fórmula cuadrática. Incluye ejemplos para cada método y conclusiones sobre el trabajo en equipo y recomendaciones como establecer tips para mejorar la comprensión.
Este documento introduce las tablas de verdad y los operadores lógicos fundamentales como la negación, conjunción, disyunción, implicación y bicondicional. Explica que una tabla de verdad muestra todos los valores de verdad posibles para una proposición compuesta. Luego define cada operador lógico y proporciona ejemplos de su uso.
Este documento presenta las operaciones básicas con conjuntos, incluyendo unión, intersección, diferencia, complementario y diferencia simétrica. También describe las propiedades algebraicas de estas operaciones, como las leyes idempotentes, conmutativas, asociativas y distributivas. El documento proporciona definiciones formales de cada operación y propiedad junto con ejemplos ilustrativos.
Este documento explica cómo construir tablas de verdad. Define proposiciones atómicas y valores de verdad. Explica cómo asignar valores de verdad a proposiciones simples y complejas con diferentes números de proposiciones. También describe cómo resolver tablas de verdad apelando a las tablas de las conectivas lógicas. El documento enfatiza la importancia de distinguir el alcance de las negaciones al construir tablas de verdad.
Este documento define los conceptos matemáticos de límite y función límite. Explica que un límite es una magnitud fija a la que se aproximan los términos de una secuencia infinita, y que para que exista el límite de una función, deben coincidir los límites laterales izquierdo y derecho cuando x se acerca a un punto a. También presenta propiedades de los límites como que el límite de la suma es la suma de los límites.
Este documento presenta conceptos matemáticos relacionados con curvas en coordenadas polares. Explica cómo definir una curva mediante su ecuación polar, calcular la pendiente de la tangente, y analizar simetrías. También incluye ejemplos como la cardioide y la lemniscata para ilustrar estas ideas.
El documento describe las principales leyes lógicas y reglas de inferencia utilizadas en el cálculo proposicional. Incluye 15 leyes lógicas como la doble negación, idempotencia, elementos neutros, y leyes de De Morgan. También explica cómo determinar la validez de argumentos deductivos y enumera 9 reglas de inferencia como adición, simplificación, modus ponens y modus tollens.
El documento presenta las operaciones algebraicas con funciones vectoriales, incluyendo suma, resta, producto por una constante, producto por una función real, producto punto y producto cruz. Se definen formalmente cada una de estas operaciones y se provee un ejemplo numérico para ilustrar cómo se aplican. Adicionalmente, se presentan ejercicios relacionados al tema para que el estudiante practique.
Este documento trata sobre la inferencia lógica. Explica que la inferencia lógica es un razonamiento donde a partir de un conjunto de proposiciones llamadas premisas se obtiene una conclusión. Un razonamiento es válido si las premisas implican la conclusión. También define reglas de inferencia como formas correctas de razonamiento válido, e identifica nueve reglas como modus ponens, modus tollens, leyes de silogismo hipotético, simplificación, conjunción, adición, y dilemas constructivo y destructivo
La lógica es una herramienta importante para todo tipo de conocimiento y de actividad racional, pero también para la vida cotidiana (donde, de hecho, la usamos de manera inadvertida). En palabras de Ricardo Guibourg:
El documento resume los principales conectivos lógicos, incluyendo su definición, condiciones de verdad y tabla de verdad. Define la negación, conjunción, disyunción inclusiva, disyunción exclusiva, condicional y bicondicional, explicando cuando cada uno es verdadero o falso en función de los valores de verdad de sus proposiciones componentes.
Este documento presenta 6 problemas resueltos relacionados con la suma de vectores utilizando el método analítico. En el primer problema se aplica la ley del seno para encontrar el ángulo entre dos vectores dados sus magnitudes y la magnitud de su resultado. En el segundo problema también se usa la ley del coseno. El tercer problema involucra descomponer vectores en componentes rectangulares y realizar operaciones. En los problemas siguientes se usan métodos como descomposición vectorial.
Este documento presenta información sobre cinemática, incluyendo conceptos como posición, desplazamiento, velocidad, aceleración y su relación con el tiempo. Explica cómo describir el movimiento de un objeto sin considerar las fuerzas que lo causan, y cómo representar gráficamente estos conceptos. También incluye ejemplos de problemas de cinemática y su resolución.
Una función es inyectiva si cada elemento del conjunto final solo tiene un elemento correspondiente en el conjunto inicial, sobreyectiva si cada elemento del conjunto final tiene al menos un elemento correspondiente en el conjunto inicial, y biyectiva si es tanto inyectiva como sobreyectiva.
Este documento trata sobre lógica y funciones. Explica qué es una proposición, los conectivos lógicos, las tablas de verdad, las tautologías y las contradicciones. También define la lógica, los objetivos de la lógica, la conceptualización, la demostración, las proposiciones, las variables proposicionales, los enunciados abiertos, las clases de proposiciones, los conectivos lógicos como la negación, la conjunción, la disyunción y la condic
El documento introduce las proposiciones y los conectivos lógicos. Explica que una proposición es una oración que puede ser verdadera o falsa. Define los conectivos de negación, conjunción, disyunción, implicación y bicondicional, y presenta sus tablas de verdad. Además, enumera las leyes del álgebra de proposiciones, como la conmutativa, distributiva, identidad y de Morgan. Finalmente, propone algunos ejercicios para practicar estos conceptos.
Este documento presenta una introducción a la lógica proposicional. Explica que la lógica estudia las formas válidas de razonamiento y define conceptos como proposiciones simples y compuestas. Describe los diferentes conectivos lógicos como la negación, conjunción, disyunción, condicional y bicondicional. Incluye tablas de verdad para ilustrar los valores de verdad de las proposiciones usando estos conectivos.
Este documento presenta una introducción a la lógica matemática. Explica conceptos como proposiciones simples, valores de verdad, conectivos lógicos como la negación, conjunción y disyunción. Incluye tablas de verdad y ejemplos para ilustrar el uso de estos conceptos lógicos básicos. También menciona otros temas como conjuntos, números reales y complejos que serán desarrollados en secciones posteriores.
Este documento presenta conceptos básicos de lógica proposicional como enunciados, proposiciones, proposiciones simples y compuestas, conectivos lógicos, formalización de proposiciones, tablas de verdad, proposiciones tautológicas, contradictorias y contingencias. Se define cada concepto y proporciona ejemplos para ilustrarlos.
El documento presenta conceptos básicos de lógica proposicional como proposiciones, conectores lógicos, valores de verdad, operaciones lógicas y tablas de verdad. Explica que una proposición puede ser verdadera o falsa y define conectores como la conjunción, disyunción y negación. Además, describe cómo determinar el valor de verdad de proposiciones compuestas usando tablas de verdad y las reglas de los conectores lógicos.
Este documento presenta conceptos básicos de lógica, incluyendo definiciones de enunciados, proposiciones lógicas, proposiciones simples y compuestas, y operadores lógicos como conjunción, disyunción y condicional. También explica cómo construir tablas de verdad y cómo representar fórmulas lógicas usando proposiciones y operadores.
Este documento presenta una introducción a la lógica matemática. Explica conceptos básicos como proposiciones, conectivos lógicos, tablas de verdad, y reglas de inferencia. Incluye ejemplos para ilustrar la negación, conjunción, disyunción e implicación. El objetivo es desarrollar el razonamiento lógico a través del estudio sistemático de los métodos formales del razonamiento deductivo.
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 presenta una introducción a la lógica matemática. Define conceptos clave como proposiciones, proposiciones compuestas, operadores lógicos como conjunción, disyunción, negación, condicional y bicondicional. Explica las tablas de verdad para cada operador lógico y cómo determinar si una fórmula es una tautología, contradicción o indeterminada.
El documento presenta una introducción a la lógica, definiendo conceptos como proposición, premisa, conclusión, inferencia, implicación y falacia. Explica que la lógica estudia los razonamientos sin tomar en cuenta su contenido, buscando determinar si las conclusiones se derivan válidamente de las premisas. También introduce conceptos de lógica formal como tablas de verdad, proposiciones atómicas y moleculares, y conectivos lógicos como la negación, conjunción y disyunción.
El documento presenta una introducción a la lógica. Define la lógica como el estudio de los razonamientos y los métodos para distinguir entre razonamientos correctos e incorrectos, sin tomar en cuenta el contenido. Explica conceptos clave como proposiciones, premisas, conclusiones, inferencias, implicaciones y falacias. Además, introduce los principios de la lógica formal y la lógica computacional para la simbolización de proposiciones.
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.
Este documento trata sobre lógica matemática. Define lógica proposicional, proposiciones, conectores proposicionales y tablas de verdad. Explica que una proposición es una declaración verdadera o falsa y clasifica proposiciones como simples o compuestas. Describe los conectores negación, conjunción, disyunción, condicional y bicondicional y cómo funcionan en las tablas de verdad.
Este documento define conceptos básicos de lógica proposicional como proposiciones, conectores lógicos, tablas de verdad y su aplicación. Introduce la lógica matemática y proposiciones simples y compuestas. Explica los conectores negación, conjunción, disyunción, condicional y bicondicional y cómo construir tablas de verdad para determinar si una proposición es tautología o contradicción.
Este documento introduce los conceptos básicos de la lógica proposicional. Define una proposición y explica que pueden ser simples o compuestas. Describe los conectores proposicionales como la negación, conjunción, disyunción, condicional y bicondicional. Explica cómo construir tablas de verdad para evaluar proposiciones compuestas y define tautologías y contradicciones.
Este documento trata sobre lógica matemática. Explica conceptos como proposiciones, conectores lógicos, tablas de verdad y su construcción. Define una proposición como una declaración verdadera o falsa y distingue entre proposiciones simples y compuestas. Describe los conectores lógicos de negación, conjunción, disyunción, condicional y bicondicional y cómo funcionan en las tablas de verdad.
Este documento introduce los conceptos básicos de la lógica proposicional. Define una proposición y explica que pueden ser simples o compuestas. Describe los diferentes conectores proposicionales como la negación, conjunción, disyunción, condicional y bicondicional. También explica las tablas de verdad y cómo se pueden usar para determinar si una proposición compuesta es una tautología o una contradicción.
Este documento define conceptos básicos de lógica proposicional como proposiciones, conectores lógicos, tablas de verdad, tautologías y contradicciones. Explica que una proposición es una declaración verdadera o falsa y distingue entre proposiciones simples y compuestas. Además, describe los conectores lógicos de negación, conjunción, disyunción, condicional y bicondicional y cómo se usan las tablas de verdad para determinar el valor de verdad de proposic
Este documento trata sobre lógica matemática. Explica brevemente la definición de lógica matemática y lógica proposicional, y describe las proposiciones, conectores proposicionales y tablas de verdad. También define conceptos como tautología, contradicción y cómo construir tablas de verdad para proposiciones compuestas.
áReas laterales totales y volumenes deJorge Florez
El documento describe los elementos y fórmulas para calcular áreas y volúmenes de pirámides, cilindros, conos y esferas. Explica que una pirámide tiene altura, apotema lateral, área lateral, área total y volumen. Para un cilindro describe sus elementos como eje, generatriz, bases, altura y cómo calcular su área lateral, área total y volumen. Luego detalla los elementos de un cono y cómo calcular su área lateral, área total y volumen. Por último, define una esfera y sus elementos como cent
áReas laterales totales y volumenes deJorge Florez
El documento describe los elementos y fórmulas para calcular áreas y volúmenes de varias figuras geométricas tridimensionales como pirámides, cilindros, conos y esferas. Incluye ejemplos numéricos para hallar áreas laterales, totales y volúmenes usando las fórmulas dadas para cada figura.
áReas laterales totales y volumenes deJorge Florez
El documento describe los elementos y fórmulas para calcular áreas y volúmenes de varias figuras geométricas tridimensionales como pirámides, cilindros, conos y esferas. Incluye ejemplos numéricos para hallar áreas laterales, totales y volúmenes usando las fórmulas dadas para cada figura.
áReas laterales totales y volumenes deJorge Florez
El documento describe los elementos y fórmulas para calcular áreas y volúmenes de varias figuras geométricas tridimensionales como pirámides, cilindros, conos y esferas. Incluye ejemplos numéricos para hallar áreas laterales, totales y volúmenes usando las fórmulas dadas para cada figura.
Recomendaciones para efectuar operaciones con fraccionariosJorge Florez
Para efectuar operaciones con fracciones, se recomienda: 1) identificar el denominador común para sumar y restar fracciones, 2) convertir fracciones a decimales o porcentajes para multiplicar y dividir, y 3) utilizar la calculadora o aplicaciones en línea para realizar cálculos con fracciones de forma rápida y precisa.
Para factorizar números, primero identifica los factores comunes y agrupa los términos. Luego, encuentra los factores primos de los números restantes y escribe cada factor como un producto de factores primos. Finalmente, usa paréntesis para agrupar los factores y escribe el número como un producto de factores primos.
El documento presenta recomendaciones para resolver ejercicios sobre operaciones con fracciones algebraicas, incluyendo cómo sumar, restar y multiplicar fracciones algebraicas mediante la factorización, el cálculo del mínimo común múltiplo de los denominadores y la simplificación de expresiones. Además, contiene ejemplos resueltos de cada tipo de operación.
La pandemia de COVID-19 ha tenido un impacto significativo en la economía mundial. Muchos países experimentaron fuertes caídas en el PIB y aumentos en el desempleo debido a los cierres generalizados y las restricciones a los viajes. Aunque las vacunas han permitido la reapertura de muchas economías, los efectos a largo plazo de la pandemia en sectores como el turismo y los viajes aún no están claros.
La Unión Europea ha acordado un paquete de sanciones contra Rusia por su invasión de Ucrania. Las sanciones incluyen restricciones a las importaciones de productos rusos de alta tecnología y a las exportaciones de bienes de lujo a Rusia. Además, se congelarán los activos de varios oligarcas rusos y se prohibirá el acceso de los bancos rusos a los mercados financieros de la UE.
áReas laterales totales y volumenes deJorge Florez
Este documento describe los elementos y fórmulas para calcular áreas y volúmenes de varias figuras geométricas tridimensionales como pirámides, cilindros, conos y esferas. Incluye definiciones de elementos como la altura, apotema, generatriz y radio, así como fórmulas para calcular áreas laterales, totales y volúmenes. También presenta ejemplos numéricos para ilustrar el cálculo de estas medidas.
El documento presenta 14 preguntas de matemáticas para el examen Saber 11. Las preguntas incluyen temas como polígonos regulares, triángulos, teorema de Pitágoras, transformaciones geométricas y razonamiento espacial. El documento también incluye una hoja en blanco para que el estudiante escriba sus respuestas.
La Unión Europea ha propuesto un nuevo paquete de sanciones contra Rusia que incluye un embargo al petróleo ruso. El embargo se aplicaría gradualmente durante seis meses para el petróleo crudo y ocho meses para los productos refinados. El objetivo es aumentar la presión sobre Rusia para que ponga fin a su invasión de Ucrania.
A empresa de tecnologia anunciou um novo smartphone com câmera aprimorada, maior tela e melhor processador. O novo dispositivo também possui maior capacidade de armazenamento e bateria de longa duração. O lançamento do novo smartphone está programado para o final deste ano.
José Luis Jiménez Rodríguez
Junio 2024.
“La pedagogía es la metodología de la educación. Constituye una problemática de medios y fines, y en esa problemática estudia las situaciones educativas, las selecciona y luego organiza y asegura su explotación situacional”. Louis Not. 1993.
Durante el desarrollo embrionario, las células se multiplican y diferencian para formar tejidos y órganos especializados, bajo la regulación de señales internas y externas.
En la ciudad de Pasto, estamos revolucionando el acceso a microcréditos y la formalización de microempresarios informales con nuestra aplicación CrediAvanza. Nuestro objetivo es empoderar a los emprendedores locales proporcionándoles una plataforma integral que facilite el acceso a servicios financieros y asesoría profesional.
Ofrecemos herramientas y metodologías para que las personas con ideas de negocio desarrollen un prototipo que pueda ser probado en un entorno real.
Cada miembro puede crear su perfil de acuerdo a sus intereses, habilidades y así montar sus proyectos de ideas de negocio, para recibir mentorías .
1. DEPARTAMENTO DE CIENCIAS MATEMÁTICAS
Iniciación al Cálculo
Lógica proposicional y teoría de conjuntos
Pedro Vicente Esteban Duarte
Presentación
La lógica proposicional es una parte de la lógica clásica que estudia las variables proposicionales, sus
posibles implicaciones, los valores de verdad de las proposiciones o de conjuntos de ellas formadas a partir
de los conectores lógicos. Permite validar o no las afirmaciones que se hacen en matemáticas o en otras
ramas del conocimiento. Es por esto que el estudio y comprensión de las estructuras que componen la
lógica y la forma como validan o no las proposiciones es fundamental en todas las ramas de las ciencias.
De otro lado, la teoría de conjuntos permite estudiar relaciones y propiedades entre diferentes colecciones
de objetos al compararlas entre si de diversas maneras. La matemática moderna estudia una gran variedad
de clases conjuntos a partir de las propiedades que los componen o define operaciones con los elementos
de los mismos que resultan de interés para las ciencias en general.
El estudio de la lógica y la teoría de conjuntos le permite al estudiante comprender la forma como se
construyen las propiedades, relaciones, resultados de las diversas ramas del conocimiento en las que se
aplica la matemática.
El módulo tiene los siguientes objetivos:
Objetivo general
Estudiar los conceptos básicos de la lógica proposicional y la teoría de conjuntos que permitan verificar la
verdad o falsedad de proposiciones elementales.
Objetivos específicos
Determinar la verdad o falsedad de una proposición.
Utilizar los conectivos lógicos en la formación de proposiciones compuestas.
Identificar estructuras lógicas en teoremas o problemas matemáticos.
Realizar operaciones entre conjuntos.
Determinar el producto cartesiano entre conjuntos.
2. Universidad EAFIT Pedro Vicente Esteban Duarte
Encontrar el conjunto de partes de un conjunto.
Los conceptos expuestos y los ejercicios planteados permiten comprender conceptos fundamentales de la
lógica proposicional y los conjuntos.
El tiempo estimado para la solución del taller es de cuatro (4) horas.
En su estudio y solución le deseamos muchos éxitos.
1. La lógica proposicional
La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples re-
presentan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor complejidad1.
La lógica proposicional estudia las sentencias u oraciones del lenguaje corriente o formal, a las que se les
puede asignar un valor de verdad, esto es verdadero (V) o falso (F). Observe las siguientes oraciones del
lenguaje corriente:
a. El sol sale por el oriente.
b. Juan, ¿tienes el computador?
c. Rosa es la niña más linda de la clase.
d. El Nacional ganará el próximo domingo.
e. Antioquia es un departamento de Panamá.
Note que en estas frases u oraciones a todas no se les puede asignar un valor de verdad.
a. A la oración “El sol sale por el oriente”, a la que se le asigna el valor de verdad “verdadero” (V).
b. En “Juan, ¿tienes el computador?”, no le puede asignar un valor de verdad. En general, las oraciones
interrogativas y a las exclamativas no se les puede asignar un valor de verdad.
c. A “Rosa es la niña más linda de la clase.”, no se le puede asignar un valor de verdad. La belleza es
subjetiva y todas las personas de la clase puede que no estén de acuerdo con esa afirmación.
1
Simon Blackburn, ed., Propositional calculus, Oxford Dictionary of Philosophy, Oxford University Press
2
3. Universidad EAFIT Pedro Vicente Esteban Duarte
d. Para la afirmación “El Nacional ganará el próximo domingo.”, no se le puede asignar un valor de verdad.
e. La oración “Antioquia es un Departamento de Panamá.” es falsa, por lo tanto su valor de verdad es
“falso” (F).
La lógica proposicional estudia oraciones como la a. o la e. (anteriores) a las que sin ambigüedad se les
puede asignar un valor de verdad. A tales oraciones se les llama proposiciones y se designan por letras
minúsculas del alfabeto.
Ejemplos:
a: El sol sale por el oriente.
b: Antioquia no es un Departamento de Panamá.
Son proposiciones.
Ejercicio
Dadas las siguientes oraciones:
1. La semana tiene siete días.
2. Me voy de viaje.
3. Una hora tiene sesenta segundos.
Las proposiciones son
a. 1. y 3.
b. 1. y 2.
c. 2. y 3.
d. 1., 2. y 3.
Ejercicios
Discutir con los compañeros, cuáles de los siguientes enunciados son proposiciones.
a. Francia es un país americano.
b. José es un tipo inteligente.
c. Ningún republicano respeta la libertad.
d.
7+z
4
= 2
e. ¡Estudia bien!
3
4. Universidad EAFIT Pedro Vicente Esteban Duarte
Conectivo Lenguaje natural Ejemplo Símbolo Símbolo alternativo
Negación no 6 No es primo. ¬ ∼
Conjunción y 6 es par y 7 es impar. ∧ &
Disyunción o 2 es primo o 2 es par. ∨
Condicional material si . . . entonces Si 2 es primo, entonces es par. → ⊂
Bicondicional si y sólo si 2 es par si y sólo si es divisible por 2. ↔ ≡
negación conjunta ni . . . ni Ni 2 es primo ni 2 es par. ↓
Disyunción excluyente o bien . . . o bien O bien 2 es primo o bien 2 es impar.
Tabla 1: Conectivos lógicos.
f. ¿De dónde eres?
g. 5×4 = 20
h. La ciudad del Líbano está en el continente asiático.
i. Holaaaaa..........
Cuando se utilizan los conectivos lógicos se pueden crear proposiciones compuestas. El valor de verdad de
las proposiciones compuestas depende del valor de verdad que tenga cada una de las proposiciones simples
y de los conectivos lógicos que las conforma. Los conectivos lógicos son: no, y, o, si . . . entonces (condi-
cional), sí y solo sí (bicondicional), ni . . . ni (negación conjunta), o bien . . . o bien (disyunción excluyente).
En la siguiente tabla se presentan los conectivos lógicos utilizados en la lógica proposicional:
Ejemplos:
Con las proposiciones:
c: El sol sale por el oriente
f: Los gatos vuelan
t: Los perros ladran
Simbolizar las proposiciones compuestas con los conectivos lógicos dados en la Tabla 1, de la página 4.
El sol No sale por el oriente: ¬c
4
5. Universidad EAFIT Pedro Vicente Esteban Duarte
El sol sale por el oriente y los gatos vuelan: c∧ f
El sol sale por el oriente o los gatos vuelan: c∨ f
Si el sol sale por el oriente, entonces los perros ladran: c → t
El sol sale por el oriente sí y solo sí los perros ladran: c ↔ t
Ni el sol sale por el oriente ni ni los gatos vuelan: c ↓ t
O bien los perros ladran o bien el sale por el oriente: t c
Ejercicio
Dadas las proposiciones:
m: 2+2 = 4
t: Las rosas tienen espinas.
s: Un día de la semana es el martes.
Al simbolizar las siguientes proposiciones:
1. Si las rosas tienen espinas y un día de la semana es
martes entonces 2+2 = 4
2. Las rosas tiene espinas si y sólo si 2 +2 = 4 o un
día de la semana no es el martes.
Se obtiene, respectivamente
a. (t ∧s)∧m, t ↔ (¬m∧¬s)
b. (t ∨s) → m, t ↔ (¬m∧¬s)
c. (t ∨s)∨m, t ↔ (¬m∨¬s)
d. (t ∧s) → m, t ↔ (¬m∨¬s)
2. Cálculo proposicional
Al formar proposiciones compuestas a partir del usos de los conectores lógicos es necesario tener reglas
para saber el valor de verdad de dichas proposiciones. Las siguientes reglas son las que permiten determinar
el valor de verdad de las proposiciones compuestas.
Si p y q son proposiciones, se tienen las siguientes tablas lógicas para los conectores lógicos.
5
6. Universidad EAFIT Pedro Vicente Esteban Duarte
2.1. La negación
Si la proposición p es verdadera (V) se tiene que ¬p es (F), se simboliza en la siguiente tabla.
p ¬p
V F
F V
Tabla 2: Negación.
2.2. La conjunción
La conjunción relaciona dos proposiciones, cada una de ellas tiene dos valores de verdad posibles (F o V),
por lo tanto, la tabla tiene 4 posibilidades de valores de verdad.
p q p∧q
V V V
V F F
F V F
F F F
Tabla 3: Conjunción.
Note que la conjunción de dos proposiciones es verdadera cuando las dos son verdaderas.
2.3. La disyunción
La disyunción relaciona dos proposiciones, cada una de ellas tiene dos valores de verdad posibles (F o V),
por lo tanto, la tabla tiene 4 posibilidades de valores de verdad.
Note que la disyunción de dos proposiciones es falsa cuando las dos son falsas, en los demás casos es
verdadera.
6
7. Universidad EAFIT Pedro Vicente Esteban Duarte
p q p∨q
V V V
V F V
F V V
F F F
Tabla 4: Disyunción.
2.4. El condicional
El condicional relaciona dos proposiciones, cada una de ellas tiene dos valores de verdad posibles (F o V),
por lo tanto, la tabla tiene 4 posibilidades de valores de verdad. En el condiciona p → q a p se le llama en
antecedente y a q el consecuente.
p q p → q
V V V
V F F
F V V
F F V
Tabla 5: Condicional.
Note que en el condicional únicamente es falso cuando el antecedente es verdadero y el consecuente falso,
en todos los demás casos es verdadero.
2.5. El sí y solo sí
El sí y solo sí, relaciona dos proposiciones, cada una de ellas tiene dos valores de verdad posibles (FoV),
por lo tanto, la tabla tiene 4 posibilidades de valores de verdad.
El sí y solo sí, es verdadero cuando los dos proposiciones tienen el mismo valor de verdad.
7
8. Universidad EAFIT Pedro Vicente Esteban Duarte
p q p ↔ q
V V V
V F F
F V F
F F V
Tabla 6: Sí y solo sí.
2.6. La disyunción excluyente
La conjunción relaciona dos proposiciones, cada una de ellas tiene dos valores de verdad posibles (FoV),
por lo tanto, la tabla tiene 4 posibilidades de valores de verdad.
p q p q
V V F
V F V
F V V
F F F
Tabla 7: Disyunción excluyente.
Note que la disyunción excluyente (o bien . . . o bien) de dos proposiciones es verdadera cuando las dos
proposiciones tienen valores de verdad contrarios.
Ejemplo
Dada la proposición: los leones son carnívoros o las vacas son herbívoras entonces los leones se alimentan
de vacas.
Realice las siguientes actividades:
a. Simbolizar la proposición.
b. Realizar la tabla de verdad.
Solución
8
9. Universidad EAFIT Pedro Vicente Esteban Duarte
a. Simbolizar la proposición.
La proposición esta compuesta de tres proposiciones simples, cada una de ellas se simboliza de la si-
guiente manera:
l: Los leones son carnívoros.
h: Las vacas son herbívoras.
a: Las cebras son herbívoras.
Los conectivos lógicos que conforman la proposición compuesta son la “o” y el “si . . . entonces”, por lo
tanto la proposición se puede simbolizar de la siguiente manera:
(l ∨h) → a
b. Realizar la tabla de verdad.
La proposición está compuesta por tres proposiciones simples, por lo tanto tiene 8 posibles valores de
verdad.
l h l ∨h → a
V V V V V
V V V F F
V F V V V
V F V F F
F V V V V
F V V F F
F F F V V
F F F V F
Una forma rápida de hacer la tabla de verdad de una proposición compuesta es determinar el número
de filas que tendrá la tabla. Si una proposición simple tiene n proposiciones simples, el número de
posibilidades de valores de verdad es 2n. Para la primera proposición se escribe V en las mitad de las
posibilidades y F en el resto. Para la segunda, la mitad de la mitad de la primera se escribe V y luego se
va combinando con F. Para las otras proposiciones se continua de la misma manera como se ilustra en
la tabla anterior.
Luego se encuentra el valor de verdad de las proposiciones compuestas.
En la tabla anterior el valor de verdad de toda la proposición compuesta está dado por todas las posibili-
dades que se encuentran debajo del conectivo lógico →.
Nota: Si se sabe el valor de verdad de las proposiciones simples, para saber el valor de verdad de toda
la proposición compuesta, no hay necesidad de construir toda la tabla. Así, por ejemplo, si l : V, h : F,
a : V el valor de verdad de la proposición (l ∨h) → a es V como se puede observar en la tercera fila, de
arriba hacia abajo, de la tabla anterior.
Ejemplo
9
10. Universidad EAFIT Pedro Vicente Esteban Duarte
Encuentre el valor de verdad de la proposición: “Si el sol es amarillo y sale por el oriente entonces se ve
diariamente” Si se sabe que:
s: El sol es amarillo, es verdadera (V).
o: El sol sale por el oriente, es verdadera (V).
d: El sol se ve diariamente, es falsa (F).
Al simbolizar la proposición se tiene: (s ∧ o) → d. Al colocar debajo de cada una de las proposiciones
simbolizadas su valor de verdad y operarlos con los conectivos lógicos, se tiene lo siguiente:
(l ∧ o) → d
V V F
V F
F
Como se puede ver, el valor de verdad de la proposición es falso (F).
Ejercicio
Si se sabe p : V, q : F y t : F el valor de verdad de la
proposición (p → q) ←→ ((p∨q)∧¬t), es
a. V
b. F
2.6.1. Ejercicios
Simbolice cada una de las siguientes proposiciones y encuentre su valor de verdad.
1. Si Juan no va a clase o no estudia, fracasará en los exámenes y no será aplaudido.
2. Si no es el caso que Pedro atiende en clase y estudia en casa, entonces fracasará en los exámenes o no
será aplaudido.
3. Únicamente si Rosa atiende en clase y estudia en casa, no se dará que fracase en los exámenes y no sea
aplaudido.
4. Si no hay ruidos y no estás sordo, entonces debes oírme.
5. Si hay guerra, crecerá el paro y la inflación.
10
11. Universidad EAFIT Pedro Vicente Esteban Duarte
6. Cuando la bolsa baja mucho, entonces es conveniente comparar; y cuando la bolsa sube mucho, es
conveniente vender.
7. Si no sabes mandarín ni japones, te contrato en mi empresa sí y sólo sí, sabes informática o contabilidad.
8. Si un triángulo tiene tres ángulos, un cuadrado tiene cuatro ángulos rectos. Un triángulo tiene tres ángulos
y su suma vale dos ángulos rectos. Si los rombos tienen cuatro ángulos rectos, los cuadrados no tienen
cuatro ángulos rectos. Por lo tanto los rombos no tienen cuatro ángulos rectos.
2.7. Tautología, contradicción y ambivalencia
Las proposiciones que surgen en las ciencias, la lógica proposicional las clasifica como tautologías, contra-
dicciones o ambivalencias.
Tautología: es una proposición compuesta en la que para cualquier combinación de valores de verdad de
las proposiciones simples siempre se obtiene como valor de verdad: verdadero (V). Por ejemplo, la
proposición (p∧q) ←→ ¬(¬p∨¬q) es una tautología (comprobarlo construyendo la tabla de verdad).
Contradicción: es una proposición compuesta en la que para cualquier combinación de valores de verdad
de las proposiciones simples se obtiene como valor de verdad falso (F). Por ejemplo, la proposición
¬[(¬p∨q) ←→ (p → q)] es una contradicción (comprobarlo construyendo la tabla de verdad).
Ambivalencia: es una proposición compuesta en la que dependiendo de la combinación de valores de
verdad de las proposiciones simples se obtienen valores de verdad que pueden ser verdaderos (V) en
unos casos y falsos (F) en otros. Compruebe que la proposición (p → q) ←→ ((p ∨q) → q) es una
ambivalencia.
Ejercicio La proposición (p∨q) ←→ ¬(¬p∧¬q), es
una
a. Tautología
b. Contradicción
c. Ambivalencia
En las diferentes ramas de la ciencia, las tautologías son las leyes universales o teoremas sobre los que
construye su fundamento teórico. Es por ello que se hace necesario tener un dominio de las leyes de la
lógica, pues permiten determinar cuáles proposiciones son tatológicas, contradictorias o ambivalentes.
11
12. Universidad EAFIT Pedro Vicente Esteban Duarte
2.8. Leyes de la lógica proposicional
Las leyes de la lógica proposicional son tautologías que a partir de un conjunto de premisas (proposiciones
simples o compuestas) se pueden hacer deducciones lógicas.
Si se tienen las proposiciones p y p → q una de las leyes lógicas permite deducir q.
Ejemplo:
Está lloviendo
Si está lloviendo entonces está nublado
La deducción es: está nublado.
Las proposiciones p : está lloviendo, p → q : si está lloviendo entonces está nublado, son las premisas y q :
está nublado, es la conclusión o deducción.
Hay varias formas de representar está ley lógica, entre las que se encuentran:
(p∧(p → q)) → q
p
p → q
q
(p∧(p → q)) ⊢ q
En los tres casos se lee “si se tiene p y p → q se sigue (se deduce) q”. El símbolo ⊢ se lee como, “se sigue”
o “deduce”.
Compruebe que (p∧(p → q)) → q es una tautología. Esta ley lógica se llama “Modus ponens” y reconocerla
en los teoremas y ejercicios propuestos en matemáticas es fundamental para su comprensión y solución.
2.9. Algunas leyes de la lógica proposicional
La siguiente es una lista básica de las leyes lógicas que es utilizan más a menudo en matemáticas.
Modus ponens: ((p → q)∧ p) ⊢ q, se lee “si p entonces q; p; por lo tanto q”.
12
13. Universidad EAFIT Pedro Vicente Esteban Duarte
Modus tollens: ((p → q)∧¬q) ⊢ ¬p, se lee “si p entonces q; ¬q; por lo tanto ¬p”.
Silogismo Hipotético: ((p → q)∧(q → r)) ⊢ (p → r), se lee “si p entonces q; si q entonces r; por lo tanto,
si p entonces r”.
Silogismo Disyuntivo: ((p∨q)∧¬p) ⊢ q, se lee “si p o q; no p; por lo tanto, q”.
Dilema Constructivo: ((p → q) ∧ (r → s) ∧ (p ∨ r)) ⊢ (q ∨ s), se lee “si p entonces q; y si r entonces s;
pero p o r; por lo tanto q o s”.
Dilema Destructivo: ((p → q)∧(r → s)∧(¬q∨¬s)) ⊢ (¬p∨¬r), se lee “si p entonces q; y si r entonces
s; pero no q o no s; por lo tanto no p o no r”.
Dilema Bidireccional: ((p → q) ∧(r → s) ∧(p ∨¬s)) ⊢ (q ∨¬r), se lee “p entonces q; y si r entonces s;
pero p o no s; por lo tanto q o no r”.
Simplificación: (p∧q) ⊢ p, se lee “p y q son verdaderos; por lo tanto p es verdadero”.
Conjunción: p,q ⊢ (p∧q), se lee “p y q son verdaderos separadamente; entonces son verdaderos conjun-
tamente.”.
Adición: p ⊢ (p∨q), se lee “p es verdadero; por lo tanto la disyunción (p o q) es verdadera”.
Composición: ((p → q)∧(p → r)) ⊢ (p → (q∧r)), se lee “si p entonces q; y si p entonces r; por lo tanto
si p es verdadero entonces q y r son verdaderos”.
Teorema de De Morgan (1) ¬(p∧q) ⊢ (¬p∨¬q), se lee “la negación de (p y q) es equivalente a (no p o
no q)”.
Teorema de De Morgan (2): ¬(p ∨q) ⊢ (¬p ∧¬q), se lee “la negación de (p o q) es equivalente a (no p
y no q)”.
Conmutación (1): (p∨q) ⊢ (q∨ p), en general “(p o q) es equivalente a (q o p)”.
Conmutación (2): (p∧q) ⊢ (q∧ p), en general “(p y q) es equivalente a (q y p)”.
Conmutación (3): (p ↔ q) ⊢ (q ↔ p), en general “(p es equivalente a q) es equivalente a (q es equivalente
a p)”.
Asociación (1): (p∨(q∨r)) ⊢ ((p∨q)∨r), en general “p o (q o r) es equivalente a (p o q) o r”.
Asociación (2): (p∧(q∧r)) ⊢ ((p∧q)∧r), en general “p y (q y r) es equivalente a (p y q) y r”.
Distribución (1): (p∧(q∨r)) ⊢ ((p∧q)∨(p∧r)), en general “p y (q o r) es equivalente a (p y q) o (p y
r)”.
Distribución (2): (p∨(q∧r)) ⊢ ((p∨q)∧(p∨r)), en general “p o (q y r) es equivalente a (p o q) y (p o
r)”.
Doble Negación: p ⊢ ¬¬p, en general “p es equivalente a la negación de no p”.
Transposición: (p → q) ⊢ (¬q → ¬p), en general “si p entonces q es equivalente a si no q entonces no p”.
13
14. Universidad EAFIT Pedro Vicente Esteban Duarte
Implicación material: (p → q) ⊢ (¬p∨q), en general “si p entonces q es equivalente a no p o q”.
Equivalencia material (1): (p ↔ q) ⊢ ((p → q)∧(q → p)), en general “(p sí y solo sí q) es equivale a (si
p es verdadero entonces q es verdadero) y (si q es verdadero entonces p es verdadero)”.
Equivalencia material (2): (p ↔ q) ⊢ ((p∧q)∨(¬p∧¬q)), en general “(p si q) es equivale a cualquiera
de los dos (p y q son verdaderos) o (tanto p como q son falsos)”.
Equivalencia material (3): (p ↔ q) ⊢ ((p ∨ ¬q) ∧ (¬p ∨ q)), en general “(p si q) es equivale a tanto (p
como no q son verdaderos) y (no p o q es verdadero).
Exportación: ((p ∧ q) → r) ⊢ (p → (q → r)), se tiene “desde si p y q son verdaderos, entonces r es
verdadero) se puede probar que (si q es verdadero entonces r es verdadero, si p es verdadero)”.
Importación: (p → (q → r)) ⊢ ((p ∧q) → r), se tiene “si p entonces (si q entonces r) es equivalente a si
p y q entonces r”.
Tautología (1): p ⊢ (p∨ p), en general “p es verdadero es equivale a p es verdadero o p es verdadero”.
Tautología (2): p ⊢ (p∧ p), en general “p es verdadero es equivale a p es verdadero y p es verdadero”.
Tertium non datur” (Ley de Tercero Excluido): ⊢ (p∨¬p), en general “p o no p es verdadero”.
Principio de no contradicción: ⊢ ¬(p∧¬p), en general “p y no p es falso, es una proposición verdadera”.
La regla lógica del Modus tollens, también se conoce con el nombre de razonamiento indirecto, es muy
utilizada en las ciencias para hacer deducciones. Se puede escribir de las siguientes maneras.
((p → q)∧¬q) → ¬p
p → q
¬q
¬p
((p → q)∧¬q) ⊢ ¬p
En el lenguaje natural se lee de la siguiente manera: “si p implica q, y q es falso, entonces p también es
falso”.
Comprobación: escribir cada una de las leyes lógicas de diferentes maneras y utilizando las tablas lógicas
comprobar que son tautologías.
14
15. Universidad EAFIT Pedro Vicente Esteban Duarte
2.9.1. Ejercicios
Aplicando las reglas de la lógica, comprobar que de las premisas dadas se deduce la inferencia dada. Justi-
fique cada uno de los pasos dados, escribiendo la regla o reglas lógicas utilizadas en cada paso.
1.
q
(p∨q) → t
t ∨s
2.
p → q
p
p∧q
3.
p∧q
p → r
r ∨s
4.
p∧q
p → r
r ∨s
5.
p∧q
r
(p∧r) → s
s
6.
p∨q
p → c
q → c
(p∧q) → c
7.
p → q
q → r
s → t
s∨ p
r ∨t
8.
p → q
(q∨r) → s
s → (t → m)
p∧¬¬t
m
9.
¬p → q
(¬p → ¬q)∧s
p
15
16. Universidad EAFIT Pedro Vicente Esteban Duarte
10.
p → (q∧r)
q∧r
r → s
p → s
11. Aplicando reducción al absurdo.
p → ¬r
q∧r
¬p
3. Conjuntos
La teoría de conjuntos es la base de la matemática moderna. Las relaciones, teoremas, leyes o proposiciones
se realizan sobre las características de los elementos de un conjunto o de varios conjuntos. Por ejemplo, la
definición de función relaciona dos conjuntos, uno llamado dominio y el otro el rango de la función.
Para definir las propiedades de los conjunto se requiere el estudio de la lógica de predicados en la que se
utilizan los cuantificadores existencial (∃) y universal (∀).
3.1. Cuantificadores existencial y universal
En el lenguaje corriente se utilizan frases como “Existe un estudiante que perdió el curso de deportes” o
“Todos los estudiantes ganaron el año”.
Estos enunciados corresponden a la lógica de predicados y se caracterizan por hacer uso de los cuantifica-
dores existencial y universal.
3.1.1. Estructura general de los enunciados de la lógica de predicados
En general, en los enunciados de la lógica de predicados, se tienen elementos que cumplen o no una propie-
dad determinada. En su simbolización, los individuos se denotan con letras minúsculas x, y, z, entre otras.
Las propiedades con letras mayúsculas A, B, C,P, Q, entre otras.
Ejemplo:
El enunciado “Existe un estudiante que perdió el curso de deportes”, se puede simbolizar de la siguiente
manera:
16
17. Universidad EAFIT Pedro Vicente Esteban Duarte
Ex: x es un estudiante.
Dx: x perdió el curso de deportes.
Simbolización: (∃x)(Ex → Dx)
Ejemplo:
El enunciado “Todos los estudiantes ganaron el año”, se puede simbolizar de la siguiente manera:
Ey: y es un estudiante.
Gy: y ganó el año.
Simbolización: (∀y)(Ey → Gy)
Ejemplo:
El enunciado “Todos los carros que utilizan combustibles fósiles contaminan”, se puede simbolizar de la
siguiente manera:
Cz: z es un carro.
Fz: z utiliza combustibles fósiles.
Kz: z contamina.
Simbolización: (∀z)((Cz∧Fz) → Kz)
Ejercicio
Para el enunciado “Ningún rey es futbolista”, si
Rx: x es un rey
Fx: x es futbolista
Su simbolización es
a. (∃x)(Rx → Fx)
b. (∃x)(Rx → ¬Fx)
c. (∀x)(Rx → Fx)
d. (∀x)(Rx → ¬Fx)
17
18. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
Para el enunciado “Algunos perros no saben cantar”,
si
Px: x es un perro
Cx: x sabe cantar
Su simbolización es
a. (∀x)(Px → Cx)
b. (∀x)(Px∨¬Cx)
c. (∃x)(Px∧¬Cx)
d. (∃x)(Px → Cx)
Ejercicio
Para el enunciado “Hay hombres que ni son libres ni
sienten ningún deseo de serlo”, si
Hx: x es un hombre
Lx: x es libre
Dx: x siente deseo de ser libre
Su simbolización es
a. (∃x)(Hx∧Lx∧¬Dx)
b. (∃x)(Hx∧¬Lx∧¬Dx)
c. (∀x)(Hx∧¬Lx∧¬Dx)
d. (∀x)(Hx∧Lx∧¬Dx)
18
19. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
Para el enunciado “El alma feliz a es alma alegre, pa-
ciente, humilde y servicial”, si
Fx: x es un alma feliz
Ax: x es un alma alegre
Px: x es un alma paciente
Hx: x es un alma humilde
Sx: x es un alma servicial
Su simbolización es
a. (∀x)(Fx → (Ax∧Hx∧Px∧Sx))
b. (∀x)(Fx∨(Ax∧Hx∧Px∧Sx))
c. (∃x)(Fx → (Ax∧Hx∧Px∧Sx))
d. (∃x)(Fx → ¬(Ax∧Hx∧Px∧Sx))
3.2. Ejercicios
Simbolizar cada uno de los siguientes enunciados.
1. Todos los hombres son mortales.
2. Todo número al cuadrado es positivo.
3. En cualquier fracción el denominador debe ser diferente de cero.
4. En las raíces pares el argumento debe de ser positivo.
5. Existen casas flotantes y colgantes.
6. Si una flor es roja y es una rosa entonces tiene espinas.
7. Algunos estudiantes llegan tarde a clase.
8. María es una mujer o María tiene el pelo largo.
9. Algunos equipos de fútbol contratan jugadores extranjeros.
3.3. Negación de los cuantificadores existencial y universal
En el lenguaje corriente un predicado puede ser negado. Por ejemplo: “Todos los días hace calor” lo nega-
mos diciendo “Existe un día en el que no hace calor”. Al simbolizar los dos expresiones se tiene:
19
20. Universidad EAFIT Pedro Vicente Esteban Duarte
Dx: x es un día
Cx: en x hace calor.
(∀x)(Dx → Cx) y su negación (∃x)(Dx∧¬Cx)
La negación del cuantificador universal (∀x)(Px) es ¬(∀x)(Px) que lógicamente equivale a (∃x)(¬Px). En
palabras se expresa como: la negación de la universal afirmativa es la existencial negativa.
La negación del cuantificador existencial (∃x)(Px) es ¬(∃x)(Px) que lógicamente equivale a (∀x)(¬Px). En
palabras se expresa como: la negación de la existencial afirmativa es la universal negativa.
Ejemplos:
1. Escriba de dos maneras equivalentes la negación de (∀x)(Px∨Qx)
¬(∀x)(Px∨Qx) ←→ (∃x)(¬(Px∨Qx)) Negación del universal
←→ (∃x)(¬Px∧¬Qx) De Morgan
2. Escriba de dos maneras equivalentes la negación de (∃x)(Px → Qx)
¬(∃x)(Px → Qx) ←→ (∀x)(¬(Px → Qx)) Negación del existencial
←→ (∀x)(¬(¬Px∨Qx)) Implicación material
←→ (∀x)(Px∧¬Qx)) De Morgan y doble negación
Nota: de los ejemplos anteriores se puede deducir que no existe una sola manera de expresar un mismo
predicado. Con los cuantificadores existencial y universal, siguen siendo validas las leyes lógicas estudiadas
anteriormente.
Ejercicio
Al negar el predicado (∀x)(¬Px∧Qx) se obtiene
a. (∃x)(Qx∧Px)
b. (∃x)(Qx∨Px)
c. (∃x)(Px → Qx)
d. (∃x)(Qx → Px)
20
21. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
Al negar el predicado (∃x)(Px → (Qx → Rx)) se ob-
tiene
a. (∀x)(Px∧Qx∧¬Rx)
b. (∀x)(Px∧¬Qx∧Rx)
c. (∀x)(¬Px∧Qx∧Rx)
d. (∀x)(¬Px∧¬Qx∧Rx)
3.4. Definición de conjunto y operaciones entre conjuntos
Un conjunto es una colección de elementos, que es considerada en sí misma como un objeto. Los elementos
pueden ser números, letras, animales, plantas, entre otros. Los elementos de un conjunto se representan con
letras minúsculas del alfabeto (a, b, c,. . . , z) y los conjuntos con letras mayúsculas (A, B, C,. . . , Z).
Si x es un elemento y pertenece al conjunto A, simbólicamente se representa como x ∈ A y se lee “x pertenece
a A”. El símbolo “∈” se lee como “pertenece”. Si el elemento x no pertenece al conjunto A se escribe x ∈ A
y se lee como “x no pertenece a A”. El símbolo “∈” se lee “no pertenece”.
3.4.1. Representación de conjuntos
Para representar un conjunto y sus elementos se tienen diferentes formas. Entre las más utilizadas, se
encuentran:
Extensión: es cuando se nombran todos los elementos de un conjunto. Por ejemplo A = {a, e, i, o, u},
representa el conjunto de todas las vocales del alfabeto castellano. En este caso A es el nombre del
conjunto y a, e, i, o, u son cada uno de sus elementos.
Comprensión: es cuando se da una fórmula verbal o matemática que determina cada uno de los elementos
del conjunto. Por ejemplo: A = {x/x es una vocal del alfabeto castellano}
El símbolo {x/Px} o {x : Px} se llama el discriminante y se utiliza para definir conjuntos por exten-
sión.
Diagrama de Venn: en una figura cerrada se colocan al interior los elementos del conjunto y por fuera de
ella el nombre.
21
22. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
El conjuntoW = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, por comprensión, se pue-
de determinar como
a. W = {x/x es un elemento de los diez primeros números naturales}
b. W = {x/x es un elemento del sistema posicional de base base 9}
c. W = {x/x es un número natural}
d. W = {x/x es un elemento del sistema posicional de base base 10}
3.4.2. Cardinalidad de un conjunto
El cardinal de un conjunto se define como el número de elementos que tiene el conjunto. Si A es un conjunto,
el cardinal de A se denota como #(A).
Por ejemplo, si N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} el cardinal de N es #(N) = 10, que corresponde al número
de elementos que contiene el conjunto N.
El cardinal de un conjunto puede ser finito o infinito. Es finito, cuando se le puede asignar un número
natural finito, 5, 10, 1000, 10000000, entre otros. Es infinito, cuando no se le puede asignar un número
natural finito.
Para representar por extensión un conjunto infinito, se acostumbra escribir los primeros elementos del con-
junto y utilizar tres puntos (...), para representar que los elementos se podrían continuar escribiendo de esa
forma.
Ejemplos:
N = {1, 2, 3,...,} representa al conjunto de todos los números naturales.
Z = {...,−3, −2 −1, 0, 1, 2, 3,...,} representa al conjunto de todos los números enteros.
Cuando el conjunto tiene cardinalidad infinita y existe una fórmula para describirlo, se puede hacer por
comprensión.
Ejemplos:
Q = {a
b : a ∈ Z,b ∈ Z∧b = 0} representa al conjunto de todos los números racionales.
Q∗ = {x : x no se puede escribir como una fracción de números enteros} representa al conjunto de todos los
números irracionales.
P = {p = 2n/n ∈ N} representa al conjunto de todos los números naturales pares.
22
23. Universidad EAFIT Pedro Vicente Esteban Duarte
I = {i = 2n+1/n ∈ N} representa al conjunto de todos los números naturales impares.
Ejercicio
El conjunto P = {p = 2n/n ∈ N}, por extensión, se puede determinar
como
a. P = {3, 4, 7,...}
b. P = {2, 6, 12,...}
c. P = {2, 4, 6,...}
d. P = {1, 2, 3,...}
Ejercicio
El conjunto I = {i = 2n+1/n ∈ N}, por extensión, se puede determi-
nar como
a. I = {3, 4, 7,...}
b. I = {3, 5, 7,...}
c. I = {1, 4, 6,...}
d. I = {1, 5, 9,...}
3.4.3. Conjunto universal
Un conjunto universal o de referencia, se escoge de acuerdo al tipo de conjuntos que se estén trabajando.
Ejemplos:
En el Cálculo de variable real, el conjunto universal son los números reales R.
Cuando se trabaja con diagramas de Venn, el conjunto universal o de referencia se suele representar con un
recuadro y fuera de el se le escribe el nombre de ese conjunto, como se puede ver en la siguiente gráfica:
Hay que tener en cuenta que el conjunto universal, o de referencia hay que tomarlo del contexto del que se
estén tomando los conjuntos a analizar.
Ejercicios: Para los siguientes conjuntos determinar un conjunto universal.
23
24. Universidad EAFIT Pedro Vicente Esteban Duarte
R
a. El conjunto de los animales cuadrúpedos.
b. El conjunto de los hinchas del Medellín.
c. El conjunto de los estudiantes del noveno grado de su colegio.
Ejercicio
Para el conjunto: Plantas de flores amarillas, un posible conjunto uni-
versal es
a. El conjunto de todas las plantas.
b. El conjunto de las plantas amarillas con pistilo blanco.
c. El conjunto de plantas rojas y amarillas.
d. Las plantas que visitan las abejas.
3.4.4. Conjunto vacío
El conjunto vacío es el conjunto al que no pertenece ningún elemento. Se denota por ∅ (conjunto vacío) o
por {} (conjunto vacío), en algunos textos se encuentra la relación ∅ = {}.
∅ = {x/x = x} = { }
(∀x)(x ∈ ∅ ↔ x = x)
24
25. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
El conjunto: el conjunto de los números naturales, múltiplos de 10 que
son primos, es
a. Es el conjunto universal para los números primos.
b. Es vacío, no existe ningún número primo múltiplo de 10.
c. Es un conjunto con cardinal 1.
d. Es un conjunto finito.
Ejercicios: Determinar si los siguientes conjuntos son vacíos, en caso contrario listar sus elementos.
a. El conjunto de todos los números impares que es divisible por dos.
b. El conjunto de todos los primos que son pares.
c. El conjunto de todos los hombres que vuelan.
3.4.5. Relación de contención entre conjuntos
Si A y B son dos conjuntos la relación de contención de A en B se define como:
A ⊂ B ↔ (∀x)(x ∈ A → x ∈ B)
En palabras se lee: A está incluido en B sí y solamente sí todos los elementos de A también son elementos
de B. El símbolo “⊂” se lee como “contenido”.
En un diagrama de Venn se representa de la siguiente manera:
B
A
25
26. Universidad EAFIT Pedro Vicente Esteban Duarte
Si el conjunto A no está incluido en el conjunto B, se escribe:
A ⊂ B ↔ (∃x)(x ∈ A∧x ∈ B)
Que en palabras se puede leer como: El conjunto A no está incluido en el B sí y solo sí existe x que esta en
A y x no está en B.
Gráficamente se puede representar como:
B
A
Propiedades de la inclusión entre conjuntos. Si A, B, C son dos conjuntos cualquiera, U es el conjunto
universal y ∅ el conjunto vacío, se tiene:
a. ∅ ⊂ A, el vacío está incluido en cualquier conjunto.
b. A ⊂ U, todo conjunto está incluido en el universal.
c. Si A ⊂ B y B ⊂ A entonces A = B, si dos conjuntos se contienen entre sí, los dos conjuntos son iguales.
d. A ⊂ A, cualquier conjunto está incluido en sí mismo.
e. ((A ⊂ B)∧(B ⊂ C)) → (A ⊂ C), la inclusión es transitiva.
Ejemplo:
Determinar si el conjunto A = {1, 2, a, b, 3} está contenido en el conjunto B = {1, 2, c, b, 3, d,4}.
Solución:
Note que a ∈ A, pero a ∈ B, por lo tanto A no está incluido en B. Se puede escribir como A ⊂ B.
26
27. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
Para D = {1, 3, 4, 5, 6} y E = {1, 3, 4, 5, 6,7, 8,}, se tiene que D ⊂ E.
a. Verdadero, puesto que todos los elementos D están en E.
b. Falso, hay elementos de D que no están en E.
3.4.6. Unión entre conjuntos
Si A y B son dos conjuntos cualquiera, la unión entre ellos se define como:
A∪B = {x/x ∈ A∨x ∈ B}
(∀x)(x ∈ (A∪B) ↔ x ∈ A∨x ∈ B)
En palabras se puede expresar como: la unión entre el conjunto A y el B está formado por todos los ele-
mentos de A y todos los de B. Si los dos conjuntos tienen elementos en común, en la unión no se repiten.
Gráficamente se representa como:
U
A∪B
BA
Propiedades de la unión entre conjuntos. Si A, B y C son conjuntos cualquiera, U es el conjunto uni-
versal y ∅ el vacío, se tiene que:
a. A∪A = A, la unión de un conjunto consigo mismo es el mismo conjunto.
b. A∪∅ = A, al unir cualquier conjunto con el vacío se obtiene el mismo conjunto.
27
28. Universidad EAFIT Pedro Vicente Esteban Duarte
c. A∪U = U, al unirle al universal cualquier conjunto se obtiene el universal.
d. A∪B = B∪A, la unión entre conjuntos es conmutativa.
e. (A∪B)∪C = A∪(B∪C), la unión entre conjuntos es asociativa.
f. A ⊂ B → A∪B = B. La unión de un conjunto B con un subconjunto suyo A lo deja inalterado.
g. A ⊂ (A∪B), B ⊂ (A∪B), tanto A como B están incluidos en A unión B.
h. A∩B = ∅, si la intersección de dos conjuntos es el vacío, se dice que los dos conjuntos son disjuntos o
disyuntos.
Ejercicios: Mediante diagramas de Venn compruebe todas las propiedades anteriores.
Ejemplo:
Si A = {1, 2, 3, 4, 5} y B = {1, 2, 3, 4, 5, 6,7, 8}, encuentre A∪B.
Solución:
Como A ⊂ B, de acuerdo con una de las propiedades anteriores A∪B = B.
Ejercicio
Si A = {a, 2, b, 3, c} y B = {4, d, 5, e, 6, f, 7, g}, A∪B es
a. A∪B = {2, 3, 4, 5, 6, 7, a, b, c, d, e, f, g}
b. A∪B = {3, 4, 5, 6, 7, a, b, c, d, e, f, g}
c. A∪B = {1, 2, 3, 4, 5, 6, 7, a, b, c, d, e}
d. A∪B = {1, 2, 3, 4, 5, c, d, e, f, g}
3.4.7. Intersección entre conjuntos
Si A y B son dos conjuntos cualquiera, la intersección entre ellos se define como:
A∩B = {x/x ∈ A∧x ∈ B}
(∀x)(x ∈ (A∩B) ↔ x ∈ A∧x ∈ B)
En palabras se puede expresar como: la intercesión entre el conjunto A y el B está formada por todos los
elementos de A y todos los de B que son comunes a ambos conjuntos. Gráficamente se representa como:
28
29. Universidad EAFIT Pedro Vicente Esteban Duarte
U
BA
A∩B
Propiedades de la intersección entre conjuntos. Si A, B y C son conjuntos cualquiera, U es el conjunto
universal y ∅ el vacío, se tiene que:
a. A∩A = A, la intercesión de un conjunto consigo mismo es el mismo conjunto.
b. A∩∅ = ∅, al interceptar cualquier conjunto con el vacío se obtiene el vacío.
c. A∩U = A, al interceptar al universal con cualquier conjunto se obtiene el conjunto.
d. A∩B = B∩A, la intercesión entre conjuntos es conmutativa.
e. (A∩B)∩C = A∩(B∩C), la intercesión entre conjuntos es asociativa.
f. A∩B ⊂ A, A∩B ⊂ B, la intersección de A y B está incluido en A y está incluido en B.
g. A ⊂ B → (A ∪ B) ⊂ A, la intersección de un conjunto A con un conjunto B que lo contenga, deja a A
inalterado.
h. A∩(B∩C) = (A∩B)∪(A∩C), la intersección de conjuntos distribuye con la unión de conjuntos.
i. A∪(B∩C) = (A∪B)∩(A∪C), la unión de conjuntos distribuye con la intersección de conjuntos.
Ejercicios: Mediante diagramas de Venn compruebe todas las propiedades anteriores.
Ejemplo:
Si A = {1, 2, 3, 4, 5} y B = {1, 2, 3, 4, 5, 6,7, 8}, encuentre A∩B.
Solución:
Como A ⊂ B, de acuerdo con una de las propiedades anteriores A∩B = A.
29
30. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
Si A = {a, 2, b, 3, c} y B = {4, d, 5, e, 6, f, 7, g}, A∩B es
a. ∅
b. A
c. B
d. A∩B = {1, 2, 3, 4, 5, c, d, e, f, g}
3.4.8. Diferencia entre conjuntos
Si A y B son dos conjuntos cualquiera, la diferencia A−B se define como:
A−B = {x/x ∈ A∧x ∈ B}
(∀x)(x ∈ (A−B) ↔ x ∈ A∧x ∈ B)
En palabras se puede expresar como: la diferencia del conjunto A con el conjunto B está formada por todos
los elementos de A que no están en el conjunto B. Gráficamente se representa como:
U
BA
A−B
U
BA
B−A
Nota: La diferencia entre conjuntos no es conmutativa, como se puede observar en las gráficas anteriores.
Propiedades de la diferencia entre conjuntos. Si A, B y C son conjuntos cualquiera, U es el conjunto
universal y ∅ el vacío, se tiene que:
a. A−A = ∅, la diferencia de un conjunto con el mismo es el vacío.
30
31. Universidad EAFIT Pedro Vicente Esteban Duarte
b. A−∅ = A, la diferencia entre un conjunto y el vacío es el conjunto.
c. ∅−A = ∅, la diferencia entre el vacío y un conjunto cualquiera en el vacío.
d. A−U = ∅, el conjunto A menos el conjunto universal es el vacío.
e. U −A = A′, el conjunto U menos A es igual al complemento de A.
f. A−B = B−A, la diferencia entre conjuntos no es conmutativa.
g. A −B = ∅ ↔ A ⊂ B, si la diferencia entre conjuntos es el vacío, entonces uno de ellos está incluido en
el otro.
h. A−B = A ↔ A∩B = ∅.
i. A−B = A∩B′, la diferencia A−B es igual a A interceptado con el complemento de B.
Ejercicios: Mediante diagramas de Venn compruebe todas las propiedades anteriores.
Ejemplo:
Si A = {1, 2, 3, 4, 5} y B = {1, 2, 3, 4, 5, 6,7, 8}, encuentre A−B.
Solución:
Como A ⊂ B, de acuerdo con una de las propiedades anteriores A−B = ∅.
Ejercicio
Si A = {a, 2, b, 3, c} y B = {4, d, 5, e, 6, f, 7, g}, A−B es
a. ∅
b. B
c. A
d. A−B = {2, 3, 4, 5, c, d, e, f, g}
3.4.9. Complemento de un conjunto
Si A es un conjunto cualquiera, U es el conjunto universal y A ⊂ U, el complemento de A se define como:
A′
= Ac
= U −A = {x/x ∈ U ∧x ∈ A}
31
32. Universidad EAFIT Pedro Vicente Esteban Duarte
(∀x)(x ∈ A′
↔ (x ∈ U ∧x ∈ A))
En palabras: el complemento del conjunto A son todos los elementos que no pertenecen a A. Gráficamente
se representa como:
U
A′
A
Propiedades del complemento de un conjunto. Si A es un conjunto cualquiera, U es el conjunto univer-
sal y ∅ el conjunto vacío, se tiene:
a. A′ ⊂ U
b. ∅′ = U
c. U′ = ∅
Ejemplo:
Si U = {x ∈ N/1 ≤ x ≤ 10} y A = {1, 2, 3, 4, 5, 6}, encuentre A′.
Solución:
Recordemos que el complemento de un conjunto, son todos los elementos que no pertenecen al conjunto.
Luego A′ = {7, 8, 9, 10}.
32
33. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejercicio
Si U = {x/x es una letra del alfabeto latino} y
E = {x/x es una consonante del alfabeto latino},
el complemento de E es
a. F = {a, i, o, u}
b. A = {a, e, i, o, u, l}
c. A = {a, e, i, o, u}
d. A = {m, a, e, i, o, u}
3.4.10. Diferencia simétrica entre conjuntos
La diferencia simétrica entre los conjuntos A y B está dada por:
A△B = {x/x ∈ (A−B)∨x ∈ (B−A)}
(∀x)(x ∈ (A△B) ↔ x ∈ (A−B)∨x ∈ (B−A))
En palabras se puede expresar como: la diferencia simétrica entre los conjuntos A y B está dada por los
elementos que están en A−B o en B−A. Gráficamente se puede representar como se puede observar en la
siguiente figura:
U
BA
B−AA−B
A−B
Propiedades de la diferencia simétrica entre conjuntos. Si A, B y C son conjuntos cualquiera, U es el
conjunto universal y ∅ el vacío, se tiene que:
33
34. Universidad EAFIT Pedro Vicente Esteban Duarte
a. A△A = ∅, la diferencia simétrica de un conjunto con el mismo es el vacío.
b. A△∅ = A, la diferencia simétrica entre un conjunto y el vacío es el conjunto.
c. A△U = A′, el conjunto A diferencia simétrica con el conjunto universal es el complemento de A.
d. U△A = A′, el conjunto U diferencia simétrica con A es igual al complemento de A.
e. A△B = B△A, la diferencia simétrica entre dos conjuntos es conmutativa.
f. A△B = (A∪B)−(A∩B)
g. A△(B△C) = (A△B)△C
h. A ⊂ B → A△B = B−A
i. A△B = B△A, la diferencia simétrica es conmutativa.
j. A∩(B△C) = (A△B)∩(A△C), la intersección de conjuntos distribuye con la diferencia simétrica.
Ejercicios: Mediante diagramas de Venn compruebe todas las propiedades anteriores.
Ejemplo:
Si A = {1, 2, 3, 4, 5} y B = {1, 2, 3, 4, 5, 6, 7, 8}, encuentre A△B.
Solución:
Como A ⊂ B, de acuerdo con una de las propiedades anteriores A−B = A′ = {6, 7, 8}.
Ejercicio
Si A = {a, 2, b, 3, c} y B = {4, d, 5, e, 6, f, 7, g}, A△B es
a. {2, 3, 4, 5, 6, 7, a, b, c, d, e, f, g}
b. {3, 4, 5, 6, 7, a, b, c, d, e, f, g}
c. {1, 2, 3, 4, 5, 6, 7, a, b, c, d, e}
d. {1, 2, 3, 4, 5, c, d, e, f, g}
3.4.11. Conjunto potencia
Si A es un conjunto el conjunto potencia de A está formado por todos los subconjunto de A. El conjunto
potencia de A se denota por P(A).
Ejemplo:
34
35. Universidad EAFIT Pedro Vicente Esteban Duarte
El conjunto potencia de A = {1,2} está dado por el conjunto P(A) = {∅, {1}, {2},{1, 2}}
En general, al conjunto potencia de A pertenecen el conjunto ∅ y el mismo A. Note que los elementos de
P(A) son conjuntos.
El cardinal del conjunto potencia de A, P(A) está dado por 2n, en donde n es el cardinal del conjunto A.
Ejercicio
Si B = {a, b, c}, el conjunto potencia de B es
a. P(B) = {∅, {a}, {b}, {c}, {a, b}, {b, c}, {a, b, c}}
b. P(B) = {∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}}
c. P(B) = {{a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}
d. P(B) = {∅, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}}
Ejercicio
Si D = {1, 2, 3, 4, 5}, el cardinal del conjunto potencia de D es
a. #(P(B)) = 8
b. #(P(B)) = 16
c. #(P(B)) = 32
d. #(P(B)) = 64
3.4.12. Producto cartesiano entre conjuntos
Si A y B son dos conjuntos el producto cartesiano de A por B se define como:
A×B = {(x,y)/x ∈ A∧y ∈ B}
(∀x)(∀y)((x,y) ∈ A×B ↔ x ∈ A∧y ∈ B)
El producto cartesiano de dos conjuntos se representa por todas las parejas ordenadas (x,y), en donde x
pertenece al primer conjunto y y al segundo conjunto.
35
36. Universidad EAFIT Pedro Vicente Esteban Duarte
Ejemplo:
Gráficamente se puede representar como:
Si A = {1, 2, 3, 4} B = {a, b}, el producto cartesiano A×B se puede representar como gráficamente como:
b (1,b) (2,b) (3,b) (4,b)
a (1,a) (2,a) (3,a) (4,a)
A×B 1 2 3 4
o por:
b • • • •
a • • • •
A×B 1 2 3 4
y como conjunto por:
A×B = {(1,a),(2,a),(3,a),(4,a),(1,b),(2,b),(3,b),(4,b)}
Si (x,y) ∈ A×B se lee x está relacionado con y y se escribe xRy y se lee: x está relacionado con y, a R se le
llama una relación y cualquier relación es un subconjunto del producto cartesiano.
Propiedades del producto cartesiano. Si A, B son conjuntos y ∅ es el vacío, las siguientes son algunas
de las propiedades del producto cartesiano:
a. A×∅ = ∅×A = ∅
b. A×B = B×A
Ejercicio
Si A = {♣, ♠} y B = {⋆, }, A×B es
a. A×B = {(⋆,♣), (⋆,♣), ( ,♠), ( ,♠)}
b. A×B = {(♣,⋆), (♣,⋆), ( ,♠), ( ,♠)}
c. A×B = {(♣,⋆), (♣,⋆), (♠, ), ( ,♠)}
d. A×B = {(♣,⋆), (♣,⋆), (♠, ), (♠, )}
36