设论域D={a,b}，与公式[img=504x85]17d6234b6469e12.png[/img]等价的命题公式是（ ）
A: (A（a）∧A（b）) → (B（a）∧B（b）)
B: (A（a）→B（a）)∨(A（b）→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）→B（a）)∨(A（b）→B（b）)
C: (A（a）∨A（b）) → (B（a）∨B（b）)
D: (A（a）→B（a）)∧(A（b）→B（b）)
B
举一反三
- 设论域D={a,b}，与公式[img=252x85]17d6234985cea92.png[/img]等价的命题公式是（ ） A: A（a）∧A（b） B: A（a）∨A（b） C: A（b）→A（a） D: A（a）→A（b）
- 设论域D = {a，b}，与公式[img=49x21]17da63123cd110b.png[/img]等价的命题公式是(). A: A(a)∧A(b) B: A(a)→A(b) C: A(a)∨A(b) D: A(b)→A(a)
- 设论域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},与公式[img=126x21]17da63121bb0ede.png[/img]等价的命题公式是( ) A: (A(a)∧A(b)) → (B(a)∧B(b)) B: (A(a)→B(a))∨(A(b)→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) 等价的命题公式是
内容
- 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))
- 1
设个体域D={a,b},与公式xA()等价的命题公式是( )。 A: A(a)A(b) B: A(b)A(a) C: A(a)A(b) D: A(a)A(b)
- 2
设个体域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)
- 3
设论域为{1,2}，与公式("x)A(x)等价的是() A: A(1)∨A(2) B: A(1)→A(2) C: A(1)∧A(2) D: A(2)→A(1)
- 4
设论域为{1，2}，与公式"x﹁A(X)等价的是() A: ﹁A(1)∨﹁A(2) B: ﹁A(1)→﹁(A2) C: ﹁A(1)∧﹁A(2) D: A(1)→A(2)