conditional reasoning

conditional reasoning

reasoning that takes the form “if X, then Y,” as in If Sam is male, then Sam is not a mother. In formal logic, the statement that follows if is called the antecedent and that following then is called the consequent.