请在 下方输入 要搜索的题目:

对于谓词公式(∃x)(P(x,y)→Q(x,y))∨R(x,y),关于量词辖域的说法中,正确的是( )。


A、所有变元x都是自由变元
B、所有变元x都是约束变元
C、所有变元y都是自由变元
D、所有变元y都是约束变元
E、Q(x,y)中的变元x是约束变元

发布时间:2023-08-01 23:04:27
推荐参考答案 ( 由 搜搜题库网 官方老师解答 )
联系客服
答案:
专业技术学习
搜搜题找答案
用户信息
没有账号?点我注册
专业技术学习
登录 - 搜搜题库网
立即注册
注册 - 搜搜题库网
验证码
立即登录