Condicional y Bicondicional: Los Conectivos de la Implicación

El condicional: si... entonces

El condicional, también llamado implicación, conecta dos proposiciones estableciendo que la verdad de una garantiza la verdad de la otra. Se lee "si p, entonces q" y se simboliza como p → q.

Terminología del condicional

• p: antecedente, hipótesis, premisa o condición suficiente

• q: consecuente, conclusión, tesis o condición necesaria

• p → q: se lee "si p entonces q", "p implica q", "p solo si q"

Símbolos del condicional

• p → q (flecha)

• p ⊃ q (herradura)

• p ⇒ q (flecha doble)

• if p then q (en inglés)

Tabla de verdad del condicional

Esta tabla causa confusión a muchos estudiantes, pero tiene una lógica clara:

V → V = V (si la condición se cumple y el resultado también, todo bien)

V → F = F (la condición se cumplió pero el resultado no, ¡falla!)

F → V = V (la condición no se cumplió, no podemos juzgar)

F → F = V (la condición no se cumplió, no podemos juzgar)

El condicional solo es falso cuando el antecedente es verdadero y el consecuente es falso.

Entendiendo el condicional con una promesa

Imagina que un padre promete: "Si sacas 10 en el examen, te compro un celular".

Sea p: "Sacas 10" y q: "Te compro celular"

• Sacas 10 y te compra celular: cumplió su promesa (V)

• Sacas 10 y no te compra celular: rompió su promesa (F)

• No sacas 10 y te compra celular: fue generoso, no mintió (V)

• No sacas 10 y no te compra celular: no violó su promesa (V)

La promesa solo se rompe si la condición se cumple pero no la consecuencia.

Formas equivalentes del condicional

Todas estas expresiones son lógicamente equivalentes a p → q:

• "Si p entonces q"

• "p implica q"

• "p es suficiente para q"

• "q es necesario para p"

• "p solo si q"

• "Siempre que p, también q"

• "q si p"

El condicional en términos de otros conectivos

Una equivalencia fundamental es:

p → q ≡ ¬p ∨ q

"Si llueve entonces me mojo" es equivalente a "No llueve o me mojo".

Proposiciones relacionadas con el condicional

La recíproca (conversa)

La recíproca de p → q es q → p.

Original: "Si es cuadrado, entonces tiene 4 lados iguales" (V)

Recíproca: "Si tiene 4 lados iguales, entonces es cuadrado" (F, podría ser un rombo)

¡La recíproca no es equivalente al original!

La inversa

La inversa de p → q es ¬p → ¬q.

Original: "Si llueve, el suelo está mojado" (V)

Inversa: "Si no llueve, el suelo no está mojado" (F, podría haber otras razones)

¡La inversa tampoco es equivalente al original!

La contrarrecíproca (contrapositiva)

La contrarrecíproca de p → q es ¬q → ¬p.

Original: "Si es cuadrado, entonces tiene 4 lados iguales"

Contrarrecíproca: "Si no tiene 4 lados iguales, entonces no es cuadrado"

¡La contrarrecíproca SÍ es equivalente al original!

p → q ≡ ¬q → ¬p

El bicondicional: si y solo si

El bicondicional afirma que dos proposiciones son equivalentes: ambas son verdaderas o ambas son falsas. Se lee "p si y solo si q" y se simboliza como p ↔ q.

Símbolos del bicondicional

• p ↔ q (flecha doble)

• p ≡ q (equivalencia)

• p ⇔ q (flecha doble gruesa)

• p iff q (if and only if, en inglés)

Tabla de verdad del bicondicional

p ↔ q es verdadero cuando p y q tienen el mismo valor:

V ↔ V = V

V ↔ F = F

F ↔ V = F

F ↔ F = V

El bicondicional como doble condicional

El bicondicional es equivalente a la conjunción de un condicional y su recíproca:

p ↔ q ≡ (p → q) ∧ (q → p)

"p si y solo si q" significa "si p entonces q, y si q entonces p".

Uso del bicondicional en definiciones

Las definiciones matemáticas son bicondicionales:

"Un número es par si y solo si es divisible entre 2"

Esto significa: si es par, es divisible entre 2; y si es divisible entre 2, es par.

Condiciones necesarias y suficientes

Estos conceptos están íntimamente ligados al condicional y bicondicional.

Condición suficiente

Si p → q, entonces p es condición suficiente para q.

"Ser cuadrado es suficiente para tener 4 ángulos rectos" (pero no necesario, un rectángulo también los tiene).

Condición necesaria

Si p → q, entonces q es condición necesaria para p.

"Tener 4 ángulos rectos es necesario para ser cuadrado" (pero no suficiente, un rectángulo también los tiene).

Condición necesaria y suficiente

Si p ↔ q, entonces cada una es condición necesaria y suficiente para la otra.

"Ser equilátero es necesario y suficiente para que un triángulo tenga tres ángulos iguales".

Aplicaciones del condicional y bicondicional

En teoremas matemáticos

Los teoremas se expresan como condicionales:

"Si un número termina en 0 o 5, entonces es divisible entre 5"

Las caracterizaciones usan bicondicionales:

"Un triángulo es rectángulo si y solo si el cuadrado de la hipotenusa..."

En programación

Las estructuras condicionales implementan el condicional lógico:

if (condición) { ejecutar código }

El operador ternario: resultado = condición ? valorSiTrue : valorSiFalse

En contratos y leyes

Las cláusulas legales frecuentemente tienen estructura condicional:

"Si el cliente incumple el pago, entonces se aplicará un cargo por mora"

Ejercicios resueltos

Ejercicio 1: Identificar forma

Expresa en forma simbólica: "Aprobarás si y solo si estudias y asistes a clase"

Sea p: "Apruebas", q: "Estudias", r: "Asistes a clase"

Forma simbólica: p ↔ (q ∧ r)

Ejercicio 2: Contrarrecíproca

Escribe la contrarrecíproca de: "Si un número es primo mayor que 2, entonces es impar"

Original: p → q donde p: "Es primo mayor que 2", q: "Es impar"

Contrarrecíproca (¬q → ¬p): "Si un número no es impar (es par), entonces no es primo mayor que 2"

Conclusión

El condicional y el bicondicional completan el conjunto de conectivos fundamentales de la lógica proposicional. El condicional es esencial para expresar teoremas e implicaciones, mientras que el bicondicional captura la noción de equivalencia y definición. Comprender las diferencias entre el original, la recíproca, la inversa y la contrarrecíproca es crucial para el razonamiento matemático correcto.