Antecedente: definición, ejemplo y equivalente en inglés
El antecedente es la parte «si» de un condicional: en A -> B, A es el antecedente y B el consecuente. Un condicional es falso solo cuando su antecedente es verdadero y su consecuente falso.
En «si llueve, el suelo está mojado», el antecedente es «llueve». La palabra viene del latín «lo que va delante», y en la notación con flecha es siempre el lado izquierdo, sea cual sea el orden de la oración: «el suelo está mojado si llueve» tiene el mismo antecedente. El antecedente es condición suficiente del consecuente, y el consecuente condición necesaria del antecedente; mantener claros esos dos papeles es casi todo lo que significa un condicional.
El artefacto de esta página es el propio A -> B. Su tabla de 4 filas se lee verdadero, verdadero, falso, verdadero: la única fila falsa es la 2, A = TRUE, B = FALSE, donde el antecedente se cumple y el consecuente no, y esa fila es el contraejemplo de la comprobación de tautología. En las filas 0 y 1 el antecedente es falso y el condicional es verdadero sea cual sea B, como dice la lectura del motor. La de satisfacible se cumple con el testigo A = FALSE, B = FALSE.
Los antecedentes importan al escribir reglas porque el disparador de una regla es su antecedente, y una regla cuyo antecedente nunca es verdadero nunca se dispara pero tampoco falla: eso es la verdad vacua. En un curso de lógica, afirmar el antecedente es el modus ponens, la forma válida, y negarlo es una falacia. El término se confunde con la premisa de un argumento (un enunciado entero, no la mitad de uno) y con una causa; un condicional no afirma ningún vínculo causal.
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
Inferir que el consecuente es falso porque el antecedente es falso. A -> B con A = FALSE es verdadero para los dos valores de B, así que nada se sigue sobre B; esa inferencia es la falacia de negación del antecedente, y el ejemplo resuelto con ese nombre muestra su fila contraejemplo.
Preguntas
¿El antecedente se escribe siempre primero?
En la notación con flecha, sí: el antecedente es el operando izquierdo de ->. En prosa puede ir segundo, como en «B, siempre que A», y «A solo si B» hace de B el consecuente. La página del error sobre las variantes de la flecha cubre las notaciones.
Relacionado
Véase también
- Consecuente: definición, ejemplo y equivalente en inglés
- Implicación (→, condicional): tabla de verdad y por qué un antecedente falso la hace verdadera
- Modus ponens: A → B, A, por tanto B (válido)
- Negación del antecedente: A → B, NOT A, por tanto NOT B (inválido)
- Necesario frente a suficiente: «solo si» no es «si»
- Verdad vacua: 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.