Lógica_simbólica loading ...