Un antecedente es la primera parte de una proposición hipotética, siempre que la cláusula "si" preceda a la cláusula "entonces". En algunos contextos el antecedente se llama protasis.
Estructura lógica Si , entonces .
Esta es una formulación no lógica de una proposición hipotética. En este caso, el antecedente es , y el consecuente es . En una implicación, si implica entonces se llama el antecedente y el consecuente.Sets, Functions and Logic - An Introduction to Abstract Mathematics, Keith Devlin, Chapman & Hall/CRC Mathematics, 3rd ed., 2004
Ejemplos Si es un hombre, entonces es mortal. " es un hombre" es el antecedente para esta proposición. Si a 2016 hay hombres en la Luna, entonces yo soy el rey de Francia. Aquí, "a 2016 hay hombres en la Luna" es el antecedente.
Véase también Afirmación del consecuente Negación del antecedente Condiciones necesarias y suficientes
Referencias
Categoría:Condicionales Categoría:Filosofía del lenguaje Categoría:Lógica