谓词公式
中，量词 
的辖域是
A、
B、
C、
D、
【正确答案】：B
【题目解析】：
给定一个谓词公式A，其中有一部分公式形如
B(x)或
B(x)，则称它为A的x约束部分，称B(x)为相应量词的辖域。原公式中H (x ,y)与量词无关，故其辖域为
。
中，量词
谓词公式中，量词
谓词公式中，量词 的辖域是
给定一个谓词公式A，其中有一部分公式形如B(x)或B(x)，则称它为A的x约束部分，称B(x)为相应量词的辖域。原公式中H (x ,y)与量词无关，故其辖域为。