演绎推理与有效性

本章主题：理解演绎推理怎样保留前提中的真实性，分清结论碰巧正确与推理能够保证结论，并把这种区分用于检查AI提供的理由、分析与方案。

本章另设小叶整理图像资料的案例。图像编号、分组、尺寸和标记均为原创教学设定；后文的AI回答也是用于分析的示例，没有声称实际测试某个模型。

一、答案对了，为什么还要看理由

小叶请AI帮助挑选一批课堂展示用的图像。先看一项简单要求：原图长边不少于800像素。长边就是图像宽、高之中较大的那个数，本章所有尺寸都按这个口径记录。

AI对其中一张图给出这样的说明：“长边不少于1600像素的图，一定也不少于800像素。这张图不少于800像素，所以它不少于1600像素。”

小叶打开记录，发现这张图的长边确实是1800像素。最后一句是真的，但前面的两条理由并没有保证这个结论。长边为1200像素的图同样不少于800，却达不到1600。只凭“不少于800”这一信息，无法区分1200与1800。

这就是演绎有效性要解决的问题：我们不只关心一句结论是否碰巧符合事实，还关心所给前提能否支持它达到声称的确定程度。

若不作这种区分，小叶可能保留一套这次碰巧给出正确结果的推理，之后把同样的方式用于另一张图，立刻得到错误结论。也可能把一段步骤正确、但输入数据录错的分析全部推倒重写，反而没有修正真正的问题。

上一章讨论条件之间的方向。本章把条件与事实放在一起，研究从若干前提出发，怎样一步步推出结论，以及怎样判断这条路是否成立。

二、演绎有效性：前提全真时，结论不能假

1. 先建立一份共同使用的资料表

下面是小叶手头四张原图的记录。A组与B组是整理时使用的组别，每张图只归入其中一组。蓝色标记是另一个单独字段，不是组别的定义，也不自动表示尺寸。后续引用表内事实时，都指这一批、这一版本的原图。

由表可知，这一批A组图像的长边都不少于1600像素；有蓝色标记的图像却不全都如此，因为J02只有1200像素。组别、标记和尺寸是不同信息，不能因为它们出现在同一行，就自动认为彼此等价。

现在比较两段推理。

第一段：凡长边不少于1600像素的图，长边都不少于800像素；J01长边不少于1600像素；因此J01长边不少于800像素。

第二段：凡长边不少于1600像素的图，长边都不少于800像素；J01长边不少于800像素；因此J01长边不少于1600像素。

两段最后都谈J01，结论也都符合表中事实，但第一段的前提足以保证它的结论，第二段的前提没有这种保证。

2. 判断的核心是“能不能同时出现”

在本章采用的经典逻辑框架里，一段论证有效，指不存在逻辑上可能的情况，使全部前提同时为真而结论为假。有效性关注这种支持关系，不直接保证前提本身符合现实。香港大学思方网：演绎有效性

拿第一段推理来说，如果J01确实不少于1600，那么它不可能同时少于800。前提成立而结论失败的情况被排除了。

拿第二段来说，如果只给我们这段列出的两条前提，长边1200仍然是一种允许的情况：它满足不少于800，而不满足不少于1600。因此，这两条前提没有把结论相反的情况排除。

这里暂时只评价列出的理由，不偷偷把表中“J01实际为1800”补成额外前提。若补入这个事实，当然能够直接支持J01不少于1600，但那已经给原论证增加了证据，不能说原来两条理由因此就足够。

3. 逻辑上可能，不等于现实中已经发生

为了说明推理无效，不一定要找出一张真实图像。只要构造出与所给前提相容、却使结论失败的情况，就能证明前提没有必然保证结论。这里称这样的情况为反模型，也可以先把它理解成“让这段推理失效的可能情景”。

构造反模型时不能任意改动题目条件。比如，针对第一段推理拿一张长边600的图作反例没有作用，因为它根本不满足“这张图不少于1600”这个前提。有效性要排除的，是前提全部成立而结论仍失败；前提本来就不成立的例子，并未完成这个检查。

对第二段，1200则不同：它保留了实际被使用的尺寸前提，却让结论失败。本章的J02恰好就是这种尺寸，也能帮助理解为什么这个推理形式不能普遍使用。

4. 演绎不必只是“从一般到特殊”

一般规则加具体对象，是常见的演绎方式，例如从A组的共同性质推到J01。但演绎也能把几个条件接起来，推出新的条件；或者分情况讨论，证明无论哪种情况成立，某个结论都成立。

