# 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.