重点证明-一流百科

重点证明

简介在数理逻辑中，重点证明是通过目标导向的证明搜索产生的一系列分析性证明，是结构证明理论和还原逻辑的研究课题。它们构成了目标导向证明搜索的最一般定...