更新时间:-- | 阅读量: 52
为使谓词逻辑形式化而建立的形式推演系统。其中使狭义谓词逻辑形式化而建立的......）构成，也可仅由初始符号、形成规则和推演规则（或称推理规则）构成。前者为谓词演算的公理系统，后者为谓词演算的自然推理系统。
搜索到与“ 谓词演算形式系统”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
