Recíproco de un condicional

Resumen inicial

Definición, tabla de verdad y análisis de no equivalencia del recíproco de un condicional ($q \to p$) respecto al condicional directo ($p \to q$).

Explicación en palabras simples

El recíproco (o condicional recíproco) se obtiene simplemente intercambiando el orden de las proposiciones: en lugar de "Si $p$, entonces $q$" ($p \to q$), escribimos "Si $q$, entonces $p$" ($q \to p$). Es fundamental saber que un condicional y su recíproco NO significan lo mismo. Por ejemplo: "Si un animal es un perro, entonces es un mamífero" es verdadero; pero su recíproco: "Si un animal es un mamífero, entonces es un perro" es completamente falso (puede ser un gato o una ballena).

Infografía: Recíproco de un Condicional

Explicación formal

Definición formal

Dado un condicional directo $\Phi = p \to q$, su proposición recíproca es la fórmula obtenida por la permutación de sus términos constituyentes:
$$\text{Recíproco}(p \to q) = q \to p$$
En el cálculo proposicional clásico, el condicional directo y su recíproco no son lógicamente equivalentes:
$$p \to q \not\equiv q \to p$$
dado que la fórmula $(p \to q) \leftrightarrow (q \to p)$ no es una tautología sino una contingencia.

Desglose simbólico

Vector de salida directo: $\mathbf{v}(p \to q) = [V, F, V, V]^T$.
Vector de salida recíproco: $\mathbf{v}(q \to p) = [V, V, F, V]^T$.
Discrepancia en asignaciones intermedias:
Fila 2 ($V, F$): Directo = $F$, Recíproco = $V$.
Fila 3 ($F, V$): Directo = $V$, Recíproco = $F$.

Síntesis didáctica

La conjunción simultánea de un condicional y su recíproco constituye formalmente el conectivo bicondicional: $(p \to q) \land (q \to p) \equiv p \leftrightarrow q$.

Definiciones clave

Recíproco de un condicional ($q \to p$): Proposición condicional formada al intercambiar antecedente y consecuente.
Falacia de afirmación del consecuente: Error deductivo que consiste en asumir que la verdad de $p \to q$ y $q$ garantiza la verdad de $p$.
No conmutatividad condicional: Propiedad del condicional por la cual la permutación de operandos altera la tabla de verdad.

Propiedades y relaciones importantes

Equivalencia con el inverso: El recíproco $q \to p$ es lógicamente equivalente al inverso $\neg p \to \neg q$ por la ley del contrarrecíproco.
Condición suficiente vs necesaria: En $p \to q$, $p$ es suficiente para $q$; en $q \to p$, $p$ pasa a ser condición necesaria.

Ejemplo guiado

Dado el enunciado condicional directo: "Si un número entero termina en $0$, entonces es divisible por $5$", formula su recíproco y analiza el valor de verdad de ambos.

Diagrama: Recíproco de un Condicional

Paso 1: Identificar las partes del condicional directo: - Antecedente $p$: "Un número entero termina en $0$". - Consecuente $q$: "El número es divisible por $5$".
Paso 2: Evaluar el condicional directo $p \to q$: Todo número terminado en $0$ ($10, 20, 30\dots$) es múltiplo de $5$. Por lo tanto, el directo es **Verdadero ($V$)**.
Paso 3: Formular el recíproco permutando las proposiciones ($q \to p$): "Si un número entero es divisible por $5$, entonces termina en $0$".
Paso 4: Evaluar el recíproco $q \to p$: Existen números divisibles por $5$ que no terminan en $0$, como el $15$ o el $25$ (contraejemplos). Por lo tanto, el recíproco es **Falso ($F$)**.
Paso 5: Concluir que el condicional directo y su recíproco poseen valores de verdad independientes.

Procedimiento

Paso 1: Identificar el antecedente $p$ y el consecuente $q$ del condicional directo original $p \to q$.
Paso 2: Permutar las posiciones: colocar $q$ como nuevo antecedente y $p$ como nuevo consecuente.
Paso 3: Escribir la nueva fórmula condicional: $q \to p$.
Paso 4: Si se requiere evaluar verdad, analizar de forma independiente el recíproco sin asumir el valor del directo.

Errores frecuentes y cómo corregirlos

Error 1: Asumir que si un teorema condicional es verdadero, su recíproco es automáticamente verdadero. Cómo corregirlo: El recíproco debe ser demostrado de forma independiente; en matemáticas muchos teoremas verdaderos poseen recíprocos falsos.
Error 2: Confundir el recíproco ($q \to p$) con el contrarrecíproco ($\neg q \to \neg p$). Cómo corregirlo: El recíproco solo intercambia el orden sin negar; el contrarrecíproco intercambia el orden Y niega ambas proposiciones.

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 la tabla de verdad del recíproco tiene el valor falso ubicado en la fila 2."