“从一般到特殊”可以作为一个初步印象，却不足以覆盖全部演绎。更有用的核心，是所给前提是否能够保证结论。它也能帮助区分演绎保证与下一章将讨论的归纳支持：某项经验有很强参考价值，仍未必排除所有相反情况。

三、真实、有效与健全：三个评价不要混在一起

1. 真实是在问事实，有效是在问推理

“J02的长边为1200像素”是一项关于记录的陈述，我们可以检查它真不真。“从这些前提能不能推出那个结论”则是一项关于支持关系的判断。这两项工作可以互相配合，但不宜混作一项。

例如，小叶检查AI生成的说明，可以先核对里面的尺寸数字，再看推理是否超出数字所能支持的范围；也可以先看出推理跳步，再回头检查它依赖的材料。没有必要固定只能先做哪一项，但两方面都值得关注。OpenStax《哲学导论》：事实与逻辑的不同检查

2. 有效的推理，也可能从错误前提出发

假设AI写道：“这一批所有有蓝色标记的图像，长边都不少于1600像素。J02有蓝色标记。因此，J02长边不少于1600像素。”

如果两条前提都是真的，结论就不能是假。推理结构是有效的。但第一条前提不符合资料表：J02就是有蓝标而只有1200像素的对象。这里的失败发生在起点，不是发生在“将共同性质应用到具体对象”这个步骤。

把J02换成J01，使用同一条错误的普遍前提，再结合J01有蓝标，可以得到“J01不少于1600”。这次结论又是真的，因为J01实际为1800。但结论是真的，没有把那条错误前提变真，也没有证明这套解释可放心迁移到其他记录。

有效性只承诺：前提若全真，结论不会假。它没有承诺：前提中有假的，结论就一定假。错误前提有时把人带到错误结论，有时也会偶然得到真实结论。

3. 有效并且前提全真，才称为健全论证

“健全”在这里对应sound：一段论证不仅有效，而且它的前提都真实。由这两点可以保证结论真实。不同中文教材也可能使用“可靠”等译法，本章用“健全”以避免与某个系统表现稳定的日常说法混淆。香港大学思方网：健全性

用主案例整理几种可能：

唯一被有效性排除的组合，是推理有效、前提全部为真、结论却为假。如果我们以为这三者同时发生了，就需要检查是不是漏了前提、词义变了、事实判断出错，或者推理实际上并不有效。

4. 判断无效，也不能直接断言结论错误

小叶发现J01的那段逆向推理无效，可以这样反馈：“这两条理由不足以保证J01不少于1600。J01确实达到这个标准，依据应是记录中的1800像素。”这样既指出了原推理的缺口，也把小叶已经核对过的事实用作支持结论的依据。

如果说“你的推理无效，所以J01一定少于1600”，则又作了没有依据的跳跃。真实记录已经表明J01是1800。指出一种证明失败，与证明相反结论，仍是两件不同的工作。

图中J02落在800与1600之间，是理解错误逆推的直接例子。J01与J04同时达到两个尺寸条件，并不使“达到800就达到1600”的推法成立。

四、几种可以信赖的基本推理步骤

1. 给出条件，再确认条件成立

最常见的一种形式是：如果P，那么Q；P成立；所以Q成立。常见名称为肯定前件式，也称modus ponens。这里的P与Q是命题缩写，名字本身没有额外含义。香港大学思方网：常见有效形式

例如：“如果J01属于本批A组，那么它不少于1600像素；J01属于本批A组；所以它不少于1600像素。”第二条前提使第一条条件的左边得到满足，结论就能接上。

条件命题本身并没有断言左边已经发生。只有“如果J01属于A组，那么……”而没有J01的组别事实，还不能直接得到尺寸结论。AI分析中一句“若采用方案甲，便满足要求”，也不能自动变成“已经满足要求”，中间还缺少采用方案甲等相应事实。

2. 结果不成立，排除原来的条件

另一种形式是：如果P，那么Q；Q不成立；所以P不成立，常称否定后件式或modus tollens。上一章的逆否关系，现在与一项具体事实结合，形成了完整推理。

凡不少于1600的图，都不少于800；J03只有600，达不到800；所以J03不可能达到1600。若坚持它达到1600，就会同时要求它达到800，与已知尺寸冲突。

