谓词A(x)的论域D={a, b, c},下述等价式中错误的是?
A: ∀xA(x)⇔A(a)→A(b)→A(c)
B: ∀xA(x)⇔A(a)∧A(b)∧A(c)
C: ∃xA(x)⇔A(a)∨A(b)∨A(c)
D: ∃xA(x)⇔(A(a)=1)∨(A(b)=1)∨(A(c)=1)
A: ∀xA(x)⇔A(a)→A(b)→A(c)
B: ∀xA(x)⇔A(a)∧A(b)∧A(c)
C: ∃xA(x)⇔A(a)∨A(b)∨A(c)
D: ∃xA(x)⇔(A(a)=1)∨(A(b)=1)∨(A(c)=1)
举一反三
- 设B是不含变量x的谓词公式,谓词公式【图片】x(A(x)【图片】B)等价() A: xA(x)B B: xA(x)B C: A(x)B D: xA(x)B
- 设B是不含变元x的公式,谓词公式∀x(A(x)→B)等价于( ) A: ∃xA(x)→B B: ∀xA(x)→B C: A(x)→B D: ∀xA(x)→∀xB
- 以下谓词等值式正确的是(多选)( )。 A: ∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x) B: ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x) C: ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x) D: ∃x(A(x)∧B(x))⇔∃xA(x)∧∃xB(x)
- 下列给出的一阶逻辑等价式中,()是错误的 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))
- 下列等值式不正确的是 。 A: "x(B®A(x))ÛB®"xA(x) B: "x(A(x)∧B)Û"xA(x)∧B C: "x(A(x)∨B)Û"xA(x)∨B D: "x(A(x)®B)Û"xA(x)®B