设B是不含变量x的谓词公式,谓词公式【图片】x(A(x)【图片】B)等价()
A: xA(x)B
B: xA(x)B
C: A(x)B
D: xA(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
- 谓词公式 ∀xA(x)→∃xA(x) 的类型是( )。
- 以下谓词等值式正确的是(多选)( )。 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)的论域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)⇔∃x┐A(x)()B.()┐∃xA(x)⇔∀x┐A(x)()C.()┐∃x(M(x)∧┐F(x))⇔∀x(M(x)→F(x))()D.()┐∀x(F(x)→G(x))⇔∃x(F(x)∧┐G(x))