经典命题演算的能行方法研究具有重要的理论意义和现实价值。在经典命题逻辑的常见公理系统中,仅以公理和推理规则为工具进行定理的形式证明,往往不易找到证明的出发点,对于初学者而言尤为困难。过去通常认为经典命题演算没有能行方法,但从未有过严密论证认定经典命题演算的能行方法不存在。本文试图建立一套能行程序,使经典命题演算实现能行化。通过对经典命题演算能行方法的研究,不仅可以深刻揭示经典命题演算特有的内在规律,进一步丰富数学定理机器证明理论,为其他各类逻辑演算的能行证明问题提供一种有价值的新方法,还可以改进数理逻辑课程的教学,拓宽逻辑学研习者的思路,使其更全面地掌握逻辑演算的技术要领。经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。经典命题演算本身有着独特而丰富的内在规律可循,也就是说,经典命题逻辑系统的结构本身有丰富的内在规律。正是这些规律决定了经典命题演算有能行方法存在。本文综合运用了多种科研方法,试图从探讨实现经典命题演算能行化的思维原理问题入手,通过确立思维原理、探索初步方案、给出能行程序、论证程序能行性等一系列科学的、缜密的理论研究过程建立一套能行程序,使经典命题演算实现能行化。