在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的(),而在一个量词的辖域,,而在一个量词的辖域中与该量词的指导变元相同的变元称为(),其他变元称为()。
在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的(),而在一个量词的辖域,,而在一个量词的辖域中与该量词的指导变元相同的变元称为(),其他变元称为()。
正确答案:辖域,约束变元,自由变元
在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的(),而在一个量词的辖域,,而在一个量词的辖域中与该量词的指导变元相同的变元称为(),其他变元称为()。
正确答案:辖域,约束变元,自由变元
相关答案