海伯伦域(关于海伯伦域的简介)

大家好，海伯伦域，关于海伯伦域的简介很多人还不知道，现在让我们一起来看看吧！

1、 设谓词公式G的子句集为S，则按下述方法构造的个体变元域H称为公式G或子句集S的海伯伦域(Herbrand域，简称H域)：(1)令H0是S中所出现的常量的集合。

2、若S中没有常量出现，就任取一个常量a∈D，规定H0={a}。

3、(2)令Hi+1=Hi∪{S中所有的形如f(t1,...,tn)的元素)，其中f(t1,...,tn)是出现于G中的任一函数符号，而t1,...,tn是Hi中的元素。

4、i=0，1，2，…。

本文关于海伯伦域的简介就讲解完毕，希望对大家有所帮助。

上一篇：海伦市聚粮米业有限公司(关于海伦市聚粮米业有限公司的简介)

下一篇：海伯利安的陨落(关于海伯利安的陨落的简介)