Conditional elimination

In symbolic logic, a valid inference in a system of truth-functional rules. The consequent of a conditional claim is inferred when the antecedent of that claim is affirmed. (See also Modus ponens.)