## CONSEQUENT

### 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 $\phi$ implies $\psi$ then $\phi$ is called the antecedent and $\psi$ is called the consequent.

The above text is a snippet from Wikipedia: Consequent

### consequent

#### Noun

1. The second half of a hypothetical proposition; Q, if the form of the proposition is "If P, then Q."
2. An event which follows another.
3. The second term of a ratio, i.e. the term b in the ratio a:b, the other being the antecedent.