形式逻辑 🟢
分类：🟢 形式逻辑 · 通向 CS / 数学 / 法律的跳板 对应年级：9-12年级（V2 规划中） 路径：十至十二年级
核心问题
用精确的符号语言，逻辑可以推进到哪里？
形式逻辑是从自然语言推理进入符号系统的转折点。学会形式逻辑，就打开了通向计算机科学（布尔逻辑、算法）、数学（公理系统、证明方法）、法律（精确推理）的跳板。
V2 规划节点（9-12年级）
| 节点（待建） | 年级 | 跳板方向 |
|---|---|---|
| 命题逻辑 Propositional Logic | 9年级 | CS：编程条件判断 |
| 充分与必要条件 | 9年级 | 数学：定理证明 |
| 真值表 Truth Table | 10年级 | CS：电路设计 |
| 谓词逻辑 Predicate Logic | 11年级 | 数学/哲学 |
| 证明方法 Methods of Proof | 11年级 | 数学/CS |
V1 中的种子（已植入）
虽然形式逻辑节点是 V2，但 V1 中已在以下节点轻量植入 P→Q 符号：
- 什么是论证 What is an Argument — 论证的符号化：P→Q
- 演绎与归纳 Deduction and Induction — P→Q，P，所以 Q
R. S. Ang · K12 Notes · 2026