logic that takes the shape of if X, then Y. Within the context of formal logic, the phrase or sentence coming after such a statement is referred to as the antecedent and that coming after therein is referred to as the consequent.

CONDITIONAL REASONING: "The following is an example of conditional reasoning: If it is December in America, then it is Winter time."