归结论文

关于PI证明的若干注记以及逻辑公式的真度理论
论文摘要归结原理是定理自动证明的重要工具。归结的目的在于用归结原理证明子句集S不可满足。PI证明是谓词逻辑归结证明的一种重要类型,其中P指关于谓词符号（predicatesym...