Resultado de la búsqueda: simbolo de la logica simbolica