Tabla de verdad del condicional

Resumen inicial

Estructura canónica de la tabla de verdad del condicional ($p \to q$), caracterizada por una única fila falsa en $V \to F$.

Explicación en palabras simples

La tabla de verdad del condicional ($p \to q$) traduce la frase "Si $p$, entonces $q$". En sus $4$ combinaciones, solo existe una fila donde el resultado es Falso ($F$): la segunda fila, donde la condición inicial se cumple ($p = V$) pero no se cumple lo prometido ($q = F$). En todas las demás combinaciones (incluyendo las filas donde $p = F$, pues "de una falsedad no se puede romper la promesa"), el condicional es Verdadero ($V$).

Infografía: Tabla de Verdad del Condicional

Explicación formal

Definición formal

La tabla de verdad del condicional material es la matriz de valuación que describe la implicación lógica clásica:
$$\begin{array}{|c|c|c|} \hline p & q & p \to q \\ \hline V & V & V \\ V & F & F \\ F & V & V \\ F & F & V \\ \hline \end{array}$$
donde el vector columna de salida canónico es $\mathbf{v}(p \to q) = [V, F, V, V]^T$.

Desglose simbólico

Fila 1 ($V, V$): $V \to V = V$ (premisa verdadera y conclusión verdadera).
Fila 2 ($V, F$): $V \to F = F$ (única fila de falsedad o contraejemplo).
Fila 3 ($F, V$): $F \to V = V$ (verdad por vacuidad del antecedente).
Fila 4 ($F, F$): $F \to F = V$ (verdad por vacuidad del antecedente).

Síntesis didáctica

La tabla del condicional refleja la asimetría fundamental de la implicación: la falsedad en la salida se restringe exclusivamente al escenario donde una hipótesis verdadera conduce a una tesis falsa.

Definiciones clave

Tabla de verdad del condicional: Matriz de 4 filas que mapea los estados de la implicación material ($[V, F, V, V]^T$).
Fila de contraejemplo: Fila 2 ($p=V, q=F$), único escenario que refuta la validez de un condicional.
Verdad por vacuidad: Principio por el cual cualquier condicional con antecedente falso ($p=F$) es verdadero (Filas 3 y 4).

Propiedades y relaciones importantes

Asimetría veritativa: Las filas intermedias son distintas ($V \to F = F$ mientras que $F \to V = V$), lo que demuestra que $p \to q \not\equiv q \to p$.
Equivalencia de columnas: La columna $[V, F, V, V]^T$ de $p \to q$ es idéntica a la columna de la disyunción $\neg p \lor q$.

Ejemplo guiado

Construye la tabla de verdad para el recíproco $q \to p$ y compárala con el condicional directo $p \to q$.

Diagrama: Tabla de Verdad del Condicional

Paso 1: Colocar las 4 filas estándar de entrada para $p$ y $q$.
Paso 2: Calcular el condicional directo $p \to q$: - Fila 1 ($V, V$): $V \to V = V$ - Fila 2 ($V, F$): $V \to F = F$ - Fila 3 ($F, V$): $F \to V = V$ - Fila 4 ($F, F$): $F \to F = V$. Vector: $[V, F, V, V]^T$.
Paso 3: Calcular el recíproco $q \to p$: - Fila 1 ($V, V$): $V \to V = V$ - Fila 2 ($F, V$): $F \to V = V$ - Fila 3 ($V, F$): $V \to F = F$ - Fila 4 ($F, F$): $F \to F = V$. Vector: $[V, V, F, V]^T$.
Paso 4: Comparar los vectores: Como $[V, F, V, V]^T \neq [V, V, F, V]^T$, se demuestra formalmente que un condicional no es equivalente a su recíproco.

Procedimiento

Paso 1: Escribir las 4 combinaciones canónicas de entrada ($p: V, V, F, F$ y $q: V, F, V, F$).
Paso 2: Rotular la columna de salida como $p \to q$.
Paso 3: Identificar la fila 2 ($V, F$) y asignarle el valor $F$.
Paso 4: Asignar el valor $V$ en las filas restantes 1, 3 y 4.

