谓词公式中，量词 的辖域是

谓词公式中，量词 的辖域是


A、H (x ,y)
B、G (x ,y)
C、
D、
【正确答案】：C
【题目解析】：

给定一个谓词公式A，其中有一部分公式形如(B(x)或(x)B(x)，则称它为A的x约束部分，称B(x)为相应量词的辖域。原公式中H (x ,y)与量词(y)无关，故其辖域为F(x)∧G(x,y)。