书籍 · 资源记录
Sets, Logic, Computation: An Open Introduction to Logic
开放逻辑教材，系统介绍集合、关系、函数、命题逻辑、一阶逻辑、证明系统与归纳。
为什么重要
用于核对量词否定、关系性质、归纳证明和可数性论证的形式表达。
阅读前提
无特定站内先修要求。
教材中的引用位置
- M00 · 第 1 章 命题、量词与逻辑联结词
支持的主张：Open Logic Project 的《Sets, Logic, Computation》给出命题语义与一阶逻辑的系统表述。其量词章节适合核对变量作用域、自由变量以及否定量词时的联结词变化。
- M00 · 第 3 章 直接证明、反证法与构造法
支持的主张：Open Logic Project 的《Sets, Logic, Computation》在本章用于区分语义有效性与具体证明步骤：反证法假设目标的否定并导出不可能情形，存在性证明必须产生或保证一个见证，等价命题则包含两个方向的独立推导。该来源使策略选择服从命题的逻辑形状，也避免把若干例子验证为真误当成全称证明。
- M00 · 第 4 章 等价关系、序关系与数学归纳法
支持的主张：Open Logic Project 教材用于核对二元关系的自反、对称、传递性质，等价关系/偏序定义以及数学归纳法的形式规则；《Book of Proof》用于核对相应的初等证明范式。本章据此把归纳基、归纳假设和归纳步逐项写出，并避免从有限个初始情形推断一般结论。
- M00 · 第 5 章 有限性、可数性与基本代数结构
支持的主张：Open Logic Project 的开放教材用于核对关系、函数、可数/不可数、对角论证与形式证明中的量词顺序；《Book of Proof》用于提供同一主题的初等证明练习。本章据此区分“可列出”“存在双射”和“算法可计算”三种不同主张，不把基数结论自动解释为计算复杂度结论。
- M00 · 第 6 章 数学语言与证明综合复习
支持的主张：Open Logic Project 的《Sets, Logic, Computation》把集合语言、量词、关系与形式证明置于同一套记号中，适合核对本章的类型表和量词否定。商集映射与计数练习仍按正文给出的代表元检验和逐步演算独立验证。