Definition:Conditional/Subimplicant

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

Also known as
The term subalternate is also seen to mean subimplicant.

Also see

 * Definition:Superimplicant