命题逻辑定理证明的一个普遍能行算法

摘要

本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统.在此基础上给出一机器能行算法,把排中律等值置换成任一重言式,证明任一命题逻辑内定理.也引申出命题逻辑定理证明的一个可信性问题.