附录甲　形式系统与证明¶

【规划】 本附录尚未动笔，以下为暂定的收录范围。

本附录做的事。 服务慢线读者：正文各章的编号命题在此给出全符号陈述与完整推导。快线读者一页不读，不损结论。

收录范围。

• 记号表：全篇所用符号一页列明。
• 定义与前提：D1–D3、P、层级条款的全符号形式。
• 引理群：弱拒斥引理（拒斥不蕴涵反断言）、四句预设取消读法的形式化、同异两难的骨架、效力锁定条款。
• 定理：T 强中弱三版的完整推导，含降格分支。
• 前提清单表：每条前提的类型（定义、逻辑、分析真）、出处（章节与文本）、用于哪条引理或定理。
• 拼装依赖图：定义、引理、定理与各章的依赖关系一图画尽；另配主论证推导图与层级条款图，生成器体例照第十五篇。

接口。 与正文一至七章逐条对应；第九章的前提审计报告以此为底册。