Resumen de Operaciones con Fracciones y Proporcionalidad

## Introducción El razonamiento lógico es la capacidad de analizar información, identificar relaciones, construir argumentos válidos y resolver problemas de forma coherente. En un contexto universitario, se espera que el estudiante desarrolle habilidades para interpretar enunciados, aplicar relaciones cuantitativas y tomar decisiones fundamentadas. Este material se centra en técnicas y ejercicios prácticos para fortalecer ese razonamiento, evitando temas ya tratados en otras unidades como fracciones, proporcionalidad y diagramas de flujo. > **Definición:** El razonamiento lógico es el proceso mental que permite derivar conclusiones válidas a partir de premisas mediante reglas y estructuras formales. ## Partes fundamentales del razonamiento lógico ### 1. Proposiciones y conectivos - Una **proposición** es una afirmación que puede ser verdadera o falsa. - Conectivos comunes: **y** (conjunción), **o** (disyunción), **no** (negación), **si...entonces** (implicación), **si y solo si** (equivalencia). > **Definición:** Un conectivo lógico es un operador que combina proposiciones para formar proposiciones compuestas. Ejemplo práctico: si $p$ representa "estudia" y $q$ representa "aprueba", la implicación $p \rightarrow q$ significa "si estudia, entonces aprueba". ### 2. Tablas de verdad - Las tablas de verdad muestran todas las combinaciones posibles de valores de verdad para proposiciones simples y compuestas. - Útiles para verificar tautologías, contradicciones y contingencias. Ejemplo: tabla de verdad para $p \rightarrow q$ $$p = \text{V},\; q = \text{V} \Rightarrow p \rightarrow q = \text{V}$$ $$p = \text{V},\; q = \text{F} \Rightarrow p \rightarrow q = \text{F}$$ $$p = \text{F},\; q = \text{V} \Rightarrow p \rightarrow q = \text{V}$$ $$p = \text{F},\; q = \text{F} \Rightarrow p \rightarrow q = \text{V}$$ ### 3. Reglas de inferencia - Modus ponens: de $p$ y $p \rightarrow q$ se deduce $q$. - Modus tollens: de $\lnot q$ y $p \rightarrow q$ se deduce $\lnot p$. - Silogismo hipotético: de $p \rightarrow q$ y $q \rightarrow r$ se deduce $p \rightarrow r$. > **Definición:** Una regla de inferencia es un patrón que permite obtener conclusiones válidas a partir de premisas dadas. Ejemplo aplicado: si "si un número es divisible por 4 entonces es par" y "8 es divisible por 4", por modus ponens concluimos que "8 es par". ### 4. Cuantificadores y razonamiento predicativo - Cuantificadores: **para todo** ($\forall$), **existe** ($\exists$). - Interpretación: $\forall x\,P(x)$ significa que la propiedad $P$ vale para todos los elementos del dominio; $\exists x\,P(x)$ significa que existe al menos un elemento que cumple $P$. Ejemplo: $\forall n\in\mathbb{N}\, (n\ge 0)$ expresa que todo número natural es mayor o igual que $0$. ### 5. Resolución de problemas y modelado - Identificar las premisas explícitas e implícitas. - Traducir el enunciado a lenguaje lógico o matemático. - Aplicar reglas formales para deducir la solución. Ejemplo práctico: "Si la matrícula es requerida para entrar y Juan no se matriculó, ¿puede entrar?". Traducir: $m$ = "Juan se matriculó", $e$ = "Puede entrar" y regla $m \rightarrow e$. Dado $\lnot m$ y $m \rightarrow e$, no podemos deducir $\lnot e$ sin información adicional. ## Técnicas prácticas para mejorar el razonamiento - Practicar la construcción de tablas de verdad para proposiciones compuestas. - Identificar falacias comunes (p. ej. generalización apresurada, afirmación del consecuente). - Traducir problemas verbales a fórmulas con cuantificadores. - Resolver ejercicios paso a paso justificando cada inferencia. Did you know que el razonamiento lógico formal fue sistematizado por primera vez por Aristóteles con los silogismos y que esa base se mantuvo hasta el desarrollo de la lógica simbólica en el siglo XIX? ## Ejemplos aplicados (construcción y análisis) 1. Verificación de implicación: Sea $p$: "estudia" y $q$: "aprueba". ¿Es verdad que $p \rightarrow q$ si no se conoce si $p$ ocurre? Construya