Falacia de afirmación del consecuente

La afirmación del consecuente es una falacia formal dentro de la lógica proposicional. Este error de razonamiento consiste en asumir que, si una proposición condicional se reconoce como verdadera y su consecuente se verifica, el antecedente de dicha implicación debe ser necesariamente verdadero.

En el lenguaje formal, la estructura horizontal o condicional asociado de este argumento se expresa como:

[(p → q) ∧ q] → p

En el esquema de deducción formal, el argumento se representa de manera vertical mediante premisas ordenadas y una conclusión precedida por el símbolo de derivación:

p → q
q
—————
∴ p

El defecto de este razonamiento radica en confundir una condición suficiente con una condición necesaria. En una relación condicional p → q, la verdad del antecedente p basta para garantizar el consecuente q, pero no impide que existan otras circunstancias independientes capaces de generar el mismo resultado. Por este motivo, constatar la ocurrencia de q no autoriza a deducir la existencia previa de p.

Es importante no confundir esta falacia con la regla de inferencia válida denominada modus ponens (o afirmación del antecedente), cuya formulación es [(p → q) ∧ p] → q. Mientras que el modus ponens parte de la verificación de la hipótesis o causa para validar el efecto, la afirmación del consecuente invierte indebidamente la dirección de la deducción.

Asimismo, conviene diferenciarla de su falacia hermana, la negación del antecedente, cuya estructura corresponde a [(p → q) ∧ ¬p] → ¬q. En ambos casos, el error surge por tratar una implicación simple en un único sentido (p → q) como si fuese una relación de equivalencia lógica o bicondicional (p ↔ q).

Para visualizar cómo se relacionan estas formas argumentales y distinguir los esquemas deductivos válidos de las falacias formales del condicional, analizamos el siguiente cuadro comparativo:

Nombre del argumento	Estructura formal	Clasificación
Modus ponens (afirmación del antecedente)	[(p → q) ∧ p] → q	Regla de inferencia válida
Modus tollens (negación del consecuente)	[(p → q) ∧ ¬q] → ¬p	Regla de inferencia válida
Afirmación del consecuente (error recíproco)	[(p → q) ∧ q] → p	Falacia formal (inválida)
Negación del antecedente (error inverso)	[(p → q) ∧ ¬p] → ¬q	Falacia formal (inválida)

Ejemplos

Para comprender cómo opera esta falacia en diferentes contextos y aprender a identificarla, analizamos a continuación una serie de casos cotidianos y matemáticos.

Ejemplo 1

Premisa 1: Si llueve, entonces la calle se moja (p → q).
Premisa 2: La calle está mojada (q).
Conclusión errónea: Por lo tanto, llueve (p).

En este primer caso observamos con claridad el fallo deductivo. La calle puede encontrarse mojada debido al paso de un camión cisterna de limpieza o al riego de un jardín cercano. Constatar que el consecuente ocurrió no demuestra que la causa haya sido la lluvia.

Ejemplo 2

Premisa 1: Si un número entero es divisible por cuatro, entonces es un número par (p → q).
Premisa 2: El número entero analizado es par (q).
Conclusión errónea: Por lo tanto, el número es divisible por cuatro (p).

La implicación inicial expresa una propiedad aritmética válida. Sin embargo, la conclusión obtenida es manifiestamente falsa. Por ejemplo, si tomamos al número 14, este número es par pero no es divisible por cuatro.

Ejemplo 3

Premisa 1: Si la figura analizada es un cuadrado, entonces tiene cuatro ángulos rectos (p → q).
Premisa 2: La figura tiene cuatro ángulos rectos (q).
Conclusión errónea: Por lo tanto, la figura analizada es un cuadrado (p).

La presencia de cuatro ángulos rectos es una condición necesaria para ser un cuadrado, pero no suficiente para descartar que se trate de otro tipo de paralelogramo, como ocurre en este caso con un rectángulo no equilátero.

Ejemplo 4

