命题重言式形式化证明的实现

摘要

描述了命题重言式形式化证明的思想。采用生成推理树方法进行了具体的实现 ,获得了良好的效果。