这个步骤在排查中很有用，但需要正确理解“不成立”。“还没查到尺寸”不是“尺寸不足800”；“没有看到导出结果”也不自动等于“导出没有发生”。推理形式有效，不能代替对第二条事实的确认。

3. 把几段有效步骤接起来

对本批图像，A组都不少于1600；不少于1600又保证不少于800。所以可以推出：本批A组图像都不少于800。

一般形式是 $P\to Q$、$Q\to R$，推出 $P\to R$。如果再给出P成立，就能继续推出R成立。这是一条条件链，而不是看到P、Q、R三个词就自动把它们连起来。

中间项需要保持同一含义。若第一步得到的是“原图不少于1600”，第二步谈的是“裁剪后的图不少于1600”，它们没有自然接上。后面会具体分析这种看起来逐步推进、实际换了对象的问题。

4. 从共同成立中取出一项，或将已知两项合在一起

已经知道“J01属于A组并且有蓝色标记”，可以分别得到J01属于A组、J01有蓝标。若这两项分别已经确认，也可以合成同一句陈述。

关键在于两项指向同一张图。如果只知道“有一张图属于A组”和“有一张图带蓝标”，还不能把它们合成“有一张图既属于A组又带蓝标”。两次“有一张”可能说的是不同对象。

这类基础步骤显得简单，但在AI合并多份资料、压缩几段描述时，正是容易不知不觉改变的地方。能检查对象是否一致，会比只看句子有没有连接词更有帮助。

五、两种长得很像正确推理的错误形式

1. 看到后件成立，就倒推前件成立

“如果P，那么Q；Q；所以P”通常称为肯定后件。它与肯定前件只交换了第二条前提和结论的位置，支持关系却已经不同。

本章开头的错误就是如此：不少于1600保证不少于800，但达到800还可能有其他尺寸。结论所要求的范围更窄，前提留下了1200这样的其他可能。

要改正这种推理，有时需要补事实，有时需要缩小结论。若想确定J01是否达到1600，可以读取它的尺寸记录；如果暂时只有达到800的证据，就只报告已确认的这个范围。两种处理都比继续增加“显然”“由此可见”等连接词更有效。

在诊断中也会出现类似问题：一种错误原因会导致某个现象，观察到该现象后便认定原因只能是它。除非额外证明其他原因都不可能，否则所给理由还没有完成唯一原因的判定。

这里不否认从结果寻找原因的价值。它可以提出一个值得调查的解释，只是还不能获得演绎上的必然保证。解释怎样比较，将在后续章节展开。

2. 看到前件不成立，就断言后件不成立

“如果P，那么Q；并非P；所以并非Q”叫否定前件。它同样不是普遍有效的推理形式。香港大学思方网：有效形式与相似的错误形式

例如：“不少于1600的图一定不少于800；J02达不到1600；所以J02也达不到800。”最后一句与1200的实际尺寸不符。

原因仍然是原条件只有一个方向。达到1600是一条足够满足800门槛的路径，却不是所有达到800的图都必须满足的条件。

这种误用容易把替代方法排除掉。知道某个程序可以完成整理，不能因为没有使用这个程序，就说整理一定没有完成。小叶可能使用了另一段程序，也可能手工完成。要得到确定的否定结论，还需要真正排除这些可能。

3. 识别出形式以后，还要忠实于原话

不能只看几句语言表面相似，就急着贴上“肯定后件”的标签。若原话给的是“P当且仅当Q”，它本来就包含Q到P的方向，再由Q推出P是可以的。

同样，有些简短表达依赖双方已经知道的额外条件。检查时可以把这些条件明确写出，再分别判断它们是否确实被接受、是否真实；不能无条件补入任何能让结论成立的话。

因此，形式识别是一项帮助理解的工具。它既不允许把一句薄弱论证美化成完整证明，也不应把原本有充分背景支持的推理故意拆残，再宣布无效。

六、用一张真值表，看清前提排除了哪些情况

1. 先把内容暂时缩写成P和Q

真值表就是把几个命题可能的真假组合列出来，再检查复合命题在每一行的结果。对两个一般命题P、Q，一共有四种组合；这里使用“真”和“假”，不赋予概率。

条件命题 $P\to Q$ 只有在P真、Q假时为假。P不成立的两行没有违反这个条件句，但这不表示Q已经被证明。要评估完整推理，还需把其余前提一并考虑。

