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