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.