Introducción a las Proposiciones y sus Tipos

Proposiciones y sus tipos

Una proposición es un enunciado del que podemos afirmar si es verdadero (V) o falso (F). Por ejemplo, "Los carros vuelan" es una proposición falsa, mientras que "Andrés es más alto que Olonos" es una proposición verdadera. Sin embargo, preguntas como "¿Quién faltó a clase?" no son proposiciones.

Existen dos tipos principales de proposiciones:

• Proposiciones simples: contienen una sola afirmación como "El carro es rojo" o "Las vacas vuelan".
• Proposiciones compuestas: combinan dos o más proposiciones simples mediante conectores lógicos como "y", "o", "si entonces" y "si y solo si".

Los conectores lógicos más utilizados en proposiciones compuestas son:

• Conjunción $y$: p ∧ q
• Disyunción $o$: p ∨ q
• Negación (no): ¬p
• Condicional (si entonces): p → q
• Bicondicional (si y solo si): p ↔ q

💡 Consejo útil: Para identificar una proposición, pregúntate si puede asignársele un valor de verdad concreto (V o F). Si es una pregunta, orden o exclamación, generalmente no es una proposición.

Conjunción y Disyunción

La conjunción es una proposición compuesta que une dos proposiciones simples mediante el conector "y" (simbolizado como ∧). Por ejemplo, si p: "La capital de Colombia es Cali" (F) y q: "El producto de 8×5 es 40" (V), entonces p∧q: "La capital de Colombia es Cali y el producto de 8×5 es 40" es falsa.

Una conjunción solo es verdadera cuando ambas proposiciones simples son verdaderas. Si al menos una de ellas es falsa, toda la conjunción será falsa. Así se resume en la tabla de verdad:

• V ∧ V = V
• V ∧ F = F
• F ∧ V = F
• F ∧ F = F

La disyunción une dos proposiciones mediante el conector "o" (simbolizado como ∨). Por ejemplo, con p: "Visitaremos el zoológico" y q: "Comeremos pizza", p∨q sería "Visitaremos el zoológico o comeremos pizza".

Una disyunción es verdadera cuando al menos una de las proposiciones es verdadera. Solo será falsa cuando ambas proposiciones sean falsas:

• V ∨ V = V
• V ∨ F = V
• F ∨ V = V
• F ∨ F = F

🔑 Recuerda: En la conjunción $y$, necesitas que TODO sea verdadero para obtener verdadero. En la disyunción $o$, basta con que ALGO sea verdadero.

Implicación y operaciones compuestas

La implicación ("si entonces", simbolizada como →) es una proposición compuesta donde el primer enunciado es el antecedente y el segundo es el consecuente. Por ejemplo: "Si un triángulo tiene 3 lados, entonces la suma de los ángulos internos es 180°".

La característica más importante de la implicación es que solo es falsa cuando el antecedente es verdadero y el consecuente es falso. En todos los demás casos es verdadera:

• V → V = V
• V → F = F
• F → V = V
• F → F = V

Podemos combinar diferentes conectores lógicos para formar operaciones más complejas. Por ejemplo, si tenemos:

• p: "La suma de los dígitos de 125 es 7" (Falso)
• q: "La mitad de 8 es 4" (Verdadero)

Entonces:

• p ∧ q → p ∨ q = F ∧ V → F ∨ V = F → V = V
• p ∨ ¬q = F ∨ ¬V = F ∨ F = F

💡 Truco mental: Una implicación "si p entonces q" es como una promesa. Solo rompes tu promesa (es falsa) cuando prometiste algo (p es verdadero) pero no lo cumpliste (q es falso).

Equivalencia (Si y Solo Si)

La equivalencia es una proposición compuesta que utiliza el conector "si y solo si" (simbolizado como ↔). Esta conectiva establece que ambas proposiciones deben tener el mismo valor de verdad para que la equivalencia sea verdadera.

Por ejemplo: "Aprobarás el curso si y solo si entregas todos los trabajos". Esta equivalencia indica que aprobar y entregar todos los trabajos deben ocurrir juntos, o no ocurrir juntos.

La tabla de verdad para la equivalencia muestra que:

• V ↔ V = V
• V ↔ F = F
• F ↔ V = F
• F ↔ F = V

Es decir, una equivalencia es verdadera cuando ambas proposiciones tienen el mismo valor de verdad (ambas verdaderas o ambas falsas). Es falsa cuando las proposiciones tienen valores de verdad diferentes.

🌟 Dato clave: La equivalencia (↔) se puede entender como una doble implicación: (p → q) ∧ (q → p). Esto significa que cada proposición es condición necesaria y suficiente de la otra.