下面比较肯定前件与肯定后件。前者的两条前提是 $P\to Q$ 与P，结论为Q；后者的两条前提是 $P\to Q$ 与Q，结论为P。

看肯定前件这一列，只有第一行的前提全真，而第一行的结论Q也为真。不存在需要保留的行使结论失败，所以这个形式有效。

看肯定后件这一列，第一行与第三行都需要保留。第一行结论P为真，第三行P却为假。第三行就是一个前提全真、结论为假的反模型，因此这个形式无效。这种逐行检查是命题逻辑中验证简单推理形式的一种方法。《离散数学开放导论》：用真值表检验推理

2. 不要检查错了行

第二行P真Q假很醒目，但它不能用来反驳肯定前件，因为条件前提P到Q在这一行已经为假。拿它证明“前提真也可能推出假结论”，等于把两条前提中的一条忘掉了。

第三行对肯定后件则有决定性意义：条件句是真的，Q也是真的，而P是假的。反例的力量来自它同时保留了所有前提，并非只是让结论看起来不顺眼。

这会形成一种有用的阅读习惯：AI给出一段解释时，先找它承认了哪些前提，再问在这些前提都不变的情况下，结论是否仍可能不成立。不能在反驳中任意改掉原前提，也不能在辩护中偷偷添加新前提。

3. 枚举形式与核实事实，仍各有作用

四行表验证的是两个一般命题构成的形式，没有检查J01的真实尺寸，也没有测量某个AI的推理能力。它不因为列出了四种组合，就说明每种情况在现实中有四分之一的机会。

命题较少时，完整列举能让我们检查得很清楚；命题增加以后，组合数会增长，可以使用已经证明的推理规则或其他形式工具。对实际文字，还需要先保证符号忠实表达了原内容。

一个有效论证也未必恰好落在我们刚学过的几个模板里。找不到熟悉的名称，只说明当前还没有识别出证明方式，不能因此断言论证无效。有效性定义提供了判断目标，模板与真值表只是实现判断的工具。

七、“所有”“有些”和对象身份，怎样影响推理

1. 从所有对象的性质，应用到确定成员

“本批A组图像都不少于1600”包含一个范围：本批、A组。再确认J04是其中成员，就可以推出J04的尺寸下界。若对象换成下一批的A组图像，原来的普遍前提未必覆盖它。

“所有”不是语气上的加强词，而是明确每一个范围内对象都满足条件。发现本批某个A组成员不足1600，会推翻这个普遍前提；但发现B组成员不足1600，不会产生同样作用。

同样，单凭“所有A组图像都不少于1600”，并没有声称A组一定有图。如果还要得出“至少存在一张不少于1600的图”，需要知道A组确实有成员。本章J01的成员事实提供了这项信息。

2. 两个“有些”，可能各说各的对象

假设只给出两条理由：“有些图像属于A组；有些图像有蓝色标记。”有人据此得出“有些A组图像有蓝色标记”。怎样检查？

另设一批只有两张图的反模型：K01属于A组，没有蓝标；K02不属于A组，有蓝标。两条前提都成立，因为分别能找到相应对象；结论却不成立，因为没有任何一张同时满足两项。

这已经说明这种合并形式不可靠。即使主表中的J01实际同时满足两项，也不能由另外那两条较弱的存在陈述独自保证重合。

若改成“J01属于A组；J01有蓝标；所以至少有一张A组图像有蓝标”，就成立了。同一个明确对象承担了两条事实，而不再让两次“有些”各自寻找不同对象。

在整理AI生成的资料综述时，也要留意这种合并。某些工具支持一种功能，某些工具支持另一种功能，不自动表示存在一个工具同时支持两种功能。要报告组合能力，需要确认同一个对象确实同时具备。

3. 每个对象都有一个选择，不表示大家共享一个选择

再看一个独立教学情景。小叶有两个文件，工具甲只能打开第一个，工具乙只能打开第二个，讨论范围内只有这两个工具。于是，每个文件都有一个能打开它的工具；却不存在一个工具能打开所有文件。

前一个说法允许不同文件使用不同工具，后一个要求找到同一个工具。二者的区别在于选择是否能随对象改变。量词顺序正是在表达这种差异：对每个对象分别找一个，与先固定一个再用于全部对象，有不同要求。《离散数学开放导论》：量词与有效推断

这类区别不需要先熟练写出整套谓词逻辑符号。小叶可以直接把“哪个文件、哪个工具”对应列出来，就能看出全局统一工具这一结论缺少依据。