Errores frecuentes y cómo corregirlos

Error 1: Asignar $F$ en la fila $4$ ($F \to F$). Cómo corregirlo: Si la premisa es falsa y la conclusión es falsa, la regla condicional no se viola; $F \to F$ es formalmente Verdadero ($V$).
Error 2: Creer que la fila $3$ ($F \to V$) es falsa. Cómo corregirlo: La implicación no exige que el antecedente sea la única causa del consecuente; $F \to V$ es estrictamente Verdadero ($V$).

Ejemplos

Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.

Ejemplos Verdadero/Falso

Decide si cada afirmación es verdadera o falsa antes de ver la explicación.

"La afirmación de que el condicional $p \to q$ posee el mismo vector de salida que el recíproco $q \to p$."

"La afirmación de que en la fila $p=F$ y $q=F$ el condicional produce el valor de verdad falso."

"En la tabla de verdad del condicional, la única fila que arroja valor falso corresponde al caso de antecedente verdadero y consecuente falso ($V \to F = F$)."

"La tabla de verdad del condicional $p \to q$ genera el vector de salida canónico $[V, F, V, V]^T$."

"La afirmación de que en la combinación $p=F$ y $q=V$ el condicional resulta falso."

"La afirmación de que el condicional no puede evaluarse sin conocer la causa física del fenómeno."

"La afirmación de que la tabla del condicional contiene dos valores verdaderos y dos falsos."

Al terminar debes poder

Cuadro resumen: Tabla de Verdad del Condicional

Construir, evaluar e interpretar la tabla de verdad canónica del condicional ($p \to q$).

Asignar las $4$ combinaciones de entrada y aplicar la regla de falsedad exclusiva en la segunda fila ($[V, F, V, V]^T$).

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

¿Cuál de los siguientes casos ejemplifica mejor tabla de verdad del condicional?
El ejemplo correcto es: La fila V → F = F es la única fila falsa del condicional.. Ese caso representa adecuadamente tabla de verdad del condicional.

Respuesta: La fila V → F = F es la única fila falsa del condicional.
¿Qué afirmación clave conviene recordar sobre tabla de verdad del condicional?
La afirmación correcta es: El condicional es equivalente a ¬p ∨ q.. Esa observación ayuda a usar bien el concepto.

Respuesta: El condicional es equivalente a ¬p ∨ q.
¿Qué describe mejor tabla de verdad del condicional?
La definición correcta es: el condicional p → q solo es falso cuando p es verdadera y q es falsa. Esa es la idea central de tabla de verdad del condicional.

Respuesta: el condicional p → q solo es falso cuando p es verdadera y q es falsa

Reconocimiento

Identificar elementos, datos o procedimientos.

Identifica la opción que corresponde a tabla de verdad del condicional.
Se reconoce tabla de verdad del condicional en el ejemplo: La fila V → F = F es la única fila falsa del condicional..

Respuesta: La fila V → F = F es la única fila falsa del condicional.

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

¿La afirmación “La negación trabaja con una sola variable proposicional.” describe tabla de verdad del condicional?
¿El caso “La fila V → F = F es la única fila falsa del condicional” corresponde a tabla de verdad del condicional?
¿Es correcto afirmar que el condicional p → q solo es falso cuando p es verdadera y q es falsa?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

Un profesor escribe la afirmación “El condicional es equivalente a ¬p ∨ q”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Tabla de verdad del condicional, porque su idea clave es: El condicional es equivalente a ¬p ∨ q..

Respuesta: Tabla de verdad del condicional
En un control se pide identificar la definición correcta de tabla de verdad del condicional. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: el condicional p → q solo es falso cuando p es verdadera y q es falsa.

Respuesta: el condicional p → q solo es falso cuando p es verdadera y q es falsa
En una guía PAES, una estudiante debe reconocer tabla de verdad del condicional. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: La fila V → F = F es la única fila falsa del condicional.. Ese caso representa tabla de verdad del condicional sin ambigüedad.

Respuesta: La fila V → F = F es la única fila falsa del condicional.

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación