Introducción a las Proposiciones Lógicas

Fundamentos de Lógica

La lógica es un procedimiento que nos permite determinar si un razonamiento es falso o verdadero. Para aplicarla, necesitamos identificar proposiciones válidas.

No todas las oraciones son proposiciones. Por ejemplo, "La leche es blanca" es una proposición verdadera, mientras que "La tierra es un satélite de la luna" es una proposición falsa. Sin embargo, preguntas como "¿Dónde andas?" no son proposiciones porque no pueden clasificarse como verdaderas o falsas.

💡 Recuerda: Una proposición SIEMPRE debe poder clasificarse como verdadera o falsa, nunca ambas a la vez ni ninguna de las dos.

Las expresiones matemáticas también pueden ser proposiciones. Por ejemplo, "(2×3) + 1 = 7" es una proposición verdadera porque podemos verificar su valor de verdad.

Proposiciones y Notación

Una proposición es un enunciado que puede ser falso o verdadero, pero no ambos a la vez. Este es el elemento básico con el que trabajaremos en lógica.

En lógica formal, representamos las proposiciones con letras minúsculas como p, q, r, s, t... Esto nos permite trabajar con ellas de forma simbólica y más sencilla, sin importar su contenido específico.

Cada proposición tiene un valor de verdad que puede ser:

• V (verdadero)
• F (falso)

Por ejemplo: "Los triángulos tienen 4 lados" $p$ es falso, "1 es un número primo" $q$ es falso, y "34 es un número par" $r$ es verdadero.

💡 Truco fácil: Cuando analices una proposición, pregúntate: "¿Puedo decir claramente si esto es verdadero o falso?" Si la respuesta es sí, estás ante una proposición válida.

Negación de Proposiciones

La negación de una proposición p se simboliza como ~p y se lee "No es cierto p" o "Es falso p". Este es el conectivo lógico más básico.

Cuando negamos una proposición, su valor de verdad cambia al contrario. Si p es verdadera, entonces ~p es falsa, y viceversa. Esta relación es fundamental para construir razonamientos lógicos.

Por ejemplo, si w: "Los estados de la materia son 4" es verdadero, entonces ~w: "Los estados de la materia no son 4" es falso. De manera similar, si z: "(4×3) ≠ 15-12" es falso, entonces ~z: "(4×3) = 15-12" es verdadero.

💡 Nota importante: La negación siempre invierte el valor de verdad de una proposición, lo que nos da una herramienta poderosa para analizar argumentos complejos.

Conectivos Lógicos

Los conectivos lógicos son expresiones que nos permiten unir proposiciones simples para formar proposiciones compuestas. Son las herramientas básicas para construir argumentos.

Los principales conectivos lógicos son:

• Disyunción $o$: Se simboliza con "∨" (p ∨ q)
• Conjunción $y$: Se simboliza con "∧" (p ∧ q)
• Condicional (si... entonces): Se simboliza con "→" (p → q)
• Bicondicional (si y solo si): Se simboliza con "↔" (p ↔ q)

Cada conectivo tiene sus propias reglas para determinar el valor de verdad de la proposición compuesta, que veremos a continuación.

💡 Consejo: Piensa en los conectivos lógicos como las operaciones matemáticas (suma, resta, multiplicación) pero para proposiciones. Te ayudan a combinar ideas simples para formar ideas más complejas.

La Disyunción

La disyunción entre dos proposiciones p y q se simboliza como "p ∨ q" y se lee "p o q". Es verdadera cuando al menos una de las proposiciones es verdadera.

Para comprender mejor la disyunción, observemos algunos ejemplos:

• Si p: "7 es número primo" (V) y q: "La fórmula del agua es H₂O" (V), entonces "p ∨ q" es verdadero.
• Si p: "10 es número primo" (F) y q: "La fórmula del agua es H₂O" (V), entonces "p ∨ q" es verdadero.
• Si p: "1 no es número primo" (V) y ~q: "El agua no es H₂O" (F), entonces "p ∨ ~q" es verdadero.
• Si ~p: "1 no es número primo" (F) y ~q: "El agua no es H₂O" (F), entonces "~p ∨ ~q" es falso.

💡 Para recordar fácilmente: La disyunción $o$ solo es falsa cuando AMBAS proposiciones son falsas. En todos los demás casos es verdadera.

