# Definition:Conditional/Consequent

(Redirected from Definition:Consequent)

## Definition

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$.

## 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.