反方向却成立：如果已经有一个工具能打开所有文件，那么每个文件当然都至少有一个能打开它的工具，就是那个共同工具。再次可以看到，两个表达涉及相近词语，并不保证它们能够双向替换。

八、多步推理与分情况推理：怎样让保证一直保留下来

1. 每一步都要知道自己使用了什么

小叶可以把一个较长的推断写成下面五行：

1. 本批所有A组原图的长边都不少于1600像素。
2. J01原图属于本批A组。
3. 所以，J01原图长边不少于1600像素。
4. 对同一幅图像，长边不少于1600保证不少于800。
5. 所以，J01原图长边不少于800像素。

第三行由第一、二行得到，第五行由第三、四行得到。中间结论被后一步使用，每个接口都能核对。这并不要求每次聊天都写成编号证明，而是当问题复杂、结论重要或发生争议时，能把必要的依赖关系显露出来。

假如第三行没有来源，后面的步骤写得再多，也不能补足这个缺口。如果第三行有依据而第五行扩大成“这张图可以满足课堂展示的一切要求”，则问题发生在后一步的范围扩张。

推理链的价值来自正确步骤相接。连接词的数量、段落的长度，都不能替代这种连接。

2. 原图与裁剪版，是两个需要区分的对象

另设一个变体：小叶保留长边1800的J01原图，又产生一个长边640的裁剪版本。这里不操作真实文件，只给出用于分析的两个尺寸事实。

若AI说“J01原图不少于1600；所以J01裁剪版不少于1600；因此裁剪版不少于800”，后一步从1600到800的数值关系没有问题，问题在原图到裁剪版的转移。

裁剪版并不因为沿用了文件的主题或编号，就保留原图尺寸。原图的事实是关于原图的，不能未经补充条件就应用到新版本。已给出的640还直接表明，裁剪版没有达到800。

这是一种很实际的检查方法：沿着结论向前追踪，每一步的对象、时点、版本与词义有没有保持对应。在AI整理报告时，“原始数据”“筛选后数据”“补齐后的数据”也不能因为都叫“这批数据”，就被当成同一个统计对象。

3. 无须确定哪种情况，仍可能推出共同结论

现在另设一个缩略图尺寸规则，目的只在研究输出尺寸的上界，和前面选择原图的800像素下界是两个不同任务。

设输入长边为正整数x，单位是像素。规则完整规定：如果x不少于800，就令输出长边y等于800；如果x小于800，就令y等于x。暂时假定这个尺寸规则被正确执行，不讨论图像内容、编码或另一条边的计算。

能不能在不知道具体x的情况下，断言输出长边y不大于800？可以分两种情况。

第一种，x不少于800。根据规则，y等于800，当然不大于800。

第二种，x小于800。根据规则，y等于x，因此y也小于800，同样满足不大于800。

所有正整数输入都属于这两种情况中的一种，边界x等于800包含在第一种。两种情况都保证同一个结论，所以可以得到：按这条规则执行，输出长边必定不大于800。

这就是分情况推理的基本思路：先确保情况覆盖，再让每种情况都通向所需结论。一般可以写成“P或Q；P推出R；Q也推出R；所以R”。香港大学思方网：分情况推理

4. 覆盖所有情况，与列了几个顺利例子不同

将主表四个尺寸作为该独立规则的输入，1800、1200、600、2000分别得到800、800、600、800。这些计算帮助确认具体理解，但上面的普遍保证并非只靠四次计算建立，而是来自两类情况覆盖全部允许输入。

如果只测试1800与1200，就可能误以为所有输出恰好都是800。J03的600显示这个更强的结论不成立。规则保证的是“不大于800”，其中包括小于800，不是“一律等于800”。

如果在分情况时写成“x大于800”与“x小于800”，又把等于800漏掉，那么仅凭这两类的说明，证明还没有覆盖全部正整数。这是一个需要补上的边界，而不是要求对每个可能的尺寸都写一段分析。

5. 排除一个分支，也需要知道分支已经列全

另一种常用形式是“P或Q；不是P；所以Q”。其中“或”允许至少一个成立；否定P以后，Q就不能也是假，否则第一条前提会被违反。

但小叶若只知道“文件可能由方式甲或方式乙生成”，这里的“可能”只是举例，并未排除其他方式，就不能从“不是甲”直接确定“就是乙”。要使用这个排除步骤，需要有实际依据保证所列选择覆盖了讨论范围。

