设个体域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))
A
举一反三
- 设个体域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)
内容
- 0
设B是不含变量x的谓词公式，谓词公式【图片】x（A(x)【图片】B）等价（） A: xA(x)B B: xA(x)B C: A(x)B D: xA(x)B
- 1
下列公式中等值的是().(5.0) A: ∀x(A(x)→ B: (x))与∀xA(x)→∀xB(x) ∀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)
- 2
设个体域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)
- 3
设个体域D={1，2}与公式∀x F(x)等价的命题公式是( ) A: F(1)∧F(2) B: F(1)→F(2) C: F(1)∨F(2) D: F(2)→F(1)
- 4
设个体域A={a,b},则谓词公式∃x(F(x)∧G(x))消去量词后，看表示为 。