Antecedente (lógica)

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 yAquí, "a 2016 hay hombres en la Luna" es el antecedente.