antecedent
The hypothesis (the "if" part) of a conditional statement.
In p\implies q, p is the antecedent.
See also
Point table
Graph settings
Calculator