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. In some contexts, the consequent is called the apodosis.
Examples:
is the consequent of this hypothetical proposition.
Here, " is an animal" is the consequent.
"They are alive" is the consequent.
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 the claim made in the antecedent that "monkeys are purple".