首页
下列式子中, 不正确 的是
2024-08-03 23:49:09
离散数学(02324)
下列式子中,
不正确
的是
A、¬∃xA(x)⟺ ∀x¬A(x)
B、∃x(A→B(x))⟺ A→∃xB(x)
C、¬∀xB(x)⟺ ∃x¬B(x)
D、∀x(A(x)→B)⟺ ∀xA(x)→B
【正确答案】:D
上一篇:
谓词公式∀x(F(x)⋀G(y))→∃y(H(x)→S(y,z)中量词∀x的辖域是
下一篇:
设论域为{a,b},与谓词公式∃xP(x)等价的是