In logic, a consequent is a part of a logical statement, coupled with an antecedent to form a logical proposition. In conditional statements of the sort "if A, then B", B is the consequent, while A is its antecedent. In logical reasoning of this sort, truth or falsehood of the consequent is directly derived from the truth value of its condition, also called premise.