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