设个体域A={a,b}，公式"任意xP(x)在A中消去量词后应为（ ）
未知类型：{'options': ['P(b)', 'P(a)[img=20x24]17da6cc8e4430a9.jpg[/img]P(b)', 'P(a)', 'P(a)[img=20x23]17da6cc8f0bd30c.jpg[/img]P(b)'], 'type': 102}
未知类型：{'options': ['P(b)', 'P(a)[img=20x24]17da6cc8e4430a9.jpg[/img]P(b)', 'P(a)', 'P(a)[img=20x23]17da6cc8f0bd30c.jpg[/img]P(b)'], 'type': 102}
举一反三
- 设个体域A={a，b}，公式"任意xP（x）在A中消去量词后应为（ ）。 A: P(a)P(b) B: P(a)P(b) C: P(a) D: P(b)
- 设个体域A={a,b}，公式"xP(x)Ù$xS(x)在A中消去量词后应为 A: P(x)ÙS(x) B: (P(a)ÙP(b))Ù(S(a)ÚS(b)) C: P(a)ÙS(b) D: P(a)ÙP(b)ÙS(a)ÙS(b)
- 设个体域A={a、b},公式[img=125x21]17e0bd5c1dc59bc.png[/img]在A上消去量词应为() A: P(x)∧S(x) B: P(a)∧P(b)∧S(a)∨S(b) C: P(a)∧S(b) D: P(a)∧P(b)∧(S(a)∨S(b))
- 设个体域A={a,b}，公式"任意xP(x)在A中消去量词后应为（ ） A: P(a) B: P(b) C: P(a)<img src="https://image.zhihuishu.com/zhs/aidedteaching/demo/202012/bb3b2cf765a047d6a536ab00f276bf25_s1.jpg">P(b) D: P(a)<img src="https://image.zhihuishu.com/zhs/aidedteaching/demo/202012/a1a56ab460a64c4fba0801a0a2d27fb3_s1.jpg">P(b)
- 设个体域A={a,b}，公式"xP(x)Ù$xS(x)在A中消去量词后应为 A: P(x)ÙS(x) B: (P(a)ÙP(b))Ù(S(a)ÚS(b)) C: P(a)ÙS(b) D: P(a)ÙP(b)ÙS(a)ÙS(b)