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

作者:高老师 浏览 0

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


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)。


📱 扫码体验刷题小程序

微信小程序二维码

扫一扫使用我们的微信小程序

热门题目

已复制到剪贴板