一阶谓词公式F与其Herbrand扩张之间的关系

张韬; 汤建钢

首页> 中文期刊> 《伊犁师范大学学报:自然科学版》 >一阶谓词公式F与其Herbrand扩张之间的关系

一阶谓词公式F与其Herbrand扩张之间的关系

AI论文写作 >>

AI期刊论文写作 >>

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

任意一个一阶谓词公式F,先找到其中的个体常元和函数符号,并由此产生公式F的Herbrand域,然后用Herbrand域中的项替代公式F中的变元,以消去量词符号而得到公式F的函数形式.公式F的所有可能的函数形式组成的集合就是Herbrand扩张.研究了寻找一阶谓词公式与Herbrand扩张之间的关系.

著录项

来源
《伊犁师范大学学报:自然科学版》 |2016年第1期|9-13|共5页
作者
张韬; 汤建钢;
展开▼
作者单位

伊犁师范学院数学与统计学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类模糊数学;
关键词
命题公式; 一阶谓词公式; Herbrand扩张; 可满足性;

相似文献

中文文献
外文文献
专利

1. 谓词/变迁系统对一阶谓词公式的建模 [J] . 耿霞 ,吴哲辉 ,张继军 . 系统仿真学报 . 2007,第s1期
2. 基于一阶谓词公式去除商务数据冗余关联规则的研究 [J] . 郭瑞 ,钱晓东 . 计算机工程与科学 . 2017,第3期
3. 一阶系统KL中一组形式相近公式之间的关系 [J] . 齐玉霞 ,周相泉 ,刘庆松 . 山东师范大学学报：自然科学版 . 2010,第3期
4. 谓词/变迁系统对一阶谓词公式的建模 [J] . 耿霞 ,吴哲辉 ,张继军 . 系统仿真学报 . 2007,第a01期
5. 一阶逻辑中不含相同谓词符号公式的真度研究 [J] . 王波 ,惠小静 ,鲁星 . 贵州大学学报：自然科学版 . 2022,第5期
6. 两个疲劳分散系数计算公式之间的关系的研究 [C] . 毛传孝 . 中国航空学会第十二届全国直升机年会 . 1996
7. 支气管扩张HRCT分型、FACED评分与高密度脂蛋白之间的关系 [A] . 周海林 . 2021

一阶谓词公式F与其Herbrand扩张之间的关系

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