เรื่องที่ 5.1 การแก้ปัญหาด้วยเหตุผลเชิงตรรกะ