# Definition:Conditional/Superimplicant

(Redirected from Definition: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.