分析AI的错误原因时尤其如此。“可能是材料问题，也可能是程序问题”常常只是当前想到的两个方向，并非已经证明只有这两个方向。把探索性列表当成完整划分，容易让后面的推理看似严密，实际上建立在没有确认的第一条前提上。

九、形式上有效，为什么还不等于值得接受的解释

1. 重复结论可以有效，却没有提供新依据

“J01达到800像素门槛；所以J01达到800像素门槛。”按有效性定义，这个推理有效，因为前提与结论是同一句，不能前提真而结论假。

但如果小叶问的是“依据是什么”，这段话没有给出尺寸记录或其他支持。它只是把待说明的事重复了一遍。逻辑有效性因此不是解释质量的全部标准；前提是否得到支持、是否回应问题，也很重要。香港大学思方网：有效性与论证用途

AI把“方案可行，因为方案能够实现”写得更流畅，也可能没有补上关键依据。小叶需要的是能核对的条件与事实，而不是围绕结论换几种说法。

2. 前提互相冲突时，不能继续当作可靠事实使用

假设同一份输入资料，对同一版本的J03，一处明确记录长边为600，另一处明确记录长边为1200，并要求两项都当作准确值。这两项前提无法同时为真。

在经典逻辑的有效性定义下，矛盾前提没有任何“全部为真”的情景，因此以它们为前提的论证不会出现定义所排除的那种行。这会使其形式上满足有效性的条件。但它不可能是健全论证，因为前提不能全真。香港大学思方网：不一致前提与有效性

实际处理时，应先核对原图与裁剪版是否被混写、记录是否过期、单位是否一致，解决冲突以后再推导。不能把“逻辑形式有效”当成可以随意接受矛盾数据的理由。

本章保留这个区别，是为了不把有效性讲成包办一切的质量标签，不要求学生由此展开所有不同逻辑体系的争论。

3. 演绎保证之外，还有有价值的判断

若小叶过去使用某种整理方法经常节省时间，可以把它作为下一次值得尝试的线索。不能因为它尚未达到“在所有允许情况都不失败”的演绎标准，就把它判成毫无价值。

预测、经验推广和解释比较往往有不同目标。它们可以提供程度不同的支持；本章关注的是其中声称“必定如此”“因此只能如此”的部分，有没有真正得到前提保证。

同样，演绎得到“这个方案满足已列出的尺寸条件”，也不能自动完成所有方案选择。多个方案都可能满足条件，还需要比较投入、用途、表达效果和其他要求。逻辑把能保证什么讲清楚，帮助其他判断在更明确的基础上进行。

十、把这些知识用于检查AI的一段完整回答

1. 先保留它实际做到的部分

假设AI给小叶这样一段原创教学回答：

本批A组原图都不少于1600像素，J01属于A组，所以J01不少于1600；而不少于1600就不少于800，因此J01满足800像素门槛。这说明J01一定适合本次课堂展示，可以省略其他检查。

前面关于J01原图尺寸的链条成立，且所用表内前提真实。不能因为最后一句扩大了结论，就把前面所有步骤一概判错。

问题出在从“达到一个尺寸门槛”跳到“适合本次展示的一切要求”。资料表没有说明图中文字是否完整、展示内容是否切题，也没有给出“满足尺寸就足以适用”的完整标准。仅凭现有理由，后面这个更宽的结论没有得到保证。

小叶可以保留尺寸判断，并把结论写得恰当：“J01原图达到本次800像素的尺寸门槛；是否适合展示，还需按实际展示目的检查内容。”这种修订不需要把已经核对的部分重新做一遍。

2. 分清修事实，还是修推理

再设一段回答：“所有蓝标图都不少于1600；J02有蓝标；因此J02不少于1600。”这里首先需要修正“所有蓝标图都不少于1600”这一事实判断。改成更长的推理过程，并不会把1200变成1600。

第三段回答若是“J02不少于800，所以J02不少于1600”，则需要修正支持关系。前一项尺寸下界是真实的，问题是它不够强。可以直接补入1200的记录，再得到“达到800但未达到1600”的判断。

两类问题可能同时出现，也可能只出现一类。指出具体发生位置，才方便让AI继续改进：哪里换数据，哪里补依据，哪里删掉超出的结论。

3. 要求可核对的说明，并落实关键检查

