Resultado de la búsqueda: elementos y reglas de la logica simbolica