Definition:Conditional/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$.

Also see

 * Definition:Antecedent


 * Definition:Leading Term
 * Definition:Following Term