反例、反驳与替代解释

小叶让 AI 帮忙整理一批学习资料。AI 提出一个省事的办法：先按文件名去重，名字一样的只选一份，名字不一样的就当作不同内容。这个办法看起来清楚，也容易执行。小叶没有马上接受，而是打开了几份文件。

他很快发现：有两份文件名字不同，正文却完全一样；另有两份文件名字一样，正文却不同。问题出在什么地方？这个发现能否说明整个整理任务都没有价值？应该把原办法全部推倒，还是只替换其中的判断依据？

在另一个任务中，小叶给讲义改写了文字，又加上一个例子，随后看到同学答题表现变好。AI 判断，变化说明文字改写有效。小叶却想知道：会不会是例子起了主要作用？提出这个可能性以后，他已经推翻了什么，又还没有证明什么？

反例、反驳和替代解释，在这里都是改进判断的工具。本章沿着这些问题讲清它们各自能完成的工作。所有人物经历、文件、人数及观察结果均为虚构教学设定；文件只在案例与核验脚本中表示，不对读者的实际资料执行整理或删除。

一、先弄清自己正在反驳哪一句话

一段 AI 回答可能包含事实、解释、建议和预期结果。它们出现在同一个段落里，却不是同一个判断。指出其中一个问题，不会自动说明其余部分也全错；反过来，其中几句正确，也不能替另一句承担证明责任。

比如，小叶收到这样一段回答：“这批资料共有四个文件。文件名能够帮助识别内容。按文件名选出不同资料，可以减少重复阅读，所以建议把同名文件只保留一份用于阅读。”

“共有四个文件”是在陈述数量。“文件名能够帮助识别内容”是一个比较宽泛的经验判断。“同名文件只选一份”则是具体的筛选规则。小叶打开文件发现同名而正文不同，最直接受到挑战的是筛选规则，以及支撑它的“同名就可作为相同内容处理”的假设。这个发现不否定文件有四个，也不否定文件名在寻找资料时有帮助。

要把反驳讲清，可以先把目标句写出来，再说明自己的材料碰到了它哪一部分。比如：“你建议把同名文件只选一份，但这两个同名文件包含不同正文；这样筛选会漏掉一份内容。”这句话比“你的方案不专业”更容易推动修改，因为它指出了规则、对应案例和实际后果。

有时一句话的目标还不够明确。“这套 AI 方法可靠”可能是在说多数日常任务可用，可能是在说某项规则对所有允许输入都成立，也可能只是在说一次演示完成了。面对不同主张，所需检查并不一样。小叶可以结合当前任务把它具体化：我们现在要确认的是，这个筛选规则会不会把不同正文误当成重复，或者它在已经检查的这批材料上表现如何。

这里的澄清服务于当前判断，不需要把所有普通词语都写成正式定义。假如双方已经明确讨论“这四份文本中哪些正文完全一样”，就可以直接进入检查。只有在一个词的不同理解会改变结论时，才有必要把范围补出来。

评价论证时，既要看陈述是否符合事实，也要看给出的理由能否支持结论；这两个层次可以分别出问题。OpenStax《哲学导论》：事实与推理的评价

因此，一次有内容的反驳通常会留下一个清楚的变化：原先哪句话被认为成立，现在为什么需要撤回、缩小或补证。讨论的价值可以从这个变化中看出来，而不必通过语气强弱判断。

二、反例为什么能以小见大

小叶的四份资料如下。斜线前的名称表示不同文件夹，所以两个文件可以有相同文件名而处在不同位置。为了专注讨论，本案例中的文件均为纯文本，每份正文就是表中所列的一句话。此处的“正文相同”按文字完全相同理解，不涉及格式、图片或语义近似。

先看第一条规则：“只要两个文件的文件名不同，它们的正文就不同。”它对所有符合“文件名不同”这个条件的文件对，作出了“正文不同”的承诺。

F01 与 F02 恰好满足前半句：一个叫“知识卡.txt”，另一个叫“知识卡-副本.txt”。但它们不满足后半句，两份正文完全一致。因此，这一对文件是原规则的反例。

