与公式("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)
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)
第1题
A、(?x)(P(x)?(?y)R(y))
B、P(x)
C、(P(x)?(?y)R(y))
D、P(x),Q(x)
第2题
B、y是约束变元
C、(x的辖域是RXxy)
D、(x)的辖域是()(x)Q()-(x)R(xy)
第3题
在谓词公式("x)(F(x)TG(y))T($y)(H(x)∧L(x, y, z))中,("x)的辖域是( )
A、(F(x)TG(y))
B、F(x)
C、(F(x)TG(y))T($y)(H(x)∧L(x, y, z))
D、("x)(F(x)
第6题
谓词公式($x)F(x) T ($x)G(x)的前束范式是( )。
A、("x)("y) (F(x) T G(y))
B、($x)("y)(F(x) T G(y))
C、("x)($y) (F(x) T G(y))
D、($x)($y)(F(x) T G(y))
第7题
谓词公式("x)(("y)Q(y) T P(x))的前束范式是( )。
A、"x"y(Q(y) T P(x))
B、"x$y(Q(y) T P(x))
C、$x"y(Q(y) T P(x))
D、$x$y(Q(y) T P(x))
第8题
A、{ <x,y> |x,y∈P∧x是y的丈夫}
B、{ <x,y> |x,y∈P∧x是y的孙子或孙女}
C、Φ
D、{ <x,y> |x,y∈P∧x是y的祖父或祖母}
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!