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