Here is a reasoning problem: If Mary is a psychology major at your college then she must take statistics. Mary graduates from your college without taking statistics. Therefore, Mary is not a psychology major. What kind of problem is this?

Conditional Reasoning

Explanation:

It is the 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".