1) El documento presenta conceptos básicos de lógica y conjuntos como proposiciones, tablas de verdad, y operadores lógicos como negación, conjunción, disyunción y condicional. 2) Define formalmente cada concepto y provee ejemplos para ilustrarlos. 3) El objetivo es establecer un lenguaje simbólico preciso para simplificar el análisis de argumentos lógicos complejos.
Este documento describe diferentes formas de representar funciones, incluyendo expresiones verbales, algebraicas, tablas de valores y gráficas. Explica cómo elaborar tablas de valores y bosquejar gráficas de funciones, así como un método gráfico para identificar si una gráfica representa una función verdadera mediante el trazado de líneas verticales. Proporciona ejemplos ilustrativos de estas técnicas.
El documento explica el concepto de inducción matemática y su principio. El principio de inducción matemática establece que para demostrar que una propiedad P es válida para todos los números naturales, basta con demostrar que P es válida para 1 y que si es válida para un número natural n, también lo es para n+1. El documento incluye dos ejemplos de demostraciones mediante inducción matemática.
El documento explica las operaciones lógicas de negación, conjunción, disyunción, condicional y bicondicional. Define cada una y provee ejemplos de su uso. También incluye tablas de verdad que muestran cómo el valor de verdad de cada operación cambia dependiendo de los valores de verdad de sus componentes.
El documento presenta información sobre funciones de variable real, incluyendo definiciones de dominio, rango, gráficas y tipos de funciones. Se proporcionan ejemplos de funciones y preguntas para evaluar la comprensión de conceptos como funciones lineales, par e impar. También incluye aplicaciones a temas como economía y administración para ilustrar el uso de funciones en diferentes contextos.
El documento describe diferentes tipos de expresiones algebraicas como monomios, binomios, trinomios y polinomios. Explica cómo sumar, restar, multiplicar y dividir estas expresiones. También introduce conceptos como productos notables y factorización, los cuales permiten simplificar expresiones algebraicas complejas mediante la aplicación de fórmulas algebraicas específicas.
Ecuaciones exponenciales y logaritmicasDavid Narváez
Este documento trata sobre ecuaciones exponenciales y logarítmica. Explica las funciones exponenciales, sus definiciones y propiedades como la potenciación de números, sumas y productos de exponentes. También cubre logaritmos, sus definiciones, identidades y cambios de base. Finalmente incluye ejemplos y preguntas para la comprensión del tema.
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.
El documento presenta conceptos básicos de lógica y conjuntos. Explica que las proposiciones son enunciados que pueden ser verdaderos o falsos, y describe proposiciones simples y compuestas. Luego introduce conceptos de conjuntos como elementos, pertenencia y determinación de conjuntos. Finalmente, cubre relaciones entre conjuntos como contenencia, igualdad e intersección.
Este documento describe diferentes formas de representar funciones, incluyendo expresiones verbales, algebraicas, tablas de valores y gráficas. Explica cómo elaborar tablas de valores y bosquejar gráficas de funciones, así como un método gráfico para identificar si una gráfica representa una función verdadera mediante el trazado de líneas verticales. Proporciona ejemplos ilustrativos de estas técnicas.
El documento explica el concepto de inducción matemática y su principio. El principio de inducción matemática establece que para demostrar que una propiedad P es válida para todos los números naturales, basta con demostrar que P es válida para 1 y que si es válida para un número natural n, también lo es para n+1. El documento incluye dos ejemplos de demostraciones mediante inducción matemática.
El documento explica las operaciones lógicas de negación, conjunción, disyunción, condicional y bicondicional. Define cada una y provee ejemplos de su uso. También incluye tablas de verdad que muestran cómo el valor de verdad de cada operación cambia dependiendo de los valores de verdad de sus componentes.
El documento presenta información sobre funciones de variable real, incluyendo definiciones de dominio, rango, gráficas y tipos de funciones. Se proporcionan ejemplos de funciones y preguntas para evaluar la comprensión de conceptos como funciones lineales, par e impar. También incluye aplicaciones a temas como economía y administración para ilustrar el uso de funciones en diferentes contextos.
El documento describe diferentes tipos de expresiones algebraicas como monomios, binomios, trinomios y polinomios. Explica cómo sumar, restar, multiplicar y dividir estas expresiones. También introduce conceptos como productos notables y factorización, los cuales permiten simplificar expresiones algebraicas complejas mediante la aplicación de fórmulas algebraicas específicas.
Ecuaciones exponenciales y logaritmicasDavid Narváez
Este documento trata sobre ecuaciones exponenciales y logarítmica. Explica las funciones exponenciales, sus definiciones y propiedades como la potenciación de números, sumas y productos de exponentes. También cubre logaritmos, sus definiciones, identidades y cambios de base. Finalmente incluye ejemplos y preguntas para la comprensión del tema.
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.
El documento presenta conceptos básicos de lógica y conjuntos. Explica que las proposiciones son enunciados que pueden ser verdaderos o falsos, y describe proposiciones simples y compuestas. Luego introduce conceptos de conjuntos como elementos, pertenencia y determinación de conjuntos. Finalmente, cubre relaciones entre conjuntos como contenencia, igualdad e intersección.
El método de sustitución consiste en despejar una incógnita en una ecuación y sustituir su valor en la otra ecuación para obtener una ecuación con una sola incógnita que puede resolverse. Los pasos incluyen despejar una variable, sustituir su valor en la otra ecuación, despejar la segunda variable y sustituir su valor en la ecuación original para encontrar las soluciones.
El documento define las proposiciones como enunciados que solo pueden ser verdaderos o falsos. Explica que las proposiciones se denotan con letras minúsculas y tienen un valor lógico de 1 para verdadero y 0 para falso. Luego describe los conectivos lógicos como la negación, conjunción, disyunción inclusiva, disyunción exclusiva y condicional, y sus tablas de verdad. Finalmente, introduce conceptos como tautologías, contradicciones, equivalencia e implicación lógica y
Este documento presenta algunas propiedades y operaciones básicas del álgebra de conjuntos. Explica la conmutatividad de la unión de conjuntos y muestra la demostración de propiedades como A ∪ B = B ∪ A. También presenta un ejemplo de determinar el conjunto representado por una región sombreada en un diagrama de Venn e identifica dicho conjunto como [(A ∩ B ∩ C) ∪ C] ∪ (B ∪ C ∪ C).
Este documento presenta información sobre ecuaciones lineales y cuadráticas. Explica los diferentes tipos de ecuaciones y métodos para resolver ecuaciones lineales como reducción, igualación, sustitución y método gráfico. También describe cómo resolver ecuaciones cuadráticas usando factorización simple, completando el cuadrado y la fórmula cuadrática. Finalmente, da un ejemplo aplicado de un problema de gestión ambiental.
Este documento presenta conceptos básicos de lógica matemática y conjuntos. En la sección de lógica matemática, define proposición, tabla de verdad, operadores lógicos como negación, conjunción, disyunción, condicional y bicondicional. También presenta ejemplos de razonamientos válidos e inválidos. En la sección de conjuntos, define conceptos como conjunto vacío, unitario, finito e infinito, cardinalidad, y formas de describir conjuntos como por comprensión o extensión.
El documento explica los sistemas de inecuaciones lineales con una incógnita, cómo resolverlos y da ejemplos. Presenta también problemas tipo y cómo resolverlos mediante el establecimiento de inecuaciones y su resolución.
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
1. El documento presenta varios ejercicios relacionados con proposiciones lógicas, operadores lógicos y proposiciones compuestas. Se pide identificar si ciertos enunciados son proposiciones, traducir proposiciones al lenguaje formal, determinar el valor de verdad de proposiciones y más. 2. Los ejercicios abarcan temas como proposiciones simples y compuestas, recíprocas, contrarrecíprocas, condiciones necesarias y suficientes. 3. Se pide traducir vari
En esta presentación se puede observar la representacion de la función afín trabajando con tabla de valores o con los parámetros ordenada al origen-pendiente. Así también como se llega a la función lineal o función de proporcionalidad directa.
Este documento explica conceptos lógicos como tautología, contradicción y contingencia. Una tautología es una expresión lógica que es siempre verdadera independientemente de los valores de verdad de sus componentes. Una contradicción es siempre falsa. Una contingencia puede ser verdadera o falsa dependiendo de los valores de verdad. Para determinar si una expresión es una de estas, se construye una tabla de verdad.
Este documento presenta las leyes del álgebra de proposiciones, que son equivalencias lógicas que permiten reducir expresiones complejas a formas más simples. Describe varias leyes como las leyes idempotentes, asociativas, conmutativas, distributivas, de identidad, de complementación y de Morgan.
Las leyes de de morgan son una parte de la lógica proposicional y analíticaSol Ramos
Las leyes de De Morgan establecen que la suma de variables proposicionales negadas globalmente es igual al producto de las mismas variables negadas individualmente, y viceversa para el producto y la suma. Augustus De Morgan creó estas leyes como parte de la lógica proposicional y analítica.
Este documento presenta un taller de comunicación sobre oraciones y ortografía para estudiantes de la Facultad de Ciencias Matemáticas y Físicas de la Universidad de Guayaquil. El taller contiene 20 preguntas sobre conceptos básicos de comunicación como elementos de la comunicación, tipos de comunicación oral y escrita, características y errores comunes. El taller tiene una duración aproximada de 3 horas y será calificado según una rúbrica de trabajos.
Este documento presenta los conceptos básicos del cálculo proposicional, incluyendo las definiciones de proposición, proposición simple, proposición molecular, operadores lógicos como la negación, conjunción, disyunción inclusiva y exclusiva, condicional y bicondicional. También explica las formas proposicionales, tautologías, contradicciones, leyes del álgebra proposicional, circuitos lógicos y métodos de demostración como la demostración directa y por contrarreciproca.
Este documento explica los tipos de tablas de verdad y los operadores lógicos en C++. Define una tabla de verdad como una relación de los posibles valores de los operandos y resultados para cada caso. Explica los operadores lógicos &&, || y ! en C++ y sus significados AND, OR y NOT. Además, describe las funciones de verdad como negación, conjunción, disyunción, condicional y bicondicional a través de tablas de verdad.
Este documento presenta conceptos básicos de lógica matemática como proposiciones, funciones proposicionales, conectivos lógicos, tablas de verdad, cuantificadores y métodos de demostración. Explica que una proposición es una afirmación verdadera o falsa y presenta ejemplos. Luego introduce funciones proposicionales y conectivos lógicos como la conjunción, disyunción e implicación. Finalmente, explica tablas de verdad, tautologías y contradicciones.
El documento presenta conceptos básicos de lógica proposicional. Explica que una proposición puede ser atómica o molecular, y describe los conectivos lógicos como la conjunción, disyunción y negación. También introduce las tablas de verdad y las leyes de las proposiciones, como la equivalencia, identidad y dominancia.
Este documento trata sobre expresiones algebraicas. Explica que una expresión algebraica es una combinación de letras y números unidos por operaciones como la suma, resta, multiplicación, división y potenciación. Luego describe los procedimientos para sumar, restar, multiplicar y dividir expresiones algebraicas, incluyendo monomios y polinomios. También cubre conceptos como productos notables y factorización de expresiones usando productos notables.
Este documento presenta un resumen de los conceptos básicos de lógica y conjuntos. Introduce la lógica simbólica como un lenguaje preciso para analizar argumentos lógicos. Explica las definiciones de proposición, valor de verdad, tabla de verdad y los operadores lógicos como la negación, conjunción, disyunción y condicional. Finalmente, introduce los conceptos de razonamiento lógico y su validez.
Este documento presenta una introducción a la lógica simbólica y los conceptos fundamentales como proposiciones, operadores lógicos, tablas de verdad y formas proposicionales. Explica las definiciones de negación, conjunción, disyunción, condicional y bicondicional y cómo se representan mediante tablas de verdad. También introduce conceptos como razonamientos, validez y tipos de formas proposicionales como tautologías, contradicciones y contingencias.
El método de sustitución consiste en despejar una incógnita en una ecuación y sustituir su valor en la otra ecuación para obtener una ecuación con una sola incógnita que puede resolverse. Los pasos incluyen despejar una variable, sustituir su valor en la otra ecuación, despejar la segunda variable y sustituir su valor en la ecuación original para encontrar las soluciones.
El documento define las proposiciones como enunciados que solo pueden ser verdaderos o falsos. Explica que las proposiciones se denotan con letras minúsculas y tienen un valor lógico de 1 para verdadero y 0 para falso. Luego describe los conectivos lógicos como la negación, conjunción, disyunción inclusiva, disyunción exclusiva y condicional, y sus tablas de verdad. Finalmente, introduce conceptos como tautologías, contradicciones, equivalencia e implicación lógica y
Este documento presenta algunas propiedades y operaciones básicas del álgebra de conjuntos. Explica la conmutatividad de la unión de conjuntos y muestra la demostración de propiedades como A ∪ B = B ∪ A. También presenta un ejemplo de determinar el conjunto representado por una región sombreada en un diagrama de Venn e identifica dicho conjunto como [(A ∩ B ∩ C) ∪ C] ∪ (B ∪ C ∪ C).
Este documento presenta información sobre ecuaciones lineales y cuadráticas. Explica los diferentes tipos de ecuaciones y métodos para resolver ecuaciones lineales como reducción, igualación, sustitución y método gráfico. También describe cómo resolver ecuaciones cuadráticas usando factorización simple, completando el cuadrado y la fórmula cuadrática. Finalmente, da un ejemplo aplicado de un problema de gestión ambiental.
Este documento presenta conceptos básicos de lógica matemática y conjuntos. En la sección de lógica matemática, define proposición, tabla de verdad, operadores lógicos como negación, conjunción, disyunción, condicional y bicondicional. También presenta ejemplos de razonamientos válidos e inválidos. En la sección de conjuntos, define conceptos como conjunto vacío, unitario, finito e infinito, cardinalidad, y formas de describir conjuntos como por comprensión o extensión.
El documento explica los sistemas de inecuaciones lineales con una incógnita, cómo resolverlos y da ejemplos. Presenta también problemas tipo y cómo resolverlos mediante el establecimiento de inecuaciones y su resolución.
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
1. El documento presenta varios ejercicios relacionados con proposiciones lógicas, operadores lógicos y proposiciones compuestas. Se pide identificar si ciertos enunciados son proposiciones, traducir proposiciones al lenguaje formal, determinar el valor de verdad de proposiciones y más. 2. Los ejercicios abarcan temas como proposiciones simples y compuestas, recíprocas, contrarrecíprocas, condiciones necesarias y suficientes. 3. Se pide traducir vari
En esta presentación se puede observar la representacion de la función afín trabajando con tabla de valores o con los parámetros ordenada al origen-pendiente. Así también como se llega a la función lineal o función de proporcionalidad directa.
Este documento explica conceptos lógicos como tautología, contradicción y contingencia. Una tautología es una expresión lógica que es siempre verdadera independientemente de los valores de verdad de sus componentes. Una contradicción es siempre falsa. Una contingencia puede ser verdadera o falsa dependiendo de los valores de verdad. Para determinar si una expresión es una de estas, se construye una tabla de verdad.
Este documento presenta las leyes del álgebra de proposiciones, que son equivalencias lógicas que permiten reducir expresiones complejas a formas más simples. Describe varias leyes como las leyes idempotentes, asociativas, conmutativas, distributivas, de identidad, de complementación y de Morgan.
Las leyes de de morgan son una parte de la lógica proposicional y analíticaSol Ramos
Las leyes de De Morgan establecen que la suma de variables proposicionales negadas globalmente es igual al producto de las mismas variables negadas individualmente, y viceversa para el producto y la suma. Augustus De Morgan creó estas leyes como parte de la lógica proposicional y analítica.
Este documento presenta un taller de comunicación sobre oraciones y ortografía para estudiantes de la Facultad de Ciencias Matemáticas y Físicas de la Universidad de Guayaquil. El taller contiene 20 preguntas sobre conceptos básicos de comunicación como elementos de la comunicación, tipos de comunicación oral y escrita, características y errores comunes. El taller tiene una duración aproximada de 3 horas y será calificado según una rúbrica de trabajos.
Este documento presenta los conceptos básicos del cálculo proposicional, incluyendo las definiciones de proposición, proposición simple, proposición molecular, operadores lógicos como la negación, conjunción, disyunción inclusiva y exclusiva, condicional y bicondicional. También explica las formas proposicionales, tautologías, contradicciones, leyes del álgebra proposicional, circuitos lógicos y métodos de demostración como la demostración directa y por contrarreciproca.
Este documento explica los tipos de tablas de verdad y los operadores lógicos en C++. Define una tabla de verdad como una relación de los posibles valores de los operandos y resultados para cada caso. Explica los operadores lógicos &&, || y ! en C++ y sus significados AND, OR y NOT. Además, describe las funciones de verdad como negación, conjunción, disyunción, condicional y bicondicional a través de tablas de verdad.
Este documento presenta conceptos básicos de lógica matemática como proposiciones, funciones proposicionales, conectivos lógicos, tablas de verdad, cuantificadores y métodos de demostración. Explica que una proposición es una afirmación verdadera o falsa y presenta ejemplos. Luego introduce funciones proposicionales y conectivos lógicos como la conjunción, disyunción e implicación. Finalmente, explica tablas de verdad, tautologías y contradicciones.
El documento presenta conceptos básicos de lógica proposicional. Explica que una proposición puede ser atómica o molecular, y describe los conectivos lógicos como la conjunción, disyunción y negación. También introduce las tablas de verdad y las leyes de las proposiciones, como la equivalencia, identidad y dominancia.
Este documento trata sobre expresiones algebraicas. Explica que una expresión algebraica es una combinación de letras y números unidos por operaciones como la suma, resta, multiplicación, división y potenciación. Luego describe los procedimientos para sumar, restar, multiplicar y dividir expresiones algebraicas, incluyendo monomios y polinomios. También cubre conceptos como productos notables y factorización de expresiones usando productos notables.
Este documento presenta un resumen de los conceptos básicos de lógica y conjuntos. Introduce la lógica simbólica como un lenguaje preciso para analizar argumentos lógicos. Explica las definiciones de proposición, valor de verdad, tabla de verdad y los operadores lógicos como la negación, conjunción, disyunción y condicional. Finalmente, introduce los conceptos de razonamiento lógico y su validez.
Este documento presenta una introducción a la lógica simbólica y los conceptos fundamentales como proposiciones, operadores lógicos, tablas de verdad y formas proposicionales. Explica las definiciones de negación, conjunción, disyunción, condicional y bicondicional y cómo se representan mediante tablas de verdad. También introduce conceptos como razonamientos, validez y tipos de formas proposicionales como tautologías, contradicciones y contingencias.
El documento habla sobre las proposiciones, sus elementos, operaciones lógicas y tablas de verdad. Define proposiciones, valores de verdad, negación, conjunción, disyunción, condicional y bicondicional. Explica cómo representar proposiciones compuestas y evaluar su validez usando tablas de verdad.
Este documento introduce el tema de la lógica matemática. Explica que la lógica estudia los métodos de razonamiento y provee reglas para determinar la validez de argumentos. Además, define la lógica como la ciencia del pensamiento científico y sus formas, y explica conceptos fundamentales como proposiciones, tablas de verdad, y operadores lógicos como la negación, conjunción, disyunción, condicional y bicondicional.
Este documento presenta conceptos básicos de lógica proposicional, incluyendo proposiciones, operadores lógicos como negación, conjunción, disyunción y condicional, y tablas de verdad. También introduce nociones como recíproca, inversa y contrarrecíproca de una condicional.
Este documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También clasifica las proposiciones en simples y compuestas, y explica los conectivos lógicos y conceptos como tautología, equivalencia y contradicción. Finalmente, resume algunas
Este documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También cubre conceptos como proposiciones simples y compuestas, conectivos lógicos, proposiciones condicionales y bicondicionales, tautologías, equivalencias y cont
Este documento trata sobre lógica matemática. Explica que la lógica matemática estudia los sistemas formales y cómo definen nociones matemáticas usando lenguaje formal. Se divide en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. También explica cómo clasificar proposiciones en simples y compuestas, y los diferentes conectivos lógicos como la conjunción y la condicional que permiten formar proposiciones compuestas
Este documento resume los conceptos fundamentales de la lógica proposicional, incluyendo las definiciones de proposición, conectivos lógicos, tablas de verdad, leyes lógicas y reglas de inferencia. Explica que la lógica proposicional estudia las relaciones entre proposiciones y su valor de verdad, y define proposiciones, conectivos como la negación, conjunción, disyunción y condicional. También cubre tablas de verdad, tautologías, contradicciones y leyes l
Este documento resume los conceptos fundamentales de la lógica proposicional. Explica que la lógica proposicional estudia las relaciones entre proposiciones y su verdad. Define proposiciones, operadores lógicos, tablas de verdad y leyes lógicas. También describe reglas de inferencia como modus ponens y modus tollens que permiten derivar nuevas conclusiones.
Este documento describe los operadores lógicos y las tablas de verdad. Explica que las tablas de verdad representan gráficamente los posibles valores de verdad de una proposición y describen los operadores de negación, conjunción, disyunción, condicional y bicondicional junto con sus tablas de verdad respectivas.
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 los diferentes tipos de proposiciones como simples y compuestas, y los operadores lógicos como AND, OR, condicionales y bicondicionales. Finalmente, presenta conceptos como tautologías, contradicciones, leyes de la ló
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.
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 los diferentes tipos de proposiciones como simples y compuestas, y los operadores lógicos como AND, OR, condicionales y bicondicionales. Finalmente, presenta conceptos como tautologías, contradicciones, leyes de la ló
Este documento introduce conceptos básicos de lógica y conjuntos. Explica que una proposición es una unidad semántica que es verdadera o falsa, y presenta ejemplos de proposiciones y no proposiciones. También define operadores lógicos como la negación, y muestra cómo cambian los valores de verdad de una proposición. Finalmente, explica que en lenguaje natural usamos proposiciones más complejas que involucran operadores lógicos.
Este documento presenta información sobre proposiciones, conectivos lógicos y tablas de verdad. Define proposiciones simples y compuestas, y describe los conectivos lógicos de negación, conjunción, disyunción, condicional y bicondicional. Explica cómo construir tablas de verdad y proporciona ejemplos de términos lógicos como tautologías y contradicciones. También cubre conceptos como razonamiento lógico y métodos de demostración como directa e indirecta.
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 y tablas de verdad para ilustrar sus propiedades lógicas. El objetivo es que los estudiantes comprendan los mecanismos abstractos de la lógica matemática para analizar expresiones y la validez de argumentos
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 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 y tablas de verdad para ilustrar sus propiedades lógicas. El objetivo general es familiarizar al estudiante con los elementos básicos de la lógica formal necesarios para el análisis y evaluación de argumentos.
Este documento trata sobre tablas de verdad y operadores lógicos. Define conceptos como tautología, contradicción y contingencia. Explica los valores de verdad de operadores como la negación, conjunción, disyunción, condicional y bicondicional. También define conceptos como condición necesaria y suficiente y equivalencia lógica.
1. MATEMATICAS
CAPITULO 1
LOGICA Y CONJUNTOS
Introducción.
Todos estamos familiarizados con la idea de que algunas personas poseen
una mentalidad lógica mientras que otras no. Siempre resulta sencillo seguir
razonamientos o argumentos extensos para obtener conclusiones validas.
Nosotros trabajamos con argumentos dentro de la lógica aristotélica, donde
todo argumento debe ser o verdadero o falso, no existe una tercera
posibilidad. Para poder manejar y operar entre estos argumentos, el lenguaje
usual puede resultar ambiguo respecto a la validez de los argumentos.
La frase: “Pon el sobre que te sobre, sobre la mesa”, sugiere que la palabra
sobre tiene tres diferentes significados en la misma oración. Por ello, se
necesita de un lenguaje que sea más preciso: la lógica simbólica. Su propósito
consiste en establecer un nuevo lenguaje, el cual se pueda utilizar para
simplificar el análisis de argumentos lógicos complicados.
La lógica simbólica es la rama de las matemáticas que nos permite reconocer
la validez de una argumentación, así como también nos proporciona las
herramientas de razonamiento necesarias para elaborar demostraciones
irrefutables y convincentes. Una parte importante de las matemáticas son las
definiciones, estas en general no responden a la pregunta ¿qué es?, sino a la
pregunta ¿qué características tiene?
Además, las siguientes definiciones tienen parte conceptual (¿Qué significa?)
y una parte operativa (¿Cómo se trabaja?).
Leibniz fue el primero en concebir este planteamiento, cuando a la edad de
14 años intento reformar la lógica clásica. En 1966, deseaba crear un método
general en el cual todas las verdades de la razón serian reducidas a una
2. especie de cálculos, llamando a la lógica simbólica “característica
fundamental”.
El sueño de Leibniz no se realizo hasta que Boole separo los símbolos
presentes en las operaciones matemáticas, de los conceptos sobre los cuales
operaban y estableció un sistema factible y sencillo de lógica simbólica.
1.1PROPOSICIONES
Objetivos.
Al finalizar esta sección el lector podrá:
Dadas varias oraciones, identificar cuáles son sus proposiciones y
cuáles no, justificando adecuadamente su respuesta.
Identificar oraciones que representan proposiciones.
Definición de Proposición.
Una proposición es una unidad semántica que, o sólo es verdadera o sólo
es falsa.
Los elementos fundamentales de la lógica son las proposiciones. Por ello,
las oraciones que no son falsas ni verdaderas, las que son falsas y
verdaderas al mismo tiempo, o las que demuestran algún tipo de
imprecisión (carecen de sentido), no son objeto de estudio de la lógica.
Ejemplo 1 de Oraciones de Proposiciones.
5 es un número primo.
-17+38=21
Todos los números enteros son positivos.
Vicente Rocafuerte fue Presidente del Ecuador.
Las oraciones anteriormente expuestas son proposiciones, ya que son
verdaderas o falsas. Todas ellas pueden ser calificadas por el lector con
precisión y sin ambigüedad o subjetivismo.
Ejemplo 2. Representación Simbólica de proposiciones.
3. 5 es un número primo puede ser representada por la letra a, de la forma:
a: 5 es un número primo.
Ejemplo 3. Oraciones que no son proposiciones.
Lave el auto, por favor.
Hola, ¿Cómo estás?
¡Apúrate!
X+5=9
DEFINICIÓN DE VALOR DE VERDAD.
Valor de verdad de una proposición es la cualidad de veracidad que
describe adecuadamente la proposición. Éste puede ser verdadero o
falso.
Usualmente al valor verdadero se lo asocia con: 1, V, T, True; mientras
que el valor falso se lo asocia con: 0, F, False. Se podría utilizar cualquiera
de ellas, pero la convención a seguir en el texto será el uso de 0 y 1,
tomando como referencia el sistema de numeración binaria.
DEFINICION DE TABLA DE VERDAD
Una tabla de verdad es una representación de los posibles valores de
verdad que podría tomar una proposición.
Las tablas de verdad sirven para mostrar los valores, las relaciones y los
resultados posibles al realizar operaciones lógicas.
Ejemplo 1. Construcción de tablas de verdad.
a b c
0
0
0
0
0
0
1
1
0
1
0
1
4. La cantidad de combinaciones (filas de la tabla de verdad) depende de la
cantidad de proposiciones presentes en la expresión lógica.
OPERADORES LOGICOS.
Objetivos
Al finalizar esta sección el lector podrá:
Dada la definición de los operadores lógicos, interpretar el
comportamiento de estos operadores mediante su tabla de verdad.
Dado un texto, traducirlo al lenguaje simbólico, identificando
operadores lógicos y proposiciones presentes.
Dada una proposición en el lenguaje simbólico, interpretar su lenguaje
el lenguaje natural.
Dada una condicional de proposiciones, realizar parafraseos con las
diferentes expresiones gramaticales existentes.
Dada una condicional de proposiciones, determinar su reciproca,
inversa y contrarecíproca.
Dada una proposición condicional verdadera, analizar sus condiciones
necesarias y suficientes.
Ejemplo 1. Proposiciones que no son simples.
No te encontré en tu casa.
Fui al banco y estaba cerrado.
1
1
1
1
0
0
1
1
0
1
0
1a b
0
0
1
1
0
1
0
1
a
0
1
5. Tengo una moneda de cinco centavos o una de diez centavos.
El carro de Juan o es azul o es negro.
DEFINICION DE NEGACIÓN
Sea a una proposición, la negación de a, representada simbólicamente por
‐a, es una nueva proposición, cuyo valor de verdad está dado por la siguiente
tabla de verdad:
a -a
0
1
1
0
Este operador lógico cambia el valor de verdad de una proposición: si a es
una proposición verdadera, -a es falsa; si a es una proposición falsa, -a es
verdadera. La negación se presenta con los términos gramaticales: “no”,
“ni”, “no es verdad que”, “no es cierto que”.
Ejemplo 1. Negación de Proposiciones.
Si se tiene la proposición:
a: Tengo un billete de cinco dólares.
La negación de a es:
-a: No tengo un billete de cinco dólares.
DEFINICIÓN DE CONJUNCIÓN.
Sean a y b proposiciones, la conjunción entre a y b, representada
simbólicamente por a^b, es una nueva proposición, cuyo valor de verdad
está dado por la siguiente tabla de verdad:
Ejemplo:
a b a^b
6. 0
0
1
1
0
1
0
1
0
0
0
1
Ejemplo 2. Conjunción de proposiciones.
Si se tienen las proposiciones:
a: Obtengo buenas notas.
b: Gano una beca.
La conjunción entre a y b es:
a^b: Obtengo buenas notas y gano una beca.
DEFINICIÓN DE DISYUNCIÓN.
Sean a y b proposiciones, la disyunción entre a y b, representada
simbólicamente por avb, es una nueva proposición, cuyo valor de verdad
está dado por la siguiente tabla de verdad:
Ejemplo:
a b avb
0
0
1
1
0
1
0
1
0
1
1
1
Ejemplo 1. Disyunción de proposiciones.
Si se tienen las proposiciones:
a: Tengo un libro de Trigonometría.
b: Tengo un libro de Algebra.
7. La disyunción entre a y b es: avb: Tengo un libro de Trigonometría o uno de
Algebra.
DEFINICIÓN DE DISYUNCIÓN EXCLUSIVA.
Sean a y b proposiciones, la disyunción exclusiva entre a y b, representada
simbólicamente por avb, es una nueva proposición, cuyo valor de verdad
está dado por la siguiente tabla de verdad:
Ejemplo:
a b Avb
0
0
1
1
0
1
0
1
0
1
1
0
Ejemplo 2. Disyunción Exclusiva de proposiciones.
Si se tienen las proposiciones:
a: Estoy en Quito.
b: Estoy en Guayaquil.
La disyunción exclusiva entre a y b es:
Avb: O estoy en Quito o estoy en Guayaquil.
DEFINICIÓN DE CONDICIONAL.
Sean a y b proposiciones, la condicional entre a y b, representada
simbólicamente por a>b, es una nueva proposición, cuyo valor de verdad
está dado por la siguiente tabla de verdad:
Ejemplo:
a b a>b
0 0 1
8. 0
1
1
1
0
1
1
0
1
Ejemplo 2. Condicional de proposiciones.
Si se tienen las proposiciones:
a: Juan gana el concurso.
b: Juan dona $10000.
La condicional entre a y b es:
a>b: Si Juan gana el concurso solo, dona $10000.
Parafrasear la condicional, tenemos:
Juan gana el concurso solo si dona $10000.
Juan dona $10000 si gana el concurso.
Si Juan gana el concurso, entonces dona $10000.
Juan dona $10000 puesto que gana el concurso.
Juan dona $10000 debido a que gana el concurso.
Introducción a las condiciones necesarias y suficientes.
Un profesor presenta este problema a sus estudiantes:
“Un hacendado tiene un cierto número de reses, de tal forma que: si las
agrupa de 2 en 2, le sobra 1, si las agrupa de 3 en 3, le sobra 1, pero si las
agrupa de 4 en 4, no le sobran. Entonces, ¿podría indicar usted el número de
reses que tiene el hacendado?”.
El razonamiento que presentaron los estudiantes a este problema, fue:
“Si el hacendado las agrupa de 2 en 2, sobra 1, por lo tanto no es múltiple de
2. Si las agrupa de 3 en 3, sobra 1, por lo tanto no es múltiple de 3. Pero si
las agrupa de 4 en 4, no le sobran, por lo tanto en múltiplo de 4.
9. Mmmm…, pero algo anda mal, porque si el número de reses es múltiplo de
4, también debe ser múltiplo de 2 debido a que 4 es múltiplo de 2. Luego, el
problema está mal planteado”.
DEFINICIÓN DE BICONDICIONAL
Sean a y b proposiciones, la bicondicional entre a y b, representada
simbólicamente por a<->b, es una nueva proposición, cuyo valor de verdad
está dado por la siguiente tabla de verdad:
Ejemplo:
a b a<->
0
0
1
1
0
1
0
1
1
0
0
1
Ejemplo 2. Bicondicional de proposiciones.
Dadas las proposiciones:
a: Un triangulo es equilátero.
b: Un triangulo es equilátero.
La bicondicional entre a y b es:
a<->b: Un triangulo es equilátero si y solo si es equiángulo.
DEFINICIÓN DE PROPOSICIONES SIMPLES Y COMPUESTAS.
Proposiciones simples son aquellas que no poseen operador lógico alguno.
Las proposiciones compuestas están formadas por otras proposiciones y
operadores lógicos.
Ejemplo 3. Traducción al lenguaje simbólico.
Traduzca al lenguaje simbólico la siguiente proposición:
10. “Si la seguridad privada es efectiva, disminuyen los índices de asalto en la
ciudad y el turismo se desarrolla. Los índices de asalto no disminuyen, pero la
seguridad privada es efectiva. Entonces, el turismo no se desarrolla”.
Solución:
Se pueden identificar las siguientes proposiciones simples:
a: La seguridad privada es efectiva.
b: Los índices de asalto disminuyen en la ciudad.
c: El turismo se desarrolla.
Los operadores lógicos que se encuentran presentes en esta proposición
compuesta son la condicional, la conjunción y la negación.
La traducción es:
[(a->(b^c)) ^ (¬b^a)]->(¬c)
FORMAS PROPOSICIONALES
Objetivos
Al finalizar esta sección el lector podrá:
Identificar la diferencia entra proposiciones y formas proposicionales.
Dada una forma proposicional, construir la tabla de verdad que la
describe.
Reconocer los diferentes tipos de formas proposicionales.
Identificar implicaciones y equivalencias lógicas.
DEFINICIÓN DE FORMAS PROPOSICIONALES.
Se denominan formas proposicionales a las estructuras constituidas por
variables proposicionales y los operadores lógicos que las relacionan.
Estas formas proposicionales se representan con las letras mayúsculas del
alfabeto español A, B. C,….
11. DEFINICIÓN DE TAUTOLOGIA, CONTRADICCIÓN Y CONTINGENCIA.
De la estructura lógica de una forma proposicional:
Si se tienen solamente proposiciones verdaderas para todos los valores
de verdad de las variables proposicionales, se dice que es una
TAUTOLOGÍA.
Si se tienen solamente proposiciones falsas para todos los valores de
verdad de las variables proposicionales, se dice que es una
CONTRADICCIÓN.
Si se tienen algunas proposiciones verdaderas y otras falsas para los
valores de verdad de las variables proposicionales, se dice que es una
CONTINGENCIA.
DEFINICIÓN DE IMPLICACIÓN LOGICA.
Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B,
denotado por A->B, si y solo si A-> es una tautología.
Ejemplo:
p q q->p p->(q->p)
0
0
1
1
0
1
0
1
1
0
1
1
1
1
1
1
RAZONAMIENTOS
Objetivos
Al finalizar esta sección el lector podrá:
Reconocer la estructura de un razonamiento.
12. Dado un razonamiento, establecer su validez empleando tablas de
verdad.
Dado un razonamiento, establecer su validez empleando las leyes del
Algebra de Proposiciones.
DEFINICIÓN DE RAZONAMIENTO.
Son proposiciones compuestas que pueden ser representadas por la
conjunción de proposiciones denominadas premisas o hipótesis, la
condicional como operador lógico principal; y, una proposición final
denominada conclusión.
Las premisas o hipótesis corresponden al antecedente de la implicación,
mientras que la conclusión en su consecuente.
DEFINICIÓN DE VALIDEZ DE RAZONAMIENTO.
Un razonamiento es válido cuando la forma proposicional que representa su
estructura lógica es una tautología. Si dicha forma proposicional es una
contradicción o contingencia, entonces el razonamiento no es válido, en cuyo
caso se denomina falacia.
DETERMINACION DE LA VALIDEZ DE UN RAZONAMIENTO.
Determine si el siguiente razonamiento es válido:
“Si el crimen ocurrió después de las 04h00, entonces Pepe no pudo haberlo
cometido. Si el crimen ocurrió a las 04h00 o antes entonces Carlos no pudo
haberlo cometido. El crimen involucra a dos personas, si Carlos no lo
cometió. Por lo tanto, el crimen involucra a dos personas”.
CONJUNTO.
Objetivos.
Al finalizar esta sección el lector podrá:
Dada una agrupación cualquiera, reconocer es o no un conjunto.
13. Definir con sus propias palabras los diferentes tipos de conjuntos.
Expresar un conjunto por comprensión o extensión.
Determinar la cardinalidad de un conjunto dado.
DEFINICIÓN DE CONJUNTO.
Un conjunto es una colección, reunión o agrupación de objetos que poseen
una característica o propiedad común bien definida.
Ejemplo de conjuntos.
Algunas agrupaciones que representan conjuntos son:
Los números enteros.
Los habitantes de la Luna.
Los animales en extinción.
Los números primos.
Los operadores de telefonía de celular.
EJEMPLO. DESCRIPCION DE CONJUNTO.
POR COMPRENSIÓN:
A= {x/x es consonante de la palabra amistad}
POR EXTENCION O TABULACION:
A= {d, m, s, t}
POR DIAGRAMA DE VENN:
A note que:
D € At d
m s
14. DEFINICION DE CARDINALIDAD.
Es la cantidad de elementos de un conjunto A. Se denota por el símbolo N(A)
A= {x/x es un digito impar en el sistema de numeración decimal}
CONJUNTOS RELEVANTES
Sea A un conjunto, se pueden dar los siguientes casos:
A es VACIO si no tiene elementos. El símbolo que se utiliza para
representar al conjunto vacio es Ø. N (A) = 0
A es UNITARIO si tiene un único elemento. N (A) = 1
A es FINITO si tiene una cantidad finita de elementos.
A es REFERENCIAL cuando contiene todos los elementos que desean
considerarse en un problema, discurso o tema, sin pretender contener
todo lo que no interesa al problema. El símbolo que se utiliza para
representar a este conjunto es Re o U.
Propiedades de los operaciones entre conjuntos
Objetivos
Emplear propiedades de las operaciones entre conjuntos para
establecer igualdad entre ellos
Dada una propiedad de las operaciones entre conjuntos , demostrarla
empleando lógica proposicional
plantear y resolver problemas de cardinalidad empezando algebra
de conjuntos
Se la representa de la siguiente manera:
UNION
15. A U B Conmutativa
(A U B) U C= A U ( B U C) Asociativa
A U A = A Idepotencia
A U O = A Identidad
A U Re = Re Absorción
Operaciones entre conjuntos
Se realiza por la representación del diagrama de Venn
En este diagrama se muestra que el conjunto A esta dado por el circulo
externo, el conjunto B esta dado por el circulo interno y el conjunto C esta
dado por el triangulo
Cardinalidad de conjuntos
Determine el porcentaje de alumnos que practican futbol y básquet, si al
entrevistar a 1000 estudiantes se obtuvieron los siguientes resultados :
600 practican futbol
500 practican básquet
150 no practican futbol ni básquet
16. Las secciones pintadas corresponden a :
Rojo: practican básquet total 250
Amarillo: practican ambos deportes 250
Verde: practican futbol 350
Celeste: conjunto referencial 150
Se hizo una encueta a 100 personas acerca del canal de televisión donde
preferían ver programas documentales y se obtuvieron los siguientes
resultados:
620 veían teleamazonas ; 400 veían canal uno ; 590 veían ecuavisa ; 195
veían teleamazonas y canal uno ; 190 preferían ver canal uno y ecuavisa ;
400 veían teleamazonas y ecuavisa ; 300 preferían ver teleamazonas y
ecuavisa pero no canal uno .
Determine el número de personas que no ven estos canales :
N(Re) =1000
N(T) = 620
N(C) = 400
17. N(E) = 590
Verde : teleamazonas total = 125
amarillo: Canal uno total = 115
gris: Ecuavisa total= 100
Negro: Teleamazonas y ecuavisa total= 300
lila: Canal uno y ecuavisa total= 90
Rojo: Teleamazonas, ecuavisa, canal uno , total = 100
Celeste : teleamazonas y canal uno , total = 95
75 personas no ven estos canales
PREDICADOS
Son expresiones en términos de una variable que al ser reemplazadas por
los elementos de un conjunto referencial, se convierten en proposiciones. S
I X REPRESENTA A CUALQUIER ELEMENTO DE Re, entonces la expresión p (x)
se definirá como predicado
La notación para los predicados será: p (x), q (x), r(x), etc.
Dado Re =[ 1,2,3,4,5,6] y p(x): x es impar
si x= 3, p(3) : 3 es impar , es una proposición verdadera
18. si x= 6 p(6): 6 es impar, es una proposición falsa
por lo tanto , p(X) es un predicado
Valor de verdad de proposiciones con cuantificadores
Una proposición que contiene un cuantificador universal es verdadera si y
solo si el conjunto de verdad del predicado es igual al conjuntos
referencial de la expresión abierta
Pares ordenados y producto cartesiano
Objetivos:
Dados 2 conjuntos , construir el producto cartesiano entre ellos
Dados varios conjuntos, determinar la cardinalidad del producto
cartesiano entre ellos.
Demostrar las leyes del producto cartesiano
Un par ordenado es un conjunto de dos elementos , a y b , que tiene un
orden ; al elemento a se lo denomina primera componente y al elemento
b se le denomina segunda componente. Se representa simbólicamente
por: (a,b)
Como el par ordenado no es lo mismo (a, b) que (b,a)
Una terna ordenada seria un conjunto de tres elementos ordenados y su
representación es (a, b , c)
Es importante anotar que existen conjuntos ordenados que pueden
formarse con más de tres componentes.
Producto Cartesiano
Sean dos conjuntos A y B ,no vacios , denominaremos producto cartesiano
entre A y B , al conjunto de todos los pares ordenados cuya primera
componente pertenece al conjunto A , y la segunda al conjunto B.
19. Relaciones
Objetivos
Dados dos conjuntos , crear una relación entre ellos
Dada una relación , identificar su dominio y rango
Dada una relación , representarla mediante diagramas sagitales
Una relación establece la correspondencia entre los elementos de dos
conjuntos no vacios A y B. Usualmente, al conjunto A se le denomina
conjunto de Partida, y al conjunto B de llegada .
Es decir, todos los subconjuntos de A x B constituyen una relación
Ejemplo:
Al decir que Samuel es padre de Irma, se está construyendo una relación
entre ambos.
Si Samuel es un elemento del conjunto A = [ Samuel, José , Cesar], e Irma es
un elemento del conjunto B = [Yaneth, Irma , Pedro], el apr ordenado (
Samuel , Irma ) constituye un elemento del producto cartesiano A x B y es
parte de la relación R : " x es padre de y" construida entre A y B siendo x
elemento de A , y elemento de B
Relación vacía
Basados en el ejemplo anterior, podría darse el caso que Samuel, José o
Cesar no sean padres de Yaneth, Irma, o Pedro, lo cual correspondería a una
relación vacía.
Dominio de una relación
Dada una relación R , construida a partir de los conjuntos A y B , los
elementos del conjunto B que se relacionan con elementos del dominio
de R constituyen el rango de la relación . Se representa simbólicamente
por: R
20. No necesariamente todos los elementos del conjunto de llegada forman
parte del rango de una relación.
Ejemplo:
A = [ 2, 4, 5}
B= [1, 3, 5]
R = {(X, Y) / X + Y ES UN NUMERO PRIMO}
R= [(2,1), (2,3), (2,5), (4,1), (4,3)]
dom R [ 2, 4]
R = [ 1, 3, 5]
Funciones
Objetivos
Dada una relación entre dos conjuntos , identificar si es función
Dada una función entre conjuntos , determinar su tipo
Dadas las funciones , construir de ser posible la composición entre
ellas
Dada una función , analizar la existencia de su inversa
Una relación de A en B es una función si y solo si el dominio de la
relación es todo el conjunto de partida , y si cada elemento del dominio le
corresponde un único elemento en el rango .