Ejemplos de Disyunción

Veamos cómo aplicar la disyunción a ejemplos prácticos para determinar su valor de verdad:

1. "5 + 3 = 8 ó 2 × 3 = 5" → (V ∨ F) = V La primera proposición es verdadera, por lo que toda la disyunción es verdadera.

2. "Al es aluminio ó Cu es cobre ó 5 es primo" → (V ∨ V ∨ V) = V Todas son verdaderas, así que la disyunción es verdadera.

3. "Cauca está en Colombia ó Timcio es capital del Cauca" → (V ∨ F) = V La primera proposición es verdadera, por lo que toda la disyunción es verdadera.

💡 Recuerda: En la disyunción, basta con que UNA proposición sea verdadera para que toda la expresión sea verdadera. Es como decir "al menos una de estas afirmaciones es cierta".

La Conjunción

La conjunción une proposiciones con el conectivo "y" (∧). Una conjunción solo es verdadera cuando TODAS las proposiciones que la componen son verdaderas.

La tabla de verdad para la conjunción p ∧ q muestra:

• V ∧ V = V (Ambas verdaderas → conjunción verdadera)
• V ∧ F = F (Una falsa → conjunción falsa)
• F ∧ V = F (Una falsa → conjunción falsa)
• F ∧ F = F (Ambas falsas → conjunción falsa)

Por ejemplo, la conjunción "4×5=20 ∧ 2=8-5" es falsa porque, aunque "4×5=20" es verdadera, "2=8-5" es falsa. Para que una conjunción sea verdadera, todas sus partes deben ser verdaderas.

💡 Truco mental: Piensa en la conjunción como una cadena. Si un solo eslabón se rompe (una proposición es falsa), toda la cadena falla (la conjunción es falsa).

Más Conjunciones y el Condicional

Sigamos con ejemplos de conjunciones:

• "2³ = 8 ∧ 5 × 4 = 20" → (V ∧ V) = V
• "Al es aluminio ∧ 2² = 4" → (V ∧ V) = V
• "16 = 8 ∧ 2² = 4" → (F ∧ V) = F

Ahora pasemos al condicional (o implicación), que se representa como "p → q" y se lee "si p entonces q". Este conectivo establece una relación de consecuencia entre dos proposiciones.

En el condicional:

• p es el antecedente (condición suficiente)
• q es el consecuente (condición necesaria)

💡 Visualízalo así: El condicional "Si estudias, entonces aprobarás" significa que estudiar es suficiente para aprobar, y aprobar es necesario si has estudiado.

El Condicional o Implicación

La tabla de verdad del condicional p → q muestra que es falsa ÚNICAMENTE cuando el antecedente es verdadero y el consecuente es falso:

• V → V = V
• V → F = F (único caso falso)
• F → V = V
• F → F = V

Por ejemplo: "Si un animal es mamífero, entonces es vertebrado" es verdadero porque todo mamífero es vertebrado. Sin embargo, "Si un animal es vertebrado, entonces es mamífero" es falso porque existen vertebrados que no son mamíferos (como los peces).

El condicional puede resultar confuso cuando el antecedente es falso. Por ejemplo: "Si 2+3=6, entonces Bogotá está en Colombia" es considerado verdadero en lógica formal, aunque parezca extraño en el lenguaje cotidiano.

💡 Para recordar: El condicional solo es falso cuando prometes algo (antecedente verdadero) y no lo cumples (consecuente falso).

La Bicondicional o Equivalencia

El bicondicional (o equivalencia) se simboliza como "p ↔ q" y se lee "p si y solo si q". Establece que ambas proposiciones tienen el mismo valor de verdad.

La tabla de verdad del bicondicional muestra:

• V ↔ V = V (ambas verdaderas → bicondicional verdadero)
• V ↔ F = F (valores diferentes → bicondicional falso)
• F ↔ V = F (valores diferentes → bicondicional falso)
• F ↔ F = V (ambas falsas → bicondicional verdadero)

El bicondicional es verdadero cuando ambas proposiciones tienen el mismo valor de verdad (ambas V o ambas F). Es falso cuando tienen valores diferentes.

💡 Interpretación sencilla: El bicondicional es como decir "estas dos afirmaciones son equivalentes" o "ambas son ciertas o ambas son falsas, pero nunca mixtas".