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