书屿定义精读：分清必要条件、充分条件与反例

读到只有、只要或当且仅当，漏掉一个词就可能改变整条定义。本篇用书屿保留原定义和上下文，再在自己的笔记里做双向检查。示例仅是自制卡片分类，不涉及健康、法律或现实准入判断；应用用于阅读、定位和可用标注，不会自动证明命题或替你生成正确反例。

先保留定义的完整范围

选已读教材里一条短定义，记录版次、章节、术语、适用对象及前后限定。若书中说在本节有限集合内，就不能把例子拿到所有对象上测试。原文摘录与自己的改写分段，不能把通常或可能删掉后仍称原定义。初次练习先用下面自制规则理解方法，再回具体教材核对，避免同时引入陌生专业知识。定义、经验概括与临时约定不同，先确定作者在做哪一种，不把观察到多数如此直接写成逻辑上的必然。

用无风险自制规则建立样本

约定本练习的合格卡当且仅当同时有号码与圆标，卡片仅有这些文字和图形属性，不代表现实通行证。设甲有号码与圆标，乙有号码但只有三角标，丙有圆标但没有号码，丁两项都没有。按定义只有甲合格，其他三张不合格，颜色和大小与规则无关。把这个约定写在样本前，不能只画四张卡让读者自行猜规则。以后更换规则时另立版本，不能一边讨论旧样本一边悄悄新增条件。

把必要条件写成不能缺什么

由定义可得合格必有号码，所以有号码是合格的必要条件；同样，圆标也是必要条件。但乙有号码却不合格，说明有号码本身不足以保证合格。把这两句话同时写，避免必要被误读为有了就够。必要判断检查的是合格卡能不能缺该属性，不是随便找到一张有号码的卡。这个例子的必要性来自明确约定，不能因为四张样本中合格卡都带号码，就宣称任何未知规则下号码都必需，样本观察与定义推导要分开。

把充分条件写成具备就能推出什么

同时具备号码与圆标，按约定足以推出合格，所以两项联合是充分条件；单独号码或单独圆标都不是。自制例子里丙帮助检查圆标不够，乙帮助检查号码不够。不要把两项分别必要偷换成在任何定义下两项联合一定充分，只有当前当且仅当的完整约定提供了反向保证。原书若只写合格必须有两项，而没说有两项就合格，应保留单向关系，可能还存在没有列出的其他要求。

逐向改写并检查反向是否获准

在笔记分写合格推出两项，以及两项推出合格，再标明各自来自哪一句。只要某条件就有某结果，一般只先提供这一方向；不能未经依据倒过来。只有某条件才有结果，强调结果离不开条件，也不能自动说条件足够。自然语言有歧义时回前后例子和作者说明，不机械抓一个词完成证明。自己写的箭头是理解辅助，不是应用已算出的逻辑关系，方向写反会改变含义，应逐句读回原文核对。

让反例真正满足被反驳的前件

要反驳有号码就合格，需要一张有号码却不合格的卡，乙符合；丁没号码，不能反驳这条命题。要反驳有圆标就合格，丙符合。反例应在同一对象范围、同一规则版本内，不能偷偷改规则或把现实卡片拿来。一个有效反例能推翻对应的全称断言，但找不到反例不等于已经证明。回教材时同样列前件为真、结论为假及依据，无法确认哪一项就标待查，不把想象例子自动算作真实存在的证据。

把原定义和个人推导保存在相邻记录

在支持的笔记或外部清单中并列原定义位置、两向改写、四张卡结果和反例身份，明确哪些是自制内容。给原处留可用书签，退出再返回并读限定词，确认笔记没有把且改成或。符号输入受限时用普通文字即可，不假设书屿有专门逻辑编辑器。导出后复查否定、圆标和号码的对应；换教材版次时重新看定义范围，旧推导不能仅凭术语相同就自动移用到不同约定。

完成双向检查并解释误区

完成时能够解释为何号码必要却不充分，为什么号码加圆标在当前约定下充分，以及乙为何是正确反例。若答成有号码都合格，回乙卡；若拿丁反驳，回查前件。真实教材中定义可能更复杂，先保留对象范围和全部条件，不用本例替代专业推导。最终结论应分为源文明确给出、自己可推出、仍待查三类，避免把读书笔记写得比原文更强。完成标准是方向和依据说得清楚，不是只背必要充分两个词。