Consequent:
In
logic: What comes after (in an argument): a
conclusion or conclusions; the thenpart q in an
ifthen 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.

See also: Antecedent, Logical terms
Literature:
Carnap, Cartwright, Gentzen, Stegmüller