反例的力量来自它正好碰到规则的承诺位置。不是随便找一个出错的文件，而是找到一个在承诺范围内、却没有出现所承诺结果的对象。对于“凡是符合条件的对象，都有某种性质”这样的主张，一个合格的反例就足以说明它不能按原样成立。

用简短的记号表示，若规则说“对范围内每个对象，P 都能推出 Q”，那么反例应当同时做到两件事：P 成立，Q 不成立。在当前问题中，对象是一对文件，P 是名字不同，Q 是正文不同。记号只是帮你抓住寻找方向，不替代打开文件、核对正文的实际工作。

同样，第二条规则“文件名相同，正文就相同”也有反例。F01 和 F03 都叫“知识卡.txt”，但一份讲向量，另一份讲矩阵。它们满足规则的条件，却违背规则给出的结果。

这两个反例揭示了不同方向的问题。第一个表明，只看不同名称会漏认相同正文；第二个表明，只看相同名称会误认不同正文。两者一起告诉小叶：文件名与正文之间没有原方案假定的那种充分对应关系。

这不需要做一个包含几万份文件的调查。原方案要把名字直接当作确定依据，表中的两个具体文件对已经表明这个依据不能保证所需判断。若小叶后来改问“在某个命名很规范的资料库里，这种办法大约多常出现错误”，那是另一个需要更多观察的问题。

小叶还可以检查这四份文件所有不重复的两两组合。四个对象共有六对：F01—F02、F01—F03、F01—F04、F02—F03、F02—F04、F03—F04。

后面四对表现正常，不会消除前两对造成的反驳。因为原规则没有说“大多数时候如此”，它说的是依据名字即可作出确定判断。一个承诺对所有对象成立的规则，不能用其他对象成功来抵消范围内的失败。

图中左右都分成三组，但成员组合不同。原规则的问题体现在具体对象如何分组，而不只是组数是否看起来合理。

三、一个反例究竟推翻到什么程度

找到反例以后，人很容易把反驳扩大。例如，小叶看到文件名规则失效，便说“任何依据文件名的整理都没有用”。这就把一个已经成立的反驳，变成了另一个尚未被支持的普遍判断。

文件名仍然可以用于搜索、初步归类、显示给读者，甚至可以作为发现可能重复内容的线索。受到反驳的是它作为当前任务中确定正文是否相同的充分依据。这个范围说清楚，原方案中仍有价值的部分就能保留下来。

不同强度的主张，也会受到不同程度的影响。比较以下几句话：“这十份材料全部合格。”“这十份材料至少八份合格。”“在未来同类任务中，单份材料合格的概率至少为九成。”它们虽然都在谈合格，却不是同一种承诺。

第一句话遇到一份确认不合格的材料，就被推翻。第二句话遇到两份不合格，仍然可能成立，因为其余八份还可能合格；发现三份不同的不合格材料，才足以说明这十份最多七份合格，从而推翻“至少八份”。

第三句话允许发生失败。一份失败并不与“成功概率九成”发生逻辑矛盾。若要评价这个概率主张，需要结合观察方式、材料范围和更多结果进行统计判断，不能把概率承诺改成“每一次都必须成功”。同时，允许失败也不等于概率主张永远不受检验；它仍要对整体观察表现负责。

再看“存在一种可以完成这个任务的 AI 辅助流程”。小叶试了一个流程失败，不能据此否定所有可能流程。相反，如果在明确的任务标准下完成了一次具体流程，便可以为这个范围内的存在主张提供实例。存在与全部，在寻找证据时方向不同。

日常语言还有“通常”“一般”“经常”等表达。它们允许例外，却可能没有给出精确比例。对这种主张，反例可以帮助发现适用范围或重要例外；若例外很多、集中在常见条件下，就会使原概括受到更强挑战。小叶应当结合对方实际承诺讨论，而不是擅自把“通常”改成“永远”。

