Exportation (logic)

In logic, "exportation" is a valid rule of inference that deals with implications. It states that if you have a conditional statement of the form: 1.