Premisa 1: Si el estudiante no aprueba la evaluación inicial, entonces asiste a las tutorías de apoyo (¬p → q).
Premisa 2: El estudiante asiste a las tutorías de apoyo (q).
Conclusión errónea: Por lo tanto, el estudiante no aprobó la evaluación inicial (¬p).

En este escenario con antecedente negado, verificar la concurrencia a las tutorías no permite derivar que el alumno reprobó el examen, ya que el ingreso al aula de apoyo podría admitir otras causas.

Demostración de invalidez

Para comprobar formalmente que este esquema argumental carece de validez deductiva, evaluamos el comportamiento lógico de su condicional asociado: [(p → q) ∧ q] → p. En la lógica proposicional, un razonamiento es válido si y solo si la proposición condicional que conecta la conjunción de sus premisas con su conclusión resulta ser una tautología.

Construimos la tabla de verdad evaluando paso a paso cada conectivo para todas las combinaciones posibles de los valores de verdad de las proposiciones simples:

p	q	p → q	(p → q) ∧ q	[(p → q) ∧ q] → p
V	V	V	V	V
V	F	F	F	V
F	V	V	V	F
F	F	V	F	V

Al analizar la columna final, observamos que la expresión no es siempre verdadera: aparece un valor de falsedad en la tercera fila, correspondiente al caso donde el antecedente p es falso y el consecuente q es verdadero.

Esta tercera fila constituye la línea crítica de la inferencia, pues en ella se cumplen simultáneamente las siguientes condiciones:

• La primera premisa p → q es verdadera, ya que una implicación con antecedente falso es lógicamente verdadera.
• La segunda premisa q es verdadera por hipótesis de partida.
• La conjunción de ambas premisas (p → q) ∧ q resulta por lo tanto verdadera.
• Sin embargo, la conclusión p es falsa.

Dado que la verdad de las premisas no preserva de manera obligada la verdad de la conclusión, el condicional asociado resulta falso en esa asignación. La fórmula lógica no es una tautología sino una contingencia, lo que demuestra formalmente que la afirmación del consecuente es un razonamiento inválido.

Diferencia entre el condicional y el bicondicional

La frecuencia con la que se incurre en la falacia de afirmación del consecuente se debe principalmente a las costumbres del lenguaje cotidiano. En las conversaciones habituales, solemos interpretar enunciados estructurados bajo la forma «si... entonces» como si establecieran una correspondencia exclusiva y reversible entre ambas partes.

Por ejemplo, si una tienda en línea anuncia: «Si eres cliente prémium, tienes envíos gratis», una persona que recibe un paquete con costo de envío cero podría concluir de inmediato: «Entonces mi cuenta es prémium». En la práctica diaria, el comprador asume esa correspondencia sin notar que el beneficio pudo originarse por una promoción de temporada, un cupón de descuento o una compra que superó el importe mínimo. El pensamiento intuitivo invierte el condicional de forma automática y trata un beneficio posible como si fuera la prueba irrefutable de una única causa.

Para comprender por qué esta deducción resulta errónea en el razonamiento deductivo, distinguimos la función que cumple cada uno de estos dos conectivos lógicos:

• Condicional simple (p → q): Establece una relación unidireccional donde el antecedente p es una condición suficiente para que ocurra q, mientras que q es solo una condición necesaria. La verdad del consecuente no asegura el antecedente, pues pueden existir otras vías independientes que lleven al mismo resultado.
• Bicondicional (p ↔ q): Establece una relación bidireccional donde cada término es condición suficiente y necesaria del otro de manera recíproca. En esta estructura, p y q deben tener obligatoriamente el mismo valor de verdad, equivaliendo formalmente a la conjunción (p → q) ∧ (q → p).

En un bicondicional sí resulta válido deducir p a partir de q, ya que la implicación en sentido inverso q → p forma parte explícita de su definición formal. La falacia de afirmación del consecuente ocurre al omitir esta distinción y aplicar de manera indebida la simetría propia del bicondicional sobre una implicación que solo tiene validez en un único sentido.