题目内容

下列给出的一阶逻辑等价式中,()是错误的

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. 正确

同一谓词公式,指定不同的论域,其真值不一定相同

A. 错误
B. 正确