Este artículo aborda el olvido abductivo, que elimina variables de una fórmula lógica, preservando la explicación inductiva. A diferencia del olvido convencional, que preserva el resultado, el olvido inductivo preserva la explicación. En una fórmula de lógica proposicional, el olvido inductivo no puede expresarse como tal, y la condición para determinar su posibilidad tiene una complejidad $\Pi^p_3$-completa. Se proponen métodos para garantizar la expresividad del olvido inductivo, como cambiar de la lógica proposicional a la lógica por defecto o introducir nuevas variables.
