设个体域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))
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))
举一反三
- 设个体域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))
- 设个体域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)
- 设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)
- 设个体域D={a,b},与公式xA()等价的命题公式是( )。 A: A(a)A(b) B: A(b)A(a) C: A(a)A(b) D: A(a)A(b)