数量、量词与文本指称

书屿量词细读:把全部、至少一个与并非全部逐句核对

用虚构卡片集合保存讨论范围,区分全称、存在与否定,不把一个反例误读成全部相反。

全部都满足、至少一个满足、并非全部满足是不同断言,一个反例推翻全称也不等于证明全部相反。本篇在书屿回读原句,用四张虚构卡片核对量词与否定位置。这里只练习已明确范围的文字逻辑,不自动评判整本书论证,也不把自然语言未说明的对象补成无限集合。

先圈定量词谈论的对象范围

挑一处包含所有、每个、某个、至少一个或并非的短句,记录书名、版本、章节与位置,读清范围是否只限本段样本、某个时期或某类对象。教学设定为桌上的甲乙丙丁四张卡,甲乙红色,丙丁蓝色,每张只有一种颜色,范围非空。这个有限范围写在外部笔记最上方。不要把这四张的观察扩展为世界上所有卡片,也不把所有红卡与所有卡片混用。换范围就是换命题,必须另记,不能在推理中途静默切换。

把对象与性质分别列清

先不评真伪,建立卡名、是否红色、观察依据三栏。甲乙为红,丙丁不是红,这是本例给定事实,不借颜色截图自动检测。实际阅读中性质可能需要定义,例如可借用是否含已预约,先查原文,不按日常词义补充。对象若被遮住或资料未给,只能写未知,不直接当不满足。红与非红在本例互为否定,而红与蓝只有在已给的两色条件下才覆盖全部;真实文本有第三种颜色时,不可把非红自动换成蓝。

全称要每个对象都通过

检查桌上所有卡都是红色,必须甲乙丙丁都满足红色,丙这一张不是红就足以否定该全称。无需再证明丁也不是红,才能说全称失败;但要确认丙确实属于原范围。一个范围外的绿卡不构成这四张全红的反例。把反例记成对象、性质不满足、范围依据三项,不仅写有反例。实际书中说几乎所有或通常,不等于严格所有,不能删去限定后用同一个反例宣称原作者已被推翻。

存在只要求至少一个见证

检查至少一张卡是红色,甲就提供见证,所以命题成立;乙也红不使至少一个变假。至少一个不是恰好一个,不能据此推断只有甲红。存在判断同样要有范围内对象和相符性质,不能从没有查完推成必定存在。若书中写有些,先判断作者是否明确用至少一个还是口语的部分而非全部,本篇标准逻辑练习采用至少一个,实际含义仍读上下文。把见证卡和支持它的事实留在笔记,不把一个存在结论扩展成多数。

并非全部不是全部不满足

所有卡都是红色的否定,是至少一张卡不是红色;丙或丁都可作为见证。它不是所有卡都不是红色,因为甲乙仍红。反过来,至少一张卡是红色的否定,是没有一张卡红,也就是每张都不红。把四句并排保存,特别标出否定作用在量词还是性质。不要只把都是改成都不是来否定整个句子。这里用非空四卡范围避免空集合细节,若原教材讨论空范围,按其定义另读,不借本例省掉它的前提。

用新增未知卡检查结论范围

在外部副本加入第五张颜色未知的戊卡,明确这是新范围。至少一张红仍可由甲支持,至少一张非红仍可由丙支持;但不能据未知戊断言戊红或不红。全红早已被丙否定,不会因为多一张未知就恢复成立。若原来只知道甲乙两张红且其他未查,就不能证明全部红,应该写全称尚未确认。把已否定、已支持和未确认分开,比把每个未知都强行填进真假两格更适合实际阅读记录。

发现矛盾先回量词原句

若摘要说全部不红而原文只是并非全部红,直接修正自己的摘要,不能说两句只是语气不同。范围不清先读限定段落,性质不明先回定义,未知事实不靠搜索命中次数补全。扫描字看不清时手工记页位并保留未读,不假定书屿自动识别逻辑符号。可以把原句、规范转写、见证或反例和未决条件分栏;任何个人规范化都要标明,不能冒充作者原话。问题仍在就暂缓判断,而不是选一个读起来更顺的量词。

退出返回后重建四句话

退出阅读器再返回,找到原句和范围定义,先不看旧表,分别判断四卡全红、至少一红、并非全红、全不红,结果应为假、真、真、假。每项写出所用见证或反例,避免只背真假排列。再核对自己的摘要是否保留几乎、通常等实际限定。最终记录同时保存范围、性质、量词、否定位置与证据,原书另存。这份笔记说明你对一句话检查到了哪里,不宣称几个卡片例子已经证明作者整套理论成立或失败。

相关教程与资料

书屿定义精读:分清必要条件、充分条件与反例、书屿概率例题阅读:用四种结果分清互斥与独立。

资料核对:2026 年 11 月 8 日,Apple 公开版本查询显示书屿 1.1.4,最低 iOS / iPadOS 15.6。能力范围以官方 App Store 说明与安装版本为准。本文提供可自行执行的阅读与检查方法,未声明真机或私人服务器逐项实测;人工记录、外部工具与实际可见入口分别说明,不将个人分析或源码观察写成已验证的自动能力。

量词及其否定可参考开放教材David Lippman:量化命题。四卡与未知第五卡为本篇自设例,不假定原书对象范围。