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=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))
- 设论域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
设论域为{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)
- 1
设论域为{1,2},与公式"x﹁A(X)等价的是() A: ﹁A(1)∨﹁A(2) B: ﹁A(1)→﹁(A2) C: ﹁A(1)∧﹁A(2) D: A(1)→A(2)
- 2
设论域为[img=43x25]18032e1ce1454da.png[/img],则与公式[img=85x25]18032e1ce952088.png[/img]等价的是( )。 A: [img=116x25]18032e1cf57ccac.png[/img] B: [img=125x25]18032e1cfd5172e.png[/img] C: [img=116x25]18032e1d0846e6a.png[/img] D: [img=101x25]18032e1d10fcd38.png[/img]
- 3
设论域为[img=43x25]18039d620aa0acb.png[/img],则与公式[img=85x25]18039d6213705bc.png[/img]等价的是( )。 A: [img=116x25]18039d621f31d40.png[/img] B: [img=125x25]18039d62273473b.png[/img] C: [img=116x25]18039d62313e86d.png[/img] D: [img=101x25]18039d623a00ff2.png[/img]
- 4
设论域为[img=43x25]1803a3eb1caf986.png[/img],则与公式[img=85x25]1803a3eb2582c68.png[/img]等价的是( )。 A: [img=116x25]1803a3eb2fcf7f3.png[/img] B: [img=125x25]1803a3eb37b0334.png[/img] C: [img=116x25]1803a3eb4257323.png[/img] D: [img=101x25]1803a3eb4a28133.png[/img]