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.
Esta es una formulación no lógica de una proposición hipotética.
se llama el antecedente y
Aquí, "a 2016 hay hombres en la Luna" es el antecedente.