Logic As A Tool : A Guide to Formal Logical Reasoning