Consecuente: definición, ejemplo y equivalente en inglés
El consecuente es la parte «entonces» de un condicional: en A -> B, B es el consecuente. El condicional promete el consecuente solo cuando el antecedente se cumple, y no dice nada cuando no.
En «si llueve, el suelo está mojado», el consecuente es «el suelo está mojado». Es el operando derecho de ->, sea cual sea el orden de la oración, y es condición necesaria del antecedente: si el condicional es verdadero y el suelo está seco, no llueve. Un consecuente verdadero hace verdadero el condicional sea cual sea el antecedente, que es uno de los dos casos en que un condicional se cumple por razones ajenas al vínculo entre sus partes.
El artefacto de esta página es A -> B, con el consecuente B. La tabla de 4 filas se lee verdadero, verdadero, falso, verdadero. En las filas 1 y 3, donde B = TRUE, el condicional es verdadero sea cual sea A; en la fila 2, A = TRUE, B = FALSE, es falso, y esa asignación es el contraejemplo de la comprobación de tautología. La lectura del motor añade la advertencia clave: la condición no afirma lo recíproco, así que un consecuente verdadero no establece el antecedente. La de satisfacible se cumple con el testigo A = FALSE, B = FALSE.
Los consecuentes son donde las reglas enuncian su resultado («entonces conceder acceso») y donde los argumentos se tuercen: afirmar el consecuente, concluir A de A -> B y B, es la falacia más común al razonar sobre reglas, y la página del contraejemplo la muestra refutada en una fila. El término se confunde con la conclusión de un argumento (un enunciado aparte, no una parte de un condicional) y con la consecuencia en sentido causal; la lógica no registra causación.
Ejemplo
f := A -> B · salida
Comprobaciones exactas
Tabla de verdad (4 filas)
| # | A | B | f |
|---|---|---|---|
| 0 | FALSO | FALSO | VERDADERO |
| 1 | FALSO | VERDADERO | VERDADERO |
| 2 | VERDADERO | FALSO | FALSO |
| 3 | VERDADERO | VERDADERO | VERDADERO |
Lectura en lenguaje claro
Principiantef es verdadero exactamente cuando se cumple lo siguiente: si A es verdadero, entonces B es verdadero.
En todos los demás casos, f es falso.
Sobre los operadores:
- Una condición «si… entonces» solo restringe el caso en que se cumple su parte «si»: cuando la parte «si» es falsa, la condición se cumple sea cual sea la parte «entonces». No afirma lo recíproco.
Intermediof es verdadero exactamente cuando se cumple lo siguiente: si A es verdadero, entonces B es verdadero.
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando se cumple lo siguiente: si A es verdadero, entonces B es verdadero [implicación material →].
En todos los demás casos, f es falso.
Notación formal: A → B
El error habitual
Leer A -> B como «B ocurre por causa de A». El condicional es verdadero siempre que B es verdadera, también cuando A es falsa y no tiene relación. Los condicionales veritativo-funcionales registran un patrón de valores, no un mecanismo, y por eso FALSE -> B y A -> TRUE son tautologías.
Preguntas
¿Puedo inferir el antecedente a partir del consecuente?
No. De A -> B y B nada se sigue sobre A; la fila 1 de la tabla, A = FALSE, B = TRUE, hace verdaderos los dos con A falsa. Esa es la falacia de afirmación del consecuente, y el modus tollens, de NOT B a NOT A, es la dirección válida.
Relacionado
Véase también
- Antecedente: definición, ejemplo y equivalente en inglés
- Contraejemplo: definición, ejemplo y equivalente en inglés
- Afirmación del consecuente: A → B, B, por tanto A (inválido, con contraejemplo)
- Modus tollens: A → B, NOT B, por tanto NOT A (válido)
- Implicación (→, condicional): tabla de verdad y por qué un antecedente falso la hace verdadera
- Conclusión: definición, ejemplo y equivalente en inglés
Glosario
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.