![](https://lstatic.shangxueba.com/sxbzda/h5/images/m_q_title.png)
设个体域为A={a,b},消去公式∀x$y (P(x) ®Q(y) )中的量词为:
A.(¬ P(a)νQ(a)νQ(b))Λ(¬ P(b)νQ(a)νQ(b))
B.(P(a)∨P(b))® (Q(a)∨Q(b))
C.(P(a) Ù P(b))® (Q(a)∨Q(b))
D.(¬ P(a)νQ(a) )Λ(¬ P(b) νQ(b))
![](https://lstatic.shangxueba.com/sxbzda/h5/images/tips_org.png)
A.(¬ P(a)νQ(a)νQ(b))Λ(¬ P(b)νQ(a)νQ(b))
B.(P(a)∨P(b))® (Q(a)∨Q(b))
C.(P(a) Ù P(b))® (Q(a)∨Q(b))
D.(¬ P(a)νQ(a) )Λ(¬ P(b) νQ(b))
第1题
A、(?x)(P(x)?(?y)R(y))
B、P(x)
C、(P(x)?(?y)R(y))
D、P(x),Q(x)
第2题
A、(F(a) ú F(b) ú F(c))→ (G(a) ù G(b) ù G(c))
B、(F(a) ù F(b) ù F(c))→ (G(a) ù G(b) ù G(c))
C、(F(a) ú F(b) ú F(c))→ (G(a) ú G(b) ú G(c))
D、(F(a) ù F(b) ù F(c))→ (G(a) ú G(b) ú G(c))
第5题
A、P(x); R(x, y)
B、P(x)∧Q(x, A); R(x, y)
C、P(x)∧Q(x, A)→(?y)[R(x, y)∨S(y)]; R(x, y)
D、P(x)∧Q(x, A)→(?y)[R(x, y)∨S(y)]; R(x, y)∨S(y)
第9题
与公式("x)(P(x)∧Q(x, y))T($x)R(x, y)等值的是( )。
A、("x)(P(x)∧Q(x, z))T($x)R(x, y)
B、("y)(P(y)∧Q(y, y))T($x)R(x, y)
C、("z)(P(z)∧Q(x, y))T($x)R(x, y)
D、("u)(P(u)∧Q(u, z))T($x)R(x, z)
第10题
设个体域为整数集,则公式的解释可为( )。
A、对任一整数x,对任意整数y满足x+y=2
B、对任一整数x,存在整数y满足x+y=2
C、存在一整数x,对任意整数y满足x+y=2
D、存在一整数x,有整数y满足x+y=2
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!