文章目录 2 命题逻辑：语法 2.1 形式系统 形式系统 形式证明 演绎定理 形式系统的性质 一致、平凡、单调 极大一致 勘误集 ml-2_1.pdf 2 命题逻辑：语法 2.1 形式系统 形式系统 Q: 如何理解“……
