基子句

考虑从一阶逻辑语句公式 的斯柯伦范式中获得的子句（析取 文字）

然后，通过将 的所有变量替换为 的 Herbrand 域 的元素而获得的子句称为基子句。