From ProofWiki
Jump to navigation Jump to search


In a conditional $p \implies q$, the statement $q$ is the consequent.

Also known as

Some authors use the term conclusion, but there is already a use for that term.

The term consequent clause can sometimes be seen, particularly when the conditional it is part of consists of a statement in natural language.

The archaic terms implicate and apodosis can sometimes be found.

Also defined as

Let $P = a \circ b$ be an expression.

The term $b$ is known as the consequent of $P$.

Also see

Linguistic Note

The word consequent is usually found in classical mathematical literature, notably Euclid's The Elements.

The word comes from the Greek, and literally means following term.