In logic, an antecedent is a part of a logical proposition, used to form conditional statements, e.g. "if A, then B". In this example, A would be the antecedent of the proposition, while B is the consequent. In statements of this sort, which are frequently used in human reasoning, A is also called the premise of the argument.