反例也可以非常少见。只要它处在一个绝对保证的范围内，它就能够推翻保证；但判断一个方案是否值得采用，还要考虑它实际出现的条件、后果和解决成本。逻辑上不再是无例外规则，与实践上不值得使用，是两个需要分别说明的结论。

这一点对使用 AI 很有帮助。我们可以既看见某个万能说法不成立，也继续采用有用的工作方法；也可以不满足于“总会有例外”的解释，要求重要任务中的具体失败得到处理。反驳的力度随着主张和任务需要调整。

四、一个反例要怎样才算碰到了原主张

小叶提出：“对于这四份纯文本，完整正文相同的归成一组，每组选择一份用于阅读，就能够保留全部不同正文。”同学举出两份文字相同、图片不同的幻灯片，说仅比较文字会漏掉图片差异，所以这项规则错误。

这个提醒对将来扩展到其他资料类型有价值，但它没有直接反驳当前四份纯文本的规则。当前对象没有图片，目标也明确限定为保留不同正文。只有把规则推广到包含图片的材料以后，这个差异才进入需要判断的范围。

一个反例至少需要核对三件事：对象属于主张范围，主张的前提确实满足，预期结果确实不成立。若第三件事只是没有观察到，就还需要分清是结果失败，还是检查没有完成。例如，暂时打不开一个文件，并不能直接说明正文与另一份不同；它首先说明目前没有取得正文比较结果。

还要保持对象和版本一致。小叶若说“修改后的规则不会把 F03 漏掉”，同学却拿修改前的输出证明曾经漏过 F03，这条历史记录说明旧版的问题，尚未直接反驳新版。反过来，展示一个新版结果，也不能据此改写旧版曾经出错的事实。

反例有时来自实际观察，有时来自构造。若要推翻“当前资料库没有重复正文”这个事实判断，需要检查这个资料库中的具体资料。凭空设想另一份可能重复的文件，不能当作已经发现了本库重复。

若要检验“名字不同必然意味着正文不同”这个一般推断，就可以构造两个名字不同、正文相同的文本。这个情景清楚一致，而且保持前提为真、结论为假，已经足以显示该推断没有必然性。逻辑中的反模型不要求现实里恰好已经发生；它要求前提能够同时成立，而结论仍然不成立。香港大学：有效性与反例

“可能构造”和“实际发现”都能发挥作用，只是回答不同的问题。在软件或流程设计中，构造一个允许输入也很实用：它可以成为检查用例，让你看到规则将怎样处理它。运行后取得的输出，又成为这次运行的观察记录。

还有一种容易混淆的情况：检查结束，没有找到反例。如果只看了两份文件，这意味着这次检查尚未发现问题；如果范围就只有表中的四份文件，而且六对都已按同一标准完整比较，那么你可以对这四份之间的关系给出完整结论。检查范围是否已经穷尽，会改变“没找到”的含义。

构造反例时，尽量保留真正使问题发生的条件。文件名规则的核心，只需两份名字不同、正文相同的文件就能展示。无需附带复杂的目录历史、几十种格式和大量无关设置。简单而具体的反例，更容易看清缺陷，也更容易用于验证修改是否处理了问题。

五、反驳结论，与削弱它的支持，是两种进展

小叶看到一份整理结果，AI 说：“程序已经顺利结束，因此选出的正文没有重复。”这段推理至少包含一个观察：程序结束了；一个结论：没有重复；以及两者之间的支持关系。

小叶可以从不同位置提出异议。如果运行记录显示程序中途停止，受到挑战的是前提。如果程序确实结束，但它只按文件名筛选，没有检查正文，那么受到挑战的是从运行结束到内容无重复的支持关系。如果直接发现选出的 F01 和 F02 正文相同，就得到了与“没有重复”相反的具体证据。

前两种异议即使成立，也不必自动证明最终结果一定重复。一个没有检查正文的程序，也可能碰巧处理了一批原本没有重复的资料。只是“程序结束”这条理由本身，承担不了所声称的保证。第三种异议则已经直接说明当前结果确有重复。

