Definition:Consequent
From ProofWiki
Definition
Let $P = a \circ b$ be an expression.
The term $b$ is known as the consequent of $P$.
Linguistic Note
The word consequent is usually found in classical mathematical literature, notably Euclid's The Elements.
It is also frequently used in the context of logic to mean the second term in a conditional statement.
The word comes from the Greek, and literally means following term.
Source
- Sir Thomas L. Heath: Euclid: The Thirteen Books of The Elements (1908): Volume $2$: Book V, Note on Definition $11$
