Definition:Conditional/Antecedent

Definition
In a conditional $p \implies q$, the statement $p$ is the antecedent.

Also see

 * Definition:Consequent


 * Definition:Leading Term
 * Definition:Following Term