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