Understanding Logical Reasoning Techniques