Condicional lógico
Identificar y aplicar el conectivo condicional, reconociendo que es Falso únicamente cuando el antecedente es Verdadero y el consecuente es Falso
Introducción
Imagina que un amigo te promete: "Si apruebo el examen, te invito a comer." La promesa solo se rompe si aprueba el examen Y no te invita. Si no aprueba, la promesa no se rompe aunque no te invite. El condicional funciona igual: solo es Falso cuando se cumple la condición y no ocurre la consecuencia.
Explicación
El condicional (o implicación) es un conectivo binario asimétrico.
Símbolo: $p \to q$ (también $p \Rightarrow q$ o $p \supset q$)
Lectura: "si $p$, entonces $q$"; "p implica q"; "$p$ es condición suficiente de $q$"; "$q$ es condición necesaria de $p$"
Terminología:
- $p$: antecedente (hipótesis, condición)
- $q$: consecuente (conclusión, tesis)
Tabla de verdad:
| $p$ | $q$ | $p \to q$ |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Regla clave: $p \to q$ es Falso solo cuando $p = V$ y $q = F$ (hipótesis cumplida, conclusión no cumplida).
Equivalencia: $p \to q \equiv \neg p \lor q$
Formas relacionadas:
- Recíproco: $q \to p$
- Inverso: $\neg p \to \neg q$
- Contrarrecíproco: $\neg q \to \neg p$ (equivalente al original)
Cómo hacerlo paso a paso
- Identificar el antecedente ($p$) y el consecuente ($q$) del condicional $p \to q$.
- Determinar el valor de verdad de $p$ y de $q$ por separado.
- Aplicar la regla: si $p = V$ y $q = F$, entonces $p \to q = F$; en cualquier otro caso, $p \to q = V$.
- Verificar el significado: una implicación es falsa solo si la hipótesis se cumple pero la conclusión no.
Ejemplos
1 Sea $p$: "El número 4 es par" (V) y $q$: "El número 4 es múltiplo de 3" (F). ¿Cuál es el valor de verdad de $p \to q$?
- $p = V$ y $q = F$. Estamos en el caso V→F.
- Este es el único caso donde el condicional es Falso, por lo tanto $p \to q = F$.
2 Sea $p$: "El número 5 es par" (F) y $q$: "El número 5 es primo" (V). ¿Cuál es el valor de verdad de $p \to q$?
- $p = F$ y $q = V$. Estamos en el caso F→V.
- Cuando el antecedente es Falso, el condicional es siempre Verdadero (hipótesis falsa no viola la implicación). Entonces $p \to q = V$.
3 ¿Es el condicional $p \to q$ verdadero cuando el antecedente es falso, independientemente del consecuente?
- Las filas F→V y F→F de la tabla de verdad producen ambas $p \to q = V$.
- Esto se llama "implicación vacuamente verdadera": si la hipótesis no se cumple, la implicación no puede ser violada.
4 ¿Es el condicional $p \to q$ equivalente a $\neg p \lor q$?
- Verificación fila a fila: V→V: $\neg V \lor V = F \lor V = V$. V→F: $\neg V \lor F = F \lor F = F$.
- F→V: $\neg F \lor V = V \lor V = V$. F→F: $\neg F \lor F = V \lor F = V$. Las tablas coinciden exactamente.
Ejemplos Verdadero/Falso
"Creer que el condicional es falso cuando el antecedente es falso (error de intuición, pues F→cualquier_cosa = V)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir el condicional con el bicondicional, que requiere que ambas proposiciones tengan el mismo valor de verdad."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Invertir el antecedente y el consecuente al leer "p solo si q" (que equivale a p → q, no q → p)."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Pensar que "p implica q" significa que p causa q en sentido causal; en lógica, solo es una relación formal de verdad."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
"Confundir el condicional p → q con su recíproco q → p, que son proposiciones distintas y no equivalentes."
¿Es correcta esta afirmación?
Esta afirmación describe un error frecuente: es incorrecta.
El condicional ($p \to q$) se lee "si $p$, entonces $q$". Es Falso ÚNICAMENTE cuando el antecedente $p$ es Verdadero y el consecuente $q$ es Falso. En los otros tres casos, es Verdadero.