Exportation (logique)