implementaciones lógicas