การแก้ปัญหาโดยใช้เหตุผลเชิงตรรกะ