小叶可以要求AI列出用于结论的几项事实、对应资料位置，以及从这些事实到结论的主要步骤。这有助于检查，但列出了步骤不表示每一步已经正确，写出来源名称也不表示来源真的支持该事实。

最值得核对的是会改变后续行动的环节。本例中，尺寸记录、原图与裁剪版是否同一对象、任务到底要求哪个门槛，就比无关的背景介绍更关键。

如果AI在检查后提出一个反模型，也要看它是否保留了原前提。例如拿长边600的图反驳“已知不少于1600，所以不少于800”，并没有保留原前提；拿1200说明“已知不少于800仍不能保证1600”，才对准了缺口。

这种合作不要求小叶先成为逻辑学专家。掌握“前提是否全真、支持关系是否成立、结论有没有超出”的基本习惯，就能把一段笼统的“看起来有道理”，转化为几项能逐一核对的判断。

十一、练习与参考分析

以下均使用本章事实或明确另设的情景。判断有效性时，说明评价的是哪几条前提；需要修订论证时，把补入的新事实写出来，不把它们当成原来已经给出的内容。

练习一：结论正确，能否证明整段解释健全

小叶读到：“本批所有蓝标图像都不少于1600像素；J01有蓝标；因此J01不少于1600像素。”他核对后发现结论符合1800的实际尺寸，于是认定整段解释健全。这个认定是否成立？如果把J01换成J02，会怎样变化？

**参考分析：**这段推理形式有效：若蓝标图像都达到1600，而对象确有蓝标，则对象达到1600。但第一条前提不真实，J02只有1200，是它的反例。因此，这段论证不是健全论证，不能因J01结论为真就略过假前提。

换成J02以后，形式仍然有效，第一条前提仍然为假，第二条蓝标事实仍然为真，但结论变成错误的。两次结论真假不同，显示的是错误普遍前提应用到不同对象后可能得到不同结果，并非有效性在两个对象之间来回变化。

要修订J01的说明，可以直接使用1800的尺寸记录；也可以使用本批A组的真实共同性质，再确认J01属于A组。两种修订都补入了实际能支撑结论的事实。没有必要为了让原来的蓝标解释成立，给蓝色标记强行增添它并未具有的含义。

练习二：两条路都到达同一结果，能否把两条路连起来

按主表，本批长边不少于1600的图都不少于800；本批有蓝色标记的图也都不少于800。有人据此说：“J04不少于1600，所以J04必定有蓝色标记。”请检查前提真假与推理形式，并给出反例。

**参考分析：**题目所列两条共同性质，在主表中都真实。蓝标对象是J01、J02，分别1800、1200，确实都不少于800。J04不少于1600也真实，因为它为2000。

但这几条前提没有保证J04带蓝标，主表中的J04本身就不带蓝标。若用P表示达到1600，Q表示达到800，R表示有蓝标，题目提供的是P到Q、R到Q，再提供P，却想推出R。

两条箭头共同指向Q，并没有形成P到Q再到R的链。J04可以满足P和Q，而不满足R，且不会违反任何一条前提。这是一个全部前提真实、结论却假的直接反例。

要形成可传递的链，需要另有Q到R的依据，也就是达到800的对象都有蓝标。主表中J04恰好说明这条新前提为假。因此，不能把它当作一句省略的话悄悄补上。这些前提可以推出J04达到800；至于蓝标，主表另有记录，明确说明它不带蓝标。

练习三：每个文件能处理，与一个工具能全部处理

在第七节的独立情景里，两个文件分别只能由工具甲、工具乙打开。请用一个两行两列的对应表说明，为什么“每个文件都有可用工具”不能推出“存在统一可用工具”。如果后来增加工具丙，并确认它能打开这两个文件，会不会使原来的推理形式变得有效？

**参考分析：**可以把两行写成文件一、文件二，两列写成工具甲、工具乙。文件一对应“能、不能”，文件二对应“不能、能”。每一行至少有一个“能”，所以每个文件都能找到工具；但没有一列全部为“能”，所以没有某一个工具覆盖全部文件。

这张表同时保留了前提并否定结论，因此已经证明原来的形式不是普遍有效的。这里的工具能力都是题目给定，不是对现实软件兼容性的判断。

增加丙以后，如果其能力已经确认，两行在丙这一列都为“能”，可以由这项新事实得出“丙能打开全部两个文件”。实际情况和已有证据变了，结论现在获得支持。

