Resultado de la búsqueda: de que se ocupa la logica simbolica