摘要

                   在经典命题逻辑的常见公理系统中，仅以公理和推

           理规 则为工具，进行定理的形式证明，往往不易找到证

            明的出发点，对于初学者而言尤为困难。本报告试图建
立一套能行程序，使经典命题演算实现能行化。通过对
命题演算能行方法的研究，不仅可以深刻揭示经典命题
演算特有的内在规律，还可以改进数理逻辑课程的教学，
拓宽逻辑学研习者的思路，使其更全面地掌握逻辑演算
的技术要领。

                    本报告综合运用了多种方法，试图从探讨实现经典

           命题演算能行化的思维原理问题入手，通过确立思维原
           理、探索初步方案、给出能行程序、论证程序能行性的
           过程建立一套能行程序，使经典命题演算实现能行化。