为了让区别更鲜明，假设小叶还没有打开结果，只知道程序按文件名处理。他现在适合说：“仅凭运行完成，不能确认没有重复，需要检查实际正文。”如果后来打开 F01、F02，才可以进一步说：“这次结果中确实保留了一组重复正文。”两句话标记了两种不同的证据状态。

有关可撤销推理的讨论也区分了这类情况：一种新理由支持否定原结论，另一种新理由使原有支持关系受到怀疑。斯坦福哲学百科：对结论与支持关系的不同挑战

这一点在阅读 AI 生成内容时很常见。小叶让 AI 给一段知识介绍附上来源，发现其中一个链接与段落主张无关。这个发现能说明该链接不能支持那句话，却不能单凭链接无关就断定那句话必然错误。接下来可以查找真正相关的资料，或者暂时把主张标为未核实。

反过来，即使来源对应，也要看它支持到哪一层。资料可能只提供一个现象，AI 却把它写成普遍规律；也可能资料证明一种流程能够运行，回答却把它扩展成这种流程最省时间。异议应当落在多出来的那一步推断上，而不只是笼统地说“引用不够”。

这还能帮助我们处理一段有多条理由的论证。假设选出的资料是否重复，既有文件名线索，也有完整正文比较记录。发现文件名不可靠，不能忽略另一条独立的内容比较。如果后者已足以确认本批分组，那么结论仍可得到支持。反驳一条理由之后，要看是否还有其他有效理由。

因此，“我指出了对方论证的一个问题”和“我已经证明相反结论”之间，并没有自动连接。承认这个距离，不会削弱批评的价值。发现原有依据不足，已经能够阻止过度承诺、引导补查，并使后续行动更有根据。

六、替代解释怎样挑战一个看似顺畅的因果故事

现在离开文件整理，看看小叶改进讲义的案例。第一版讲义由小叶自己写，十位同学阅读后回答一道理解题，六位答对。小叶随后请 AI 改写文字，并另外加入一个完整的讲解例子，制作第二版。另十位同学阅读第二版后回答同一道理解题，九位答对。

案例明确给出这些记录，但没有说明两批同学如何选取，也没有确认他们原有知识相同。两版材料除文字改写外，还存在新增例子这一变化。我们先保留这种不完善的观察方式，因为日常任务中经常就是这样一边尝试、一边得到结果。

小叶看到六人与九人的差别，很自然地受到鼓舞。这个尝试给出了有价值的反馈：第二次有更多同学答对了理解题。他愿意继续使用第二版，也有现实理由。问题出现在把观察进一步写成“已经证明，AI 改写文字使理解效果提升”时。

这条因果判断要把改善归到改写文字上。但例子也改变了，而且两批同学不同。新增例子可能帮助同学把抽象概念连接到具体情景；第二批同学可能原先就更熟悉这个概念。这些都提供了其他能够产生差别的途径。

提出替代解释的目标，并不是否认九位答对这个观察，而是检验：已取得的观察是否足以让我们认定其中一个原因。如果几个不同过程都能产生现有记录，仅凭这组记录就把功劳全部归到一个过程上，便超过了它所能支持的范围。

我们可以构造三套很简化的解释模型，把这个问题看得更清楚。暂时固定其他条件，把是否改写文字记为 A，是否加入例子记为 B。没有实施时取零，实施时取一。下面的数值只表示假想模型里每十人答对的人数，是为检查推断而构造的数值，不是额外做过的实验。

模型甲假设，提升只来自文字改写。模型乙假设，提升只来自例子。模型丙假设，两个改变配合起来才产生提升，单独做任何一个都没有这项提升。三种设定分别可以写为：

这里的 y 是模型中每十人答对的人数。三是设定的新增答对人数，既不是百分之三，也不是已估计出来的真实效果。A、B 只取零或一，所以这三套模型在四种组合中都给出六人或九人。

原来的观察只涉及第一行和最后一行：两项都没有时六人答对，两项都有时九人答对。三个不同模型都符合这两行数值，却对“只改写文字会怎样”作出不同回答。这就展示了原推断缺少的一步：现有记录没有把改写的作用从其他变化中分开。

