Contrarrecíproco de un condicional
Resumen inicial
Definición, demostración y aplicaciones de la ley del contrarrecíproco: $p \to q \equiv \neg q \to \neg p$, base del método de demostración por contraposición.
Explicación en palabras simples
El contrarrecíproco (o contrapositivo) es una de las reglas más poderosas y útiles de toda la matemática. Se obtiene haciendo dos cosas a la vez: intercambiar el orden de las frases Y negar ambas frases. A partir de "Si $p$, entonces $q$" ($p \to q$), formamos "Si no $q$, entonces no $p$" ($\neg q \to \neg p$). A diferencia del recíproco y del inverso, el contrarrecíproco SÍ es 100% equivalente al condicional directo. Por ejemplo: "Si llueve, hay nubes" significa exactamente lo mismo que "Si no hay nubes, no llueve".
Explicación formal
Definición formal
Dado un condicional directo $\Phi = p \to q$, su proposición contrarrecíproca (o contrapositiva) es la fórmula resultante de invertir el sentido de implicación y negar simultáneamente ambos literales:
$$\text{Contrarrecíproco}(p \to q) = \neg q \to \neg p$$
En el cálculo proposicional clásico, la Ley del Contrarrecíproco (o Ley de Contraposición) establece una equivalencia lógica estricta:
$$p \to q \equiv \neg q \to \neg p \quad \iff \quad \models (p \to q) \leftrightarrow (\neg q \to \neg p)$$
Desglose simbólico
- Vector de salida directo: $\mathbf{v}(p \to q) = [V, F, V, V]^T$.
- Vector de salida contrarrecíproco: $\mathbf{v}(\neg q \to \neg p) = [F \to F, V \to F, F \to V, V \to V]^T = [V, F, V, V]^T$.
- Demostración algebraica:
$$\neg q \to \neg p \equiv \neg(\neg q) \lor \neg p \equiv q \lor \neg p \equiv \neg p \lor q \equiv p \to q$$
Síntesis didáctica
Demostrar un teorema en su forma directa $p \implies q$ es matemáticamente indistinguible de demostrar su forma contrapositiva $\neg q \implies \neg p$.
La alternativa correcta es 'A su contrarrecíproco $\neg q \to \neg p$'. El contrarrecíproco comparte exactamente la misma tabla de verdad que el directo.
Definiciones clave
- Contrarrecíproco ($\neg q \to \neg p$): Proposición condicional formada al permutar y negar a la vez el antecedente y el consecuente.
- Ley de Contraposición: Teorema lógico que establece la equivalencia $p \to q \equiv \neg q \to \neg p$.
- Demostración por contraposición: Método de prueba matemática indirecta donde se asume $\neg q$ para deducir $\neg p$.
Propiedades y relaciones importantes
- Relación canónica entre las 4 variantes:
- Directo: $p \to q$ (equivalente al Contrarrecíproco).
- Recíproco: $q \to p$ (equivalente al Inverso).
- Inverso: $\neg p \to \neg q$ (equivalente al Recíproco).
- Contrarrecíproco: $\neg q \to \neg p$ (equivalente al Directo).
Ejemplo guiado
Demuestra mediante tabla de verdad que la fórmula condicional $p \to q$ es lógicamente equivalente a su contrarrecíproco $\neg q \to \neg p$.
- Paso 1: Colocar las $4$ combinaciones canónicas de entrada para $p$ y $q$.
- Paso 2: Calcular el condicional directo $p \to q$: $[V, F, V, V]^T$.
- Paso 3: Calcular las negaciones $\neg q = [F, V, F, V]^T$ y $\neg p = [F, F, V, V]^T$.
- Paso 4: Evaluar el contrarrecíproco $\neg q \to \neg p$: - Fila 1 ($F \to F$): $V$ - Fila 2 ($V \to F$): $F$ - Fila 3 ($F \to V$): $V$ - Fila 4 ($V \to V$): $V$. Vector: $[V, F, V, V]^T$.
- Paso 5: Comparar los vectores: Como $[V, F, V, V]^T = [V, F, V, V]^T$, se demuestra formalmente la Ley del Contrarrecíproco.
La alternativa correcta es 'Si $x$ no es impar (es par), entonces $x^2$ no es impar (es par)'. Se permutan y niegan ambas afirmaciones ($\neg q \to \neg p$).
Procedimiento
- Paso 1: Identificar el antecedente $p$ y el consecuente $q$ de la fórmula directa $p \to q$.
- Paso 2: Negar el consecuente para colocarlo como nuevo antecedente: $\neg q$.
- Paso 3: Negar el antecedente para colocarlo como nuevo consecuente: $\neg p$.
- Paso 4: Estructurar la fórmula contrarrecíproca resultante: $\neg q \to \neg p$.
- Paso 5: Usar indistintamente $p \to q$ o $\neg q \to \neg p$ en deducciones y demostraciones lógicas.
Errores frecuentes y cómo corregirlos
- Error 1: Creer que el contrarrecíproco es solo intercambiar el orden sin negar ($q \to p$). Cómo corregirlo: Intercambiar sin negar es el recíproco; el contrarrecíproco exige obligatoriamente intercambiar Y negar ambas proposiciones ($\neg q \to \neg p$).
- Error 2: Dudar de si una demostración por contraposición es tan rigurosa como una directa. Cómo corregirlo: La contraposición es 100% equivalente al condicional directo; demostrar $\neg q \implies \neg p$ constituye una prueba formal perfecta de $p \implies q$.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Negar y permutar consecuente: "no tiene 4 lados iguales".
- Negar antecedente: "no es rombo".
- Contrarrecíproco: "Si no tiene 4 lados iguales, no es rombo".
- Sí, es exactamente idéntico al vector del condicional directo $p \to q$.
- Sí, al coincidir en las 4 filas el bicondicional arroja $[V, V, V, V]^T$.
- Sí, por la equivalencia lógica estricta entre ambas fórmulas.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación es correcta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
Al terminar debes poder
Conocer, formular y aplicar el contrarrecíproco de un condicional ($\neg q \to \neg p$).
Permutar y negar antecedente y consecuente, validar la equivalencia mediante tablas de verdad y emplearlo en demostraciones por contraposición.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué afirmación clave conviene recordar sobre condicional contrarrecíproco?
La afirmación correcta es: El contrarrecíproco es lógicamente equivalente al condicional original.. Esa observación ayuda a usar bien el concepto.
Respuesta: El contrarrecíproco es lógicamente equivalente al condicional original.
-
¿Qué describe mejor condicional contrarrecíproco?
La definición correcta es: el contrarrecíproco de p → q es ¬q → ¬p. Esa es la idea central de condicional contrarrecíproco.
Respuesta: el contrarrecíproco de p → q es ¬q → ¬p
-
¿Cuál de los siguientes casos ejemplifica mejor condicional contrarrecíproco?
El ejemplo correcto es: Si de “si estudias, apruebas” formamos “si no apruebas, no estudias”, obtenemos el contrarrecíproco.. Ese caso representa adecuadamente condicional contrarrecíproco.
Respuesta: Si de “si estudias, apruebas” formamos “si no apruebas, no estudias”, obtenemos el contrarrecíproco.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifica la opción que corresponde a condicional contrarrecíproco.
Se reconoce condicional contrarrecíproco en el ejemplo: Si de “si estudias, apruebas” formamos “si no apruebas, no estudias”, obtenemos el contrarrecíproco..
Respuesta: Si de “si estudias, apruebas” formamos “si no apruebas, no estudias”, obtenemos el contrarrecíproco.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es correcto afirmar que el contrarrecíproco de p → q es ¬q → ¬p?
Verdadero. Esa es justamente la definición de condicional contrarrecíproco.
Respuesta: Verdadero
-
¿El caso “Si de “si estudias, apruebas” formamos “si no apruebas, no estudias”, obtenemos el contrarrecíproco” corresponde a condicional contrarrecíproco?
Verdadero. El ejemplo dado es una aplicación directa de condicional contrarrecíproco.
Respuesta: Verdadero
-
¿La afirmación “El inverso no es equivalente en general al condicional original.” describe condicional contrarrecíproco?
Falso. Condicional contrarrecíproco se describe mejor así: el contrarrecíproco de p → q es ¬q → ¬p. La afirmación propuesta corresponde a otra idea.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
Un profesor escribe la afirmación “El contrarrecíproco es lógicamente equivalente al condicional original”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Condicional contrarrecíproco, porque su idea clave es: El contrarrecíproco es lógicamente equivalente al condicional original..
Respuesta: Condicional contrarrecíproco
-
En un control se pide identificar la definición correcta de condicional contrarrecíproco. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: el contrarrecíproco de p → q es ¬q → ¬p.
Respuesta: el contrarrecíproco de p → q es ¬q → ¬p
-
En una guía PAES, una estudiante debe reconocer condicional contrarrecíproco. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: Si de “si estudias, apruebas” formamos “si no apruebas, no estudias”, obtenemos el contrarrecíproco.. Ese caso representa condicional contrarrecíproco sin ambigüedad.
Respuesta: Si de “si estudias, apruebas” formamos “si no apruebas, no estudias”, obtenemos el contrarrecíproco.