modus ponens
noun
the reasoning that, when a conditional statement is accepted as true, as “ If X is red, then Y is blue,” it can be inferred when the antecedent is known to be true, as “X is red,” that its consequent, “Y is blue,” is affirmed.
