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

Sources

• 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables: $\text {(iv)}$