设个体域D={a, b}与谓词公式∃xA(x)，和它等价的命题是（ ）。
A: A(a)∨A(b)
B: A(a)→A(b)
C: A(a)∧A(b)
D: A(b)→A(a)
A: A(a)∨A(b)
B: A(a)→A(b)
C: A(a)∧A(b)
D: A(b)→A(a)
举一反三
- 设个体域D={a,b},与公式xA()等价的命题公式是( )。 A: A(a)A(b) B: A(b)A(a) C: A(a)A(b) D: A(a)A(b)
- 设个体域D={a，b}与公式 ∃x A(x) 等价的命题公式是
- 设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
- 设论域D={a,b},与公式∃xA(x)等价的命题公式是() A: A(a)∧A(b) B: A(a)→A(b) C: A(a)∨A(b) D: A(b)→A(a)