谓词公式
中,量词
的辖域是
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)与量词
无关,故其辖域为
。
📱 扫码体验刷题小程序
扫一扫使用我们的微信小程序