形式逻辑 · Formal Logic
年级重心：9-12年级 状态：待建
定位
用符号和规则把”讲道理”变成可计算的系统。 这个目录是从日常推理走向精确推理的桥梁，也是通向 CS 和数学的跳板。
规划节点
| 节点 | 年级 | 核心内容 | 跳板方向 |
|---|---|---|---|
| 命题逻辑 Propositional Logic | 9年级 | AND/OR/NOT，复合命题 | CS：编程条件判断 |
| 充分与必要条件 | 9年级 | 如果P则Q ≠ 如果Q则P | 数学：定理证明 |
| 真值表 Truth Tables | 10年级 | 系统枚举所有可能性 | CS：电路设计 |
| 谓词逻辑入门 Predicate Logic | 11年级 | ”所有""存在”的精确表达 | 数学/哲学 |
| 证明方法 Methods of Proof | 11-12年级 | 直接证明、反证法、数学归纳法 | 数学/CS |
与其他目录的关系
- ← 批判性思维/谬误图谱 提供直觉基础
- → 数理逻辑 提供更深的数学化方向
- ↔ K12-Math 数学库有交叉（充要条件、证明），但本目录侧重逻辑推理能力而非数学计算