หน่วยที่ 1 :: การแก้ปัญหาโดยใช้เหตุผลเชิงตรรกะ