Exportation (logic)

ID: 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.

New to topics? Read the docs here!