Antecedent (logic)

An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause. In some contexts the antecedent is called the protasis.
This is a nonlogical formulation of a hypothetical proposition. In this case, the antecedent is P, and the consequent is Q. In an implication, if implies then is called the antecedent and is called the consequent. Antecedent and consequent are connected via logical connective to form a proposition.
" is a man" is the antecedent for this proposition.
Here, "men have walked on the moon" is the antecedent.
Let. If then