| − | 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]]. | + | 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]]. |