Resultado de la búsqueda: logica simbolica caracteristicas