图中标明的两行与原观察数值一致；其余行是各模型的假设，用来展示它们如何作出不同预期。整张图不表示已经测得了四种安排的效果。

注意，这个构造也没有证明模型乙正确。把“不能排除是例子起作用”改写为“已经确定只有例子有效”，又会犯同样的问题。模型丙还提醒我们，两种方法可能互相配合，不必被强迫分成只有一项有用、另一项完全无用。

严格说，连这三套简化模型都省略了两批同学的背景差异、观察波动等因素。因此，它们在这里的任务是展示不同过程能够与已有数值相容，不能被当作关于这次课堂的完整解释。已经发现一个具体的未分离变化，就足以说明需要进一步判断。

如果小叶确实想比较文字改写与例子的作用，可以设计包含四种安排的小规模试讲，让不同安排的主题、题目、阅读条件和评分方式尽可能可比，并用随机分配等方式减少参加者原有差异的系统影响。随机分配并不保证小样本中每项背景完全相同，结果仍然需要结合人数和波动理解。

实验设计的一个基本关切，就是避免把同时存在的其他变化误认成目标因素的作用。OpenStax《统计学导论》：实验设计与其他影响因素

本章不要求小叶立刻做完整实验。他也可以把当前结论改为：“同时调整文字和例子后，第二次试讲有九位同学答对，第一次有六位；这为继续使用和观察第二版提供了理由，但还不能单独确认文字改写的作用。”这样既保留已经取得的成果，也避免给它添加尚未取得的因果确定性。

七、不是每一种想象出来的可能性，都值得同等对待

有人学习替代解释以后，会习惯性地给所有结论添加“也可能完全相反”。这在逻辑上往往容易做到，却未必帮助当前任务。我们需要进一步区分：一个可能性是否与现有条件相容，是否指出具体过程，是否已经获得某种支持，以及它是否会影响下一步选择。

在讲义案例中，“新增例子可能起作用”值得认真考虑，因为新增例子是已经确认的变化，而且它与理解题所考察的概念有关。这条解释有现实的着力点。至于“也许所有记录都是一次未被发现的神秘故障编造的”，若没有任何相关迹象，就很难由它确定下一步检查什么。

并不是只有已经证明的原因才允许列为替代解释。那样就无法探索。只是提出来以后，应当把它与具体材料连接。例如，“第二批同学基础可能更好”可以引出查看他们是否学过相关内容；“评分变宽松了”可以引出核对是否使用同一答案标准。越能说明需要看什么，解释越容易进入工作过程。

有些替代解释会被新证据削弱。假如理解题由预先固定的答案规则评分，而且核对发现两次都一致执行，“评分标准变宽松”就失去了原先的理由。此时不应只因为它在抽象意义上仍可想象，就一直把它当作同等有力的竞争者。

也有些不确定性并不影响眼前决定。小叶目前只是想挑一版讲义用于下一次小范围交流，第二版已经补充了一个贴切例子，自己检查也觉得表达更清楚，那么他可以继续采用并观察。若准备向所有同学承诺“只要使用这种 AI 改写，就一定提高成绩”，未确定的因果关系就十分关键。需要的证据强度与所作承诺相连。

这也帮助我们理解反驳的责任边界。指出原论证尚未排除一个有根据的替代解释，不要求反驳者先完成一套新的完整理论。但如果反驳者进一步声称“真正原因就是我说的这一个”，便需要为自己的因果判断提供支持。提出疑点和建立新结论，各有各的工作。

在多人讨论中，可以把两种贡献都留下。有人发现一个被忽略的变化，帮助大家停止过度归因；有人提出一个可区分的比较安排，帮助下一步取得资料；有人根据新结果缩小主张范围，帮助当前方案继续使用。讨论不必只由“谁证明自己完全正确”来衡量。

八、收到反驳以后，怎样把规则修到真正有用

回到文件案例。小叶已经知道两条文件名规则都不能保证正确，但他的任务仍然存在：给同学提供不重复阅读的内容，同时保留各份不同正文。有效的下一步，是把反例暴露的问题转成新的判断依据。

