Problem Solving and Deductive Reasoning