在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的,而在一个量词的辖域中与该量词的指导变元相同的变元称为,其他变元称为()


在谓词公式中,紧接于量词之后被量词作用的谓词公式称为该量词的,而在一个量词的辖域中与该量词的指导变元相同的变元称为,其他变元称为()

正确答案:辖域约束变元自由变元


Tag:人工智能 量词 谓词 时间:2024-02-08 10:56:55