Inverso de un condicional

U — Universitario / fuera de foco PAES Media

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).

Infografía: Inverso de un Condicional

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.

Comprueba tu avance ¿Cómo se obtiene formalmente el inverso del condicional directo $p \to q$?

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.

Diagrama: Inverso de un Condicional

  • 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.
Comprueba tu avance ¿A cuál de las siguientes proposiciones condicionales es lógicamente equivalente el inverso $\neg p \to \neg q$?

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.

1 ¿Cuál es el inverso de "Si es verano, hace calor"?
2 ¿Cuál es el vector columna de verdad de $\neg p \to \neg q$?
3 ¿Las tablas de verdad del inverso y del recíproco son idénticas?
4 ¿Es válido deducir $\neg q$ sabiendo únicamente que $p \to q$ es verdadero y $p$ es falso?

Ejemplos Verdadero/Falso

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

"La afirmación de que la falsedad del antecedente permite deducir con certeza la falsedad del consecuente."
"El condicional inverso $\neg p \to \neg q$ es lógicamente equivalente al condicional recíproco $q \to p$, pero no es equivalente al condicional directo $p \to q$."
"El inverso de un condicional $p \to q$ es la proposición $\neg p \to \neg q$, formada al negar ambas proposiciones conservando su orden original."
"La afirmación de que el inverso y el contrarrecíproco son la misma proposición condicional."
"La afirmación de que la tabla de verdad del inverso tiene su único resultado falso en la fila 2."
"La afirmación de que para formular el inverso se debe permutar el orden de las proposiciones."
"La afirmación de que el condicional inverso $\neg p \to \neg q$ es lógicamente equivalente al condicional directo $p \to q$."

Al terminar debes poder

Cuadro resumen: Inverso de un Condicional

🎯 QUÉ Objetivo

Identificar, formular y contrastar el inverso de un condicional ($\neg p \to \neg q$).

⚙️ CÓMO Procedimiento

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.

Fuente: Currículum Nacional MINEDUC y elaboración pedagógica ProfeOnline.

Practica

Preguntas conceptuales

Verificar las ideas clave antes de calcular.

  1. ¿Qué describe mejor condicional inverso?

  2. ¿Qué afirmación clave conviene recordar sobre condicional inverso?

  3. ¿Cuál de los siguientes casos ejemplifica mejor condicional inverso?

Reconocimiento

Identificar elementos, datos o procedimientos.

  1. Identifica la opción que corresponde a condicional inverso.

Ejercicios básicos

Aplicar el procedimiento principal en casos simples.

  1. ¿Es correcto afirmar que el inverso de p → q es ¬p → ¬q?

  2. ¿El caso “De “si estudias, apruebas” se obtiene “si no estudias, no apruebas” al formar el inverso” corresponde a condicional inverso?

  3. ¿La afirmación “El contrarrecíproco es lógicamente equivalente al condicional original.” describe condicional inverso?

Preguntas tipo PAES

Resolver preguntas con formato y distractores similares a PAES.

  1. En un control se pide identificar la definición correcta de condicional inverso. ¿Qué alternativa debe marcarse?

  2. Un profesor escribe la afirmación “El inverso no es equivalente en general al condicional original”. ¿A qué recurso se refiere principalmente?

  3. En una guía PAES, una estudiante debe reconocer condicional inverso. ¿Qué alternativa aplica correctamente esta idea?

Evaluación de dominio

☆☆☆ 0/3 niveles aprobados
Nivel 1 Definición
Nivel 2 Ejercicios simples
Nivel 3 Problemas de aplicación

¿Necesitas más ayuda o una clase particular?

Contáctame directamente para resolver dudas, preparar exámenes o agendar clases particulares personalizadas 1 a 1.