在这个有限任务中，可以直接比较正文，把完全相同的正文归为一组，再从每组选择一份作为阅读入口。根据表中完整内容，得到三组：F01 与 F02 一组，F03 单独一组，F04 单独一组。按照编号较小者优先的选择约定，阅读入口为 F01、F03、F04。

原先按文件名归组，也得到三组：F01 与 F03 一组，F02 单独一组，F04 单独一组。如果同样每组选编号较小者，留下的是 F01、F02、F04。它们虽然也是三份文件，却只包含两种不同正文：向量那句话重复出现，矩阵那句话没有被选入。

这个比较把修正的目的讲得很具体：不能只要求“选出三份”，还要让被选出的正文覆盖当前三种不同内容，并且每种只提供一个阅读入口。组数相同不代表完成了同样的任务。

小叶随后用原先的两个反例重新检查。F01 与 F02 现在归在一起，正文重复得到处理；F01 与 F03 现在分开，不同正文得到保留。检查通过说明修改针对了已经发现的问题。再核对另外四对和最终三组，便能确认这四份资料的处理结果。

规则修订有时也可以通过缩小范围完成，但新条件需要有实际内容。例如，某个资料系统确实通过生成规则保证同名文件正文相同，那么在这个已经确认的系统里，从每组同名文件中只选一份用于阅读，就不会因此漏掉不同正文。这个保证还没有说明异名文件是否也会重复，那一部分仍需检查。这里缩小范围的依据是系统的具体保证，而不是“反例出现了，所以临时宣布它不算”。

合理的范围说明应当能够在处理之前判断对象是否符合。比如限定纯文本、限定特定版本、限定只比较完整正文，都提供了可检查的条件。而“这套方法适用于所有不会使它失败的材料”，虽然很难被反例碰到，却没有告诉使用者如何选择材料，失去了原先想提供的帮助。

另一些修订要改变承诺的强度。小叶可以把“文件名确定重复”改成“同名文件优先进入内容比较”，让名称承担线索的角色。这保留了名称可能帮助缩小搜索范围的价值。不过，如果只检查同名文件，仍会漏掉 F01 与 F02；若目标是找出本批所有重复正文，后面还需要覆盖异名情况。

这样，反例不是讨论的终点。它可以变成测试材料、规则边界和工作记录：旧规则怎样处理这对文件，为什么不符合目标，新规则怎样处理，结果是否有所改变。以后再扩展到带格式或图片的资料时，小叶也知道需要重新检查哪些原有假设。

九、让 AI 参与反驳，而不把讨论变成表演

小叶希望 AI 帮自己检查方案，可以直接让它寻找反例。但任务最好给出具体主张与条件。只说“批判一下”“站在反方猛烈反驳”，可能得到很多情绪很强、却不知道针对哪一步的文字。

例如，他可以提交四份文件的表格，并提出：

我准备仅按文件名判断正文是否重复。请分别检查“同名就同内容”和“异名就异内容”这两条规则。若有反例，指出哪两个文件满足前提却违背结论，说明它会怎样影响阅读入口的选择，再给出能处理这个问题的修改。

这个要求使 AI 需要把异议落到表中对象上。它不能只说“可能有风险”，而要指出哪一条关系不成立。若表中没有足够材料支持一个反例，也应当说明是暂未发现，还是需要构造新的允许情景。

检查长篇方案时，可以沿着几个重要承诺逐个处理：当前事实是否准确，从事实到建议的理由是否成立，建议能否达到明确目标，观察到的效果是否还符合其他解释。并不需要让每一句话都经历同等强度的审查；优先处理会改变后续安排的关键判断。

对于讲义改进案例，小叶可以提出另一种请求：

两次各有十位不同同学参加，答对人数从六人变成九人；第二版同时改写文字并加入例子。请区分已经观察到的变化与对原因的判断，提出与当前资料有关的替代解释。说明这些解释能削弱哪个结论、还不能证明什么，以及如果要继续比较，最值得增加什么观察。

