Definition:Conditional/Superimplicant

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

Also known as
The term superalternate is also seen to mean superimplicant.

Also see

 * Subimplicant (or Subalternate)