摘要：任意一个一阶谓词公式F,先找到其中的个体常元和函数符号,并由此产生公式F的Herbrand域,然后用Herbrand域中的项替代公式F中的变元,以消去量词符号而得到公式F的函数形式.公式F的所有可能的函数形式组成的集合就是Herbrand扩张.研究了寻找一阶谓词公式与Herbrand扩张之间的关系.
分类：期刊> 人文社会科学> 社会科学II> 教育综合
收录：维普收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：命题公式 一阶谓词公式 herbrand扩张 可满足性
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
