表达式∀x(P(x,y)∨Q(z))∧∃y(R(x,y)→∀zQ(z))中∀x的辖域是()
A. P(x,y)
B. P(x,y)∨Q(z)
C. R(x,y)
D. P(x,y)∧R(x,y)
查看答案
下列给出的一阶逻辑等价式中,()是错误的
A. ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x)
B. ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x)
C. ¬∀xA(x)⇔∃x(¬A(x))
D. A→∀xB(x)⇔∀x(A→B(x))
设论域D={a,b},与公式∃xA(x)等价的命题公式是()
A(a)∧A(b)
B. A(a)→A(b)
C. A(a)∨A(b)
D. A(b)→A(a)
∀xA(x)∨A(y)是命题
A. 错误
B. 正确
∀x∃yA(x,y)⇔∃y∀xA(x,y)
A. 错误
B. 正确
微信支付 
支付宝支付