Consequent: In logic: What comes after (in an argument): a conclusion or conclusions; the then-part q in an if-then statement or inference (if p then q).

The term consequent is especially used in systems of logic constructed by or according to Gentzen, in which every argument is a sequence of formulas that satisfy certain conditions.