能行程序论文

经典命题演算的能行方法研究
论文摘要经典命题演算的能行方法研究具有重要的理论意义和现实价值。在经典命题逻辑的常见公理系统中,仅以公理和推理规则为工具进行定理的形式证明,往往不易找到证明的出发点,对于初学者...