5.3 案例2：使用ChatGPT对Todo List项目进行逻辑建模