但这不会让原先的“每个有一个，所以同一个适合全部”成为有效形式，因为之前的两工具情景依旧说明它有可能失败。小叶应在解释里写出丙这个共同对象及其覆盖事实，而不要把新证据带来的支持归功于原来那条薄弱推理。

练习四：哪一步更换了图像版本

小叶知道J01原图长边1800，裁剪版长边640。AI给出三步说明：“原图达到1600；原图和裁剪版都叫J01，所以裁剪版也达到1600；达到1600保证达到800，所以裁剪版达到800。”定位错误，并写出恰当的两个结论。

**参考分析：**第一步由1800得到达到1600是正确的。最后一步所使用的数值关系也正确：同一对象若达到1600，就一定达到800。

错误发生在中间：共享主题或编号，并不使两个版本具有相同尺寸。题目已经给出裁剪版640，不能用原图的尺寸事实取代它。最后一步虽然使用正确关系，却接在一个错误的中间结论上，因此不能保证最终结果真实。

恰当的结论是：J01原图达到800像素门槛；J01裁剪版没有达到这个门槛。两句话并不矛盾，因为各自指向不同版本。

若要让AI后续继续处理，应把原图与裁剪版分别标识，并在每个判断旁对应实际文件或版本记录。问题不是需要更复杂的大小推理，而是需要保持对象身份。修正这一处，后面的尺寸关系就可以正常使用。

练习五：证明覆盖了所有输入吗

对第八节的尺寸规则，有同学写道：“输入大于800时，输出为800；输入小于800时，输出保持原值。所以全部输出都是800。”这段说明有哪两类问题？完整结论应该怎样写？请另算输入799、800、801时的输出。

**参考分析：**第一类问题是情况遗漏。正整数输入还包括等于800；只说明大于与小于，没有把等于这一类写进去。原规则将等于800纳入“不少于800”分支，因此应补明该边界的处理。

第二类问题是结论过强。在小于800的分支，输出保持原值，仍小于800。即使补上等于的情况，也不能把这一分支的结果变成恰好800。情况覆盖与每个分支是否支持共同结论，是两项分别要检查的要求。

输入799时输出799，输入800时输出800，输入801时输出800。三项计算直观显示边界两侧与边界本身，但普遍保证来自完整分支：输入不少于800时输出等于800；输入小于800时输出也小于800。因此所有允许输入都得到不大于800的输出。

这项证明以规则确实按约定执行为前提。若实际程序漏掉了等于800的情况，导致这一输入没有返回结果，就要修正实现。规则上的证明与程序是否遵守规则，解决的是不同层面的问题，两项都可以为后续排查提供信息。

练习六：把一段连续错误的分析修成可用判断

小叶收到这样的回答：“J04没有蓝标，因此不属于A组。A组原图都不少于1600，因此J04不足1600，继而不足800，所以不能进入本次尺寸候选集。”本题的尺寸候选集只要求原图长边不少于800。请保留其中真实的信息，指出主要跳跃，并重新给出结论。

参考分析：“J04没有蓝标”与“本批A组原图都不少于1600”都符合资料表。第一项不能推出J04不属于A组，因为蓝标与组别是两个不同字段；J04实际就是无蓝标的A组成员。

即使暂时接受“某张图不属于A组”，也不能由“A组都达到1600”推出“它不到1600”。这是将条件前件否定以后，就否定后件，没有排除组外图像也达到1600的可能。主表恰好没有这样的组外对象，不代表这条单向前提在逻辑上已经排除这种情况。

再由“不到1600”推出“不到800”，同样不成立，1200就同时满足不到1600与达到800。这里出现了连续跳跃，不能只把最后一句改成肯定语气就算修复解释。

可直接改写为：“J04原图长边为2000像素，达到本次不少于800像素的要求，因此属于本次尺寸候选集。它没有蓝色标记，不影响这个仅按尺寸定义的判断。”也可以先用J04属于A组及A组共同性质推到1600，再推到800。

修订的依据来自已确认资料及本题候选集定义，没有因为对方推理错误，就自动断言其所有前提都假。这样既保留了真实信息，又让最终判断有明确支撑。

下次拿到AI提供的一段长分析，可以先选出一个实际影响行动的结论，往前追到它使用的事实。确认事实后，再试着保留这些前提、让结论不成立；若能找到相容情景，就知道还缺什么保证。若找不到，也可以借助已掌握的有效形式逐步核对，让“相信这一段”建立在具体可说明的支持上。