Logic as a Tool: A Guide to Formal Logical Reasoning