Definition:Conditional/Superimplicant

From ProofWiki
Jump to navigation Jump to search

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.


Also see


Sources