设个体域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: 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)Ù$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)
- 所有北大学生(S(x))都是聪明的(P(x))”谓词公式是 A: $x(S(x)∧P(x)) B: "x(S（x）→P(x)) C: $x(S(x)∧﹁P(x)) D: "x(S(x)→﹁P(x))
- 设个体域A={a，b}，公式"任意xP（x）在A中消去量词后应为（ ）。 A: P(a)P(b) B: P(a)P(b) C: P(a) D: P(b)