设个体域A={a，b}，公式"任意xP（x）在A中消去量词后应为（　　）。 A: P(a)P(b) B: P(a)P(b) C: P(a) D: P(b)

2022-05-29

设个体域A={a，b}，公式"任意xP（x）在A中消去量词后应为（　　）。
A: P(a)P(b)
B: P(a)P(b)
C: P(a)
D: P(b)

答案：

C

0
设个体域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))
1
设个体域为A={a,b},消去公式"x$y(P(x)→Q(y))中的量词为 A: （¬P(a)ÚQ(a)ÚQ(b)）Ù（¬P(b)ÚQ(a)ÚQ(b)） B: (P(a)ÚP(b)〕→(Q(a)ÚQ(b)) C: (P(a)ÙP(b)〕→(Q(a)ÚQ(b)) D: （¬P(a)ÚQ(a)）Ù（¬P(b)ÚQ(b)）
2
设个体域为A=｛a,b｝，消去公式∀x$y (P(x) ®Q(y) )中的量词为： A: （¬ P(a)νQ(a)νQ(b)）Λ（¬ P(b)νQ(a)νQ(b)） B: （P(a)∨P(b))® (Q(a)∨Q(b)) C: （P(a) Ù P(b))® (Q(a)∨Q(b)) D: （¬ P(a)νQ(a) ）Λ（¬ P(b) νQ(b)）
3
对任意的公式P(x)，Ø$xØP(x)逻辑等值于（）。 A: Ø$xP(x) B: "xP(x) C: Ø"xØP(x) D: ØØ"yP(y)
4
对任意的公式P(x)，"xØP(x)逻辑等值于（）。 A: "xP(x) B: Ø$xP(x) C: Ø"xØP(x) D: Ø$yP(y)

设个体域A={a，b}，公式&quot;任意xP（x）在A中消去量词后应为（ ）。 A: P(a)P(b) B: P(a)P(b) C: P(a) D: P(b)