Contraposition (traditional logic)

In traditional logic, contraposition is a rule of inference that involves switching and negating the terms of a conditional statement.