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).
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.
See also: Antecedent, Logical terms
Carnap, Cartwright, Gentzen, Stegmüller