01 · 看见关联
从这一组对照开始。
程序员熟悉条件判断,但自然语言常省略背景条件。把自然语言直接当成完整程序,会过度推断。
测试通过后可以部署,并没有承诺一定部署;还可能需要其他审批。
规律怎么用
先圈出否定、only 和情态词,再把句子改述成“什么情况下不允许”“满足后是可以还是必须”。
自然语言的条件通常不是完整真值表。特别是 can、may、plan to 等词,会让结果停留在允许、可能或计划层面。
分清必要条件、允许与承诺,别补出原句没说的逆命题。
记下自己的例词或发现(可选)
给以后查阅的自己留一句话;不提交、不评分,也不影响继续阅读。已有笔记仍包含在进度备份中。