设个体域A={a，b}，公式"任意xP（x）在A中消去量词后应为（ ）。
A: P(a)P(b)
B: P(a)P(b)
C: P(a)
D: P(b)
A: P(a)P(b)
B: P(a)P(b)
C: P(a)
D: P(b)
举一反三
- 设个体域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}
- 设个体域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}，公式"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}，公式∀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}，公式"任意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)