Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus