Inverso de un condicional
Resumen inicial
Definición, tabla de verdad y análisis de no equivalencia del inverso de un condicional ($\neg p \to \neg q$) respecto al condicional directo ($p \to q$).
Explicación en palabras simples
El inverso (o condicional inverso, también llamado contrario) se obtiene negando tanto el antecedente como el consecuente sin cambiar su orden: a partir de "Si $p$, entonces $q$" ($p \to q$), formamos "Si no $p$, entonces no $q$" ($\neg p \to \neg q$). Al igual que el recíproco, el inverso NO es equivalente al condicional directo. Por ejemplo: "Si llueve, me mojo" es verdadero; pero su inverso: "Si no llueve, no me mojo" no es necesariamente verdadero (puedes mojarte en una piscina o con una manguera).
Explicación formal
Definición formal
Dado un condicional directo $\Phi = p \to q$, su proposición inversa (o contraria) es la fórmula resultante de negar independientemente antecedente y consecuente manteniendo el orden sintáctico:
$$\text{Inverso}(p \to q) = \neg p \to \neg q$$
En el cálculo proposicional clásico, el condicional directo y su inverso no son lógicamente equivalentes:
$$p \to q \not\equiv \neg p \to \neg q$$
dado que la tabla de verdad del inverso discrepa del directo en las interpretaciones intermedias.
Desglose simbólico
- Vector de salida directo: $\mathbf{v}(p \to q) = [V, F, V, V]^T$.
- Vector de salida inverso: $\mathbf{v}(\neg p \to \neg q) = [F \to F, F \to V, V \to F, V \to V]^T = [V, V, F, V]^T$.
- Equivalencia con el recíproco: Por la ley de contraposición, $\neg p \to \neg q \equiv \neg(\neg q) \to \neg(\neg p) \equiv q \to p$.
Síntesis didáctica
Asumir que la falsedad del antecedente implica la falsedad del consecuente constituye la célebre falacia formal de negación del antecedente.
La alternativa correcta es 'Negando ambas proposiciones sin cambiar su orden: $\neg p \to \neg q$'. Es la definición formal del condicional inverso.
Definiciones clave
- Inverso de un condicional ($\neg p \to \neg q$): Condicional formado por las negaciones directas de antecedente y consecuente.
- Falacia de negación del antecedente: Razonamiento inválido que infiere erróneamente $\neg q$ a partir de $p \to q$ y $\neg p$.
- Equivalencia inversa-recíproca: Propiedad estructural por la cual el inverso de $p \to q$ es idéntico al recíproco $q \to p$.
Propiedades y relaciones importantes
- Contrarrecíproco del inverso: El contrarrecíproco del inverso $\neg p \to \neg q$ es el recíproco $q \to p$.
- Independencia veritativa: El valor de verdad del inverso no puede inferirse del valor del condicional directo.
Ejemplo guiado
Dado el condicional directo: "Si un número es divisible por $4$, entonces es par", formula su inverso y evalúa el valor de verdad de ambos.
- Paso 1: Identificar las proposiciones del directo: - Antecedente $p$: "Un número es divisible por $4$". - Consecuente $q$: "El número es par".
- Paso 2: Evaluar el directo $p \to q$: Como todo múltiplo de $4$ es divisible por $2$, el condicional directo es **Verdadero ($V$)**.
- Paso 3: Formular el inverso negando ambas partes ($\neg p \to \neg q$): "Si un número no es divisible por $4$, entonces no es par".
- Paso 4: Evaluar el inverso $\neg p \to \neg q$: Tomemos el número $6$: no es divisible por $4$ ($\neg p = V$), pero sí es par ($\neg q = F$). Por lo tanto, $V \to F = F$, lo que hace al inverso **Falso ($F$)**.
- Paso 5: Concluir que el condicional directo y su inverso no tienen por qué coincidir en valor de verdad.
La alternativa correcta es 'Al recíproco $q \to p$'. El contrarrecíproco del inverso $\neg(\neg q) \to \neg(\neg p)$ se reduce a $q \to p$.
Procedimiento
- Paso 1: Identificar el antecedente $p$ y el consecuente $q$ del condicional directo $p \to q$.
- Paso 2: Negar el antecedente, obteniendo $\neg p$.
- Paso 3: Negar el consecuente, obteniendo $\neg q$.
- Paso 4: Formar el nuevo condicional manteniendo el sentido original: $\neg p \to \neg q$.
- Paso 5: Evaluar el valor de verdad del inverso de forma autónoma mediante su tabla $[V, V, F, V]^T$.
Errores frecuentes y cómo corregirlos
- Error 1: Afirmar que el inverso es equivalente al condicional directo. Cómo corregirlo: El inverso $\neg p \to \neg q$ tiene el vector $[V, V, F, V]^T$, mientras que el directo $p \to q$ tiene el vector $[V, F, V, V]^T$.
- Error 2: Confundir el inverso ($\neg p \to \neg q$) con el contrarrecíproco ($\neg q \to \neg p$). Cómo corregirlo: El inverso niega sin permutar el orden; el contrarrecíproco niega y a la vez permuta las posiciones de antecedente y consecuente.
Ejemplos
Responde los siguientes ejercicios para poner a prueba lo que acabas de aprender.
- Negar antecedente: "no es verano".
- Negar consecuente: "no hace calor".
- Inverso: "Si no es verano, no hace calor".
- En la fila 3 ($p=F, q=V$), $\neg p = V$ y $\neg q = F$, dando $V \to F = F$.
- El vector es $[V, V, F, V]^T$.
- Sí, ambos comparten el vector de salida $[V, V, F, V]^T$.
- No, es una falacia formal ya que el inverso $\neg p \to \neg q$ no es lógicamente equivalente al directo.
Ejemplos Verdadero/Falso
Decide si cada afirmación es verdadera o falsa antes de ver la explicación.
Esta afirmación describe un error frecuente: es incorrecta.
Esta afirmación es correcta.
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.
Al terminar debes poder
Identificar, formular y contrastar el inverso de un condicional ($\neg p \to \neg q$).
Negar antecedente y consecuente sin permutar, evaluar su tabla de verdad $[V, V, F, V]^T$ y evitar la falacia de negación del antecedente.
Practica
Preguntas conceptuales
Verificar las ideas clave antes de calcular.
-
¿Qué describe mejor condicional inverso?
La definición correcta es: el inverso de p → q es ¬p → ¬q. Esa es la idea central de condicional inverso.
Respuesta: el inverso de p → q es ¬p → ¬q
-
¿Qué afirmación clave conviene recordar sobre condicional inverso?
La afirmación correcta es: El inverso no es equivalente en general al condicional original.. Esa observación ayuda a usar bien el concepto.
Respuesta: El inverso no es equivalente en general al condicional original.
-
¿Cuál de los siguientes casos ejemplifica mejor condicional inverso?
El ejemplo correcto es: De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso.. Ese caso representa adecuadamente condicional inverso.
Respuesta: De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso.
Reconocimiento
Identificar elementos, datos o procedimientos.
-
Identifica la opción que corresponde a condicional inverso.
Se reconoce condicional inverso en el ejemplo: De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso..
Respuesta: De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso.
Ejercicios básicos
Aplicar el procedimiento principal en casos simples.
-
¿Es correcto afirmar que el inverso de p → q es ¬p → ¬q?
Verdadero. Esa es justamente la definición de condicional inverso.
Respuesta: Verdadero
-
¿El caso “De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso” corresponde a condicional inverso?
Verdadero. El ejemplo dado es una aplicación directa de condicional inverso.
Respuesta: Verdadero
-
¿La afirmación “El contrarrecíproco es lógicamente equivalente al condicional original.” describe condicional inverso?
Falso. Condicional inverso se describe mejor así: el inverso de p → q es ¬p → ¬q. La afirmación propuesta corresponde a otra idea.
Respuesta: Falso
Preguntas tipo PAES
Resolver preguntas con formato y distractores similares a PAES.
-
En un control se pide identificar la definición correcta de condicional inverso. ¿Qué alternativa debe marcarse?
La opción correcta es la definición: el inverso de p → q es ¬p → ¬q.
Respuesta: el inverso de p → q es ¬p → ¬q
-
Un profesor escribe la afirmación “El inverso no es equivalente en general al condicional original”. ¿A qué recurso se refiere principalmente?
La afirmación remite a Condicional inverso, porque su idea clave es: El inverso no es equivalente en general al condicional original..
Respuesta: Condicional inverso
-
En una guía PAES, una estudiante debe reconocer condicional inverso. ¿Qué alternativa aplica correctamente esta idea?
La alternativa correcta es: De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso.. Ese caso representa condicional inverso sin ambigüedad.
Respuesta: De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso.