Antecedent

logic

Definition

Antecedent

An antecedent is the first half of a hypothetical proposition, whenever the if-clause precedes the then-clause.

If $P$, then $Q$. Here, $P$ is called the antecedent and $Q$ is called the consequent.