Definition:Conditional/Superimplicant
< Definition:Conditional(Redirected from Definition:Superimplicant)
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
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables: $\text {(iii)}$