论文部分内容阅读
在《结构证明论》①＊中，切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题：切割高度计算存在错误；“切割公式仅在左前提中是主公式”与“切割公式不是左前提的主公式”自相矛盾；收缩规则指代含混；“切割规则的任何一个前提不是逻辑公理”的表述不准确。文章分析这些问题并提出相关的解决方法，给出切割规则的可容许性定理一个详细而完整的证明，进一步论述经典命题逻辑矢列演算的子公式性质、一致性和可判定性。这些工作有助于提高学习和研究证明论的能力。