约束出现-问即答

的有关信息介绍如下：

约束出现

一个谓词公式如果其中由一部分公式形如∀xA或∃xA，则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现，而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现，则叫x在此谓词公式中自由出现，而此个体变元X叫此谓词公式的自由变元。

想要了解更多“约束出现”的信息，请点击：约束出现百科