# Consequent

A **consequent** is the second half of a hypothetical proposition. In the standard form of such a proposition, it is the part that follows "then". In an implication, if *P* implies *Q*, then *P* is called the antecedent and *Q* is called the **consequent**.^{[1]} In some contexts, the consequent is called the * apodosis*.

^{[2]}

The consequent in a hypothetical proposition is not necessarily a consequence of the antecedent.

"Fish speak Klingon" is the consequent here, but intuitively is not a consequence of (nor does it have anything to do with) the claim made in the antecedent that "monkeys are purple".