A Logical Problem Solving Strategy