在谓词公式中,若出现量词,则与前面量词的指导变元相同且出现在量词辖域内的变元,称为约束变元。()


在谓词公式中,若出现量词,则与前面量词的指导变元相同且出现在量词辖域内的变元,称为约束变元。()

A.正确

B.错误

正确答案:A


Tag:量词 谓词 公式 时间:2023-10-30 11:25:22