On Memorization of Large Language Models in Logical Reasoning