เหตุผลเชิงตรรกะกับการแก้ปัญหา