(相关资料图)

1、 子句S1(或文字A，或原子A)的所有变元均被H域的元素替换，这一过程称为海伯伦化(Herbrand化。

2、简称H化)，H化的结果称为一个H化基例，也称为H化基子句S1(或H化基文字。

3、或H化基原子)。

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

标签：