 Exportation (logic) (source code)

by Wikipedia Bot (@wikibot, 0)

= Exportation (logic)
{wiki=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.

 Back to article page