"La afirmación de que el recíproco de una tautología es siempre una contradicción."

"Un condicional y su recíproco no son lógicamente equivalentes en general ($p \to q \not\equiv q \to p$) y poseen vectores de verdad distintos."

"La afirmación de que el condicional recíproco $q \to p$ es lógicamente equivalente al condicional directo $p \to q$."

"La afirmación de que la verdad de una implicación garantiza de forma automática la verdad de su recíproco."

"La afirmación de que para formar el recíproco se deben negar ambas proposiciones componentes."

"El recíproco de un condicional $p \to q$ es la proposición $q \to p$, obtenida al permutar antecedente y consecuente."

Al terminar debes poder

Cuadro resumen: Recíproco de un Condicional

Identificar, formular y contrastar el recíproco de un condicional ($q \to p$).

Permutar antecedente y consecuente, evaluar su tabla de verdad $[V, V, F, V]^T$ y evitar la falacia de afirmación del consecuente.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

¿Cómo se obtiene el recíproco de una proposición condicional $p \to q$?
El recíproco de un condicional $p \to q$ se obtiene simplemente intercambiando las posiciones del antecedente y el consecuente, resultando en $q \to p$.

Respuesta: Intercambiando el antecedente y el consecuente: $q \to p$
Si el condicional original es $A \to B$, su recíproco es:
El recíproco simplemente intercambia los roles de antecedente y consecuente: $B \to A$.

Respuesta: $B \to A$
¿Cuál es la relación de equivalencia lógica entre un condicional $p \to q$ y su recíproco $q \to p$?
Sus columnas finales en la tabla de verdad difieren en la segunda y tercera fila, por lo que $p \to q \not\equiv q \to p$.

Respuesta: No son lógicamente equivalentes en general

Reconocimiento

Identificar elementos, datos o procedimientos.

¿Cuál de las siguientes frases representa el recíproco de: 'Si soy un pez, entonces sé nadar'?
Intercambiamos el antecedente ('soy un pez') con el consecuente ('sé nadar'), lo que resulta en: 'Si sé nadar, entonces soy un pez'.

Respuesta: Si sé nadar, entonces soy un pez

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

¿Es el recíproco de $\neg p \to q$ la proposición $q \to \neg p$?
¿Es el recíproco del condicional $p \to \neg q$ la proposición $\neg q \to p$?
Si un condicional es verdadero, ¿su recíproco debe ser obligatoriamente verdadero?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

En un teorema de geometría se afirma: 'Si un cuadrilátero es un cuadrado, entonces sus diagonales son perpendiculares'. ¿Cuál es el recíproco de esta afirmación y qué valor de verdad posee?
El recíproco intercambia el antecedente y el consecuente: 'Si las diagonales son perpendiculares, entonces es un cuadrado'. Esta afirmación es falsa, porque un rombo tiene diagonales perpendiculares pero no es necesariamente un cuadrado.

Respuesta: 'Si las diagonales de un cuadrilátero son perpendiculares, entonces es un cuadrado', y es falso
Considere la proposición condicional en álgebra: 'Si $x = 2$, entonces $x^2 = 4$'. ¿Cuál de las siguientes opciones expresa correctamente su recíproco y determina su valor de verdad en el conjunto de los números reales?
El recíproco intercambia los lados: 'Si $x^2 = 4$, entonces $x = 2$'. Esto es falso en $\mathbb{R}$ porque $(-2)^2 = 4$, donde $x = -2$ sirve como contraejemplo.

Respuesta: 'Si $x^2 = 4$, entonces $x = 2$', y es falso en los reales porque $x$ podría ser $-2$
Un programador establece una regla para una base de datos: 'Si un usuario es administrador, entonces tiene acceso de escritura'. ¿Cuál de las siguientes afirmaciones describe correctamente el recíproco de esta regla y su consecuencia práctica?
El recíproco es 'Si tiene acceso de escritura, entonces es administrador'. En la práctica, si el recíproco no se cumple de manera obligatoria, podría haber usuarios con acceso de escritura sin ser administradores (por ejemplo, editores).

Respuesta: 'Si tiene acceso de escritura, entonces es administrador', lo cual permite que usuarios no administradores tengan acceso si la regla original no es un bicondicional

Evaluación de dominio

Nivel 1 Definición

Nivel 2 Ejercicios simples

Nivel 3 Problemas de aplicación