拿到回答之后，小叶也需要评价 AI 的反驳。它是否偷偷改变了主张，比如把“先小范围试用”改成“保证任何人都有效”？它提出的对象是否属于本次范围？它是否用尚未发生的假设情景冒充实际记录？它指出一条理由不足后，是否忽略了已有的其他独立依据？

这一步很重要，因为反驳本身也是一种论证，同样需要理由。AI 写出很多异议，并不意味着方案真的有那么多缺陷；它也可能准确找出一个关键问题，就已经足以推动修改。我们可以要求它把最重要的异议说完整，而不要求为了凑数量而不断增加相似意见。

讨论结束时，可以留下简短的修改记录。例如：“按文件名直接去重的两条保证均被本批反例推翻；改为正文比较后，本批三类正文各提供一个入口。文件名仍用于显示和查找。”“第二版试讲结果更好，但文字与例子的作用未分开；继续采用第二版观察，不单独宣称文字改写已获因果证明。”

这些记录把批评连接到工作结果。随着新材料到来，可以继续检查和修订。你不必先获得一套永远不会遇到反驳的完美方法，才能开始用 AI 做事；能够准确吸收反驳并改好下一版，本身就是重要的使用能力。

十、练习与参考分析

练习一：找出反例，也说清它没有推翻什么

小叶提出：“在本批四份资料中，只要文件名不同，正文就不同。”请从主案例中给出反例。随后，他把受到反驳后的结论写成：“文件名完全没有任何作用。”这一步合理吗？

**参考分析：**F01 与 F02 的文件名不同，正文却都是“向量可以表示多个特征。”这对文件满足规则的前提，违背规则的结论，因此直接反驳本批资料上的普遍保证。F01 与 F03 则用于反驳另一个方向：名字相同不保证正文相同。

“文件名完全没有任何作用”没有由上述反例得到支持。名称仍可帮助查找、展示和初步理解资料。应当撤回的是以名称直接确定正文是否重复的保证。小叶可以继续使用文件名作为线索，同时为内容判定提供正文比较。这种修改保留了有用功能，也处理了已经发现的缺陷。

练习二：十份材料至少八份合格，怎样才能推翻

小叶声称，一批恰好十份的材料中至少八份符合已经确定的验收标准。检查已发现两份不同材料不合格，另外八份尚未检查。同学说：“有两份失败，至少八份合格的说法已经不成立。”

这个反驳是否成立？再发现第三份不同材料不合格以后，可以得出什么？若原主张改成“单份成功概率至少九成”，同样的判断方式还能原样使用吗？

**参考分析：**两份失败后，剩下八份仍可能全部合格，所以“至少八份”尚未被推翻。此时能够确认的是最多八份合格，而不能确认恰有八份。未检查的材料不能自动记成合格，也不能自动记成失败。

发现第三份不同材料不合格以后，这批最多七份合格，与“至少八份”冲突，原主张被推翻。这里强调是第三份不同材料，因为重复发现同一份的问题，不增加不合格材料的数量。

成功概率主张讨论的是产生结果的概率，允许个别失败。即使这十份中出现三次失败，也不能像有限批次的数量上限那样，仅凭逻辑就断定概率必低于九成。可以用这些结果评价该概率是否得到数据支持，但需要统计方法和适用条件。这一差别不免除概率主张接受检验，只是改变检验方式。

练习三：理由失效以后，结论必须变成相反的吗

在另一批尚未检查正文的资料中，AI 说：“程序没有报错，所以本批选出的资料没有重复正文。”小叶尚未打开输出，只查到程序实际上按文件名选择资料。同学据此断言：“程序没有比较正文，所以输出必然重复。”

请分别评价原推断与同学的反驳，并说明取得哪一项资料可以进一步推进判断。

**参考分析：**程序没有报错，只能在对应运行记录的意义上说明没有报告错误；若流程没有检查正文重复，就不能由正常结束保证重复不存在。小叶已经找到原支持关系的问题。

