![](https://lstatic.shangxueba.com/jiandati/h5/images/m_q_title.png)
[主观题]
设谓词A(x):x是奇数,B(x):x是偶数,谓词公式分别在整数、实数、自然数三种个体域中是否是可满足的?
设谓词A(x):x是奇数,B(x):x是偶数,谓词公式分别在整数、实数、自然数三种个体域中是否是可满足的?
提问人:网友anonymity
发布时间:2022-01-07
设谓词A(x):x是奇数,B(x):x是偶数,谓词公式分别在整数、实数、自然数三种个体域中是否是可满足的?
与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是( )。
A、("x)(P(x)∧Q(x, z))Þ($x)R(x, y)
B、("y)(P(y)∧Q(y, y))Þ($x)R(x, y)
C、("z)(P(z)∧Q(x, y))Þ($x)R(x, y)
D、("u)(P(u)∧Q(u, z))Þ($x)R(x, z)
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!