约束出现

【词语拼音】yuē shù chū xiàn

【词语繁体】約束出現

【词语结构】ABCD式词语

【词语字数】四字词语

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