// leyes y reglas · Falacia
Falacia de negación del antecedente_
La negación del antecedente es la otra gran falacia formal asociada al condicional. Consiste en creer que si la condición no se cumple, tampoco se cumplirá la consecuencia. La tabla de verdad demuestra que el razonamiento es inválido: la fórmula es una contingencia.
Ejemplo
((p ⇒ q) ∧ ¬p) ⇒ ¬q
Significado de las variables
- ▸ p: «Estudio»
- ▸ q: «Apruebo»
En palabras
«Si estudio, apruebo. No estudié. Por lo tanto, no aprobé». Falso: el examen pudo ser muy fácil y aprobar de todos modos.
Tabla de verdad
| p | q | p ⇒ q | ¬p | (p ⇒ q) ∧ ¬p | ¬q | ((p ⇒ q) ∧ ¬p) ⇒ ¬q★ |
|---|---|---|---|---|---|---|
| V | V | V | F | F | F | V |
| V | F | F | F | F | V | V |
| F | V | V | V | V | F | F |
| F | F | V | V | V | V | V |
Clasificación: Contingencia · 4 filas
Enunciado de la falacia
Premisa 1: p ⇒ q. Premisa 2: ¬p. Conclusión (inválida): ¬q. Como fórmula única, ((p ⇒ q) ∧ ¬p) ⇒ ¬q.
El error consiste en interpretar «si p, entonces q» como si p fuese la única causa posible de q. Pero un condicional solo dice que p es suficiente para q, no que sea necesaria.
La fila que la refuta
El contraejemplo está en la fila p = F, q = V. Ahí p ⇒ q es V porque el antecedente es falso, y ¬p es V, de modo que las premisas son verdaderas. Pero la conclusión ¬q es F, y la implicación final da F.
Con esa fila basta para invalidar el argumento. En las otras tres filas la fórmula resulta V, por eso la clasificación global es contingencia.
Condición suficiente y condición necesaria
En p ⇒ q, p es condición suficiente para q, y q es condición necesaria para p. La falacia confunde ambas nociones: trata a p como si fuera necesaria.
Si de verdad p fuese la única vía hacia q, la premisa correcta sería el bicondicional p ⇔ q. Bajo esa premisa, de ¬p sí se concluye ¬q y el argumento pasa a ser válido.
Ejemplos reales
Cotidiano: «Si eres socio, entras gratis. No eres socio. Entonces no entras gratis». Podría haber un día de puertas abiertas.
Publicidad y política: «Si bajamos impuestos, crece la economía. No los bajamos, así que la economía no crecerá». Ignora cualquier otra causa de crecimiento.
Programación: creer que si una condición de guarda no se cumple, cierto efecto no ocurrirá, cuando otra rama del código puede producirlo igualmente.
Cómo evitarla: usa el modus tollens
La forma válida de razonar en negativo es negar el consecuente, no el antecedente: de p ⇒ q y ¬q se concluye ¬p. Ese es el modus tollens, y su fórmula sí es una tautología.
Regla práctica: desde una implicación puedes avanzar afirmando el antecedente o retroceder negando el consecuente. Las otras dos combinaciones son las dos falacias clásicas.
Pruébalo tú mismo
Modifica la expresión en la calculadora y observa cómo cambia cada paso de la tabla.
Abrir en la calculadora →Operadores relacionados
Preguntas frecuentes
¿En qué se diferencia del modus tollens? ▼
El modus tollens niega el consecuente (de p ⇒ q y ¬q concluye ¬p) y es válido. Esta falacia niega el antecedente, que es justo lo que no autoriza el condicional.
¿Cuándo sería válido el razonamiento? ▼
Si la premisa fuese un bicondicional p ⇔ q. Entonces p es necesaria y suficiente para q, y de ¬p sí se sigue ¬q.
¿Por qué es tan común? ▼
Porque en el lenguaje cotidiano muchos «si» se entienden como «si y solo si». Al formalizar, esa lectura implícita desaparece y el razonamiento se vuelve inválido.