Consequent

logic

Definition

Consequent

A consequent is the second half of a hypothetical proposition. In the standard form of a such a proposition, it is the part that follows “then”

If $P$, then $Q$. Here, $P$ is called the antecedent and $Q$ is called the consequent.