但同学的“必然重复”也没有得到证明。输入资料可能原本就没有重复，名称筛选可能碰巧得到无重复结果。应当先说，现有运行信息不足以确认内容无重复。接下来可以打开被选出的资料并比较完整正文，或者取得可核对的内容比较记录。

作为对照，主案例已经给出了完整正文和具体选择约定，所以可以确认按文件名选出的 F01、F02、F04 中确有重复正文。这个结论依靠的是主案例的已知内容，不能拿来判断本题另一批尚未查看的资料；本题仍需取得那一批输出的正文比较结果。

练习四：相同观察为什么不能在三个模型中作出选择

讲义案例只观察到 A、B 都为零时六人答对，都为一时九人答对。请计算三个模型在“只改写文字”时的答对人数。由这些结果，能否认定新增例子一定比改写更有效？如果后来只改写的一次试讲也恰好九人答对，又应怎样理解？

**参考分析：**只改写时 A 为一、B 为零。模型甲给出九人，模型乙给出六人，模型丙也给出六人。原先两行观察能够同时符合三种模型，却不能确定这个尚未观察的安排会出现什么，因此没有单独识别改写的作用。

这种差别并不证明例子更有效。模型乙只是一个能够与原观察相容的替代设定，不是已经取得事实地位的原因说明。如果把三套模型当成没有随机波动、其他条件严格相同的确定性教学模型，那么新增的九人数值符合模型甲，违背乙、丙在这一行的预期。

实际试讲则还存在参加者差异与观察波动，不能把单次人数与某个简化表格吻合，当作完整的因果确认。需要结合试讲怎样安排、材料与标准是否可比、结果是否稳定等资料理解。教学模型帮助看清哪些条件原来没有区分，现实判断还要把这些条件落实。

练习五：反例在范围之外，还有没有价值

小叶只打算从主案例的四份纯文本中选出全部不同正文，每组选择一个阅读入口。同学拿来两份文字相同、图片不同的幻灯片，主张这已经推翻小叶当前的规则。

请评价这条异议。小叶又说：“以后只要是我的规则处理失败的材料，就不算适用对象。”这种回应有什么问题？

**参考分析：**幻灯片例子没有直接推翻当前四份纯文本的处理规则，因为材料类型和保留目标不同。但它指出了扩展使用时的重要问题：如果需要保留图片差异，仅比较正文就不够。小叶可以记录这一点，在未来扩大任务范围时改变比较依据。

“凡是失败都不算适用对象”没有给出事先识别范围的条件。它使规则表面上总能维持正确，却不能帮助读者判断该不该使用。合理的修订可以明确资料类型、比较对象和所需成果，并检查这些条件是否真的解决了问题。承认旧承诺过宽，比用结果倒过来定义范围更有实用价值。

练习六：把反驳写成一条可以接着工作的修改记录

小叶对主案例按文件名分组，每组选编号最小的一份，得到三个阅读入口。他说：“本批确实有三种正文，我也选出三份，所以整理已经正确。”请指出这句话缺少什么，并写出修改后应选的入口及核查方式。

**参考分析：**三个入口的数量与三种正文的数量相同，不保证内容对应正确。名称分组为 F01/F03、F02、F04，按规则选择 F01、F02、F04。其中 F01、F02 含相同正文，所以只覆盖两种正文，并漏掉 F03 的矩阵内容。

改按完整正文归组，得到 F01/F02、F03、F04，再选编号较小者，入口应为 F01、F03、F04。应检查每组正文是否相同、不同组正文是否不同，以及每种正文都能从入口找到。对于当前四份资料，核对六个文件对和三个最终入口即可完成这一范围的检查。

一条合适的记录可以写为：“原筛选用入口数量代替内容覆盖检查，遗漏矩阵正文并重复向量正文。现改为按完整正文归组，入口为 F01、F03、F04；已核对本批六对文件及最终覆盖。文件名继续用于显示，后续新增资料再按相同内容标准处理。”

这样的记录同时包含原问题、修改、证据和适用范围。反驳因而成为可以保留并复用的工作成果，下一次协作也有了清楚的接续位置。