设A、B为真，X、Y为假，P、Q的值不确定，下列命题公式的值能够确定的是（）
A: P∨（X∨ØP）
B: Ø（P∧Q）∨（ØP∧ØQ）
C: （P→A）→（B→Y）
D: （A→Y）→（B→（（A→Q）→Y））
A: P∨（X∨ØP）
B: Ø（P∧Q）∨（ØP∧ØQ）
C: （P→A）→（B→Y）
D: （A→Y）→（B→（（A→Q）→Y））
举一反三
- 设个体域为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)）
- 设个体域为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)）
- 卡尼曼和特沃斯基定义一个“期望”为一个不确定事件,表示为() A: （x，p；y，q） B: （x，y，p,q） C: (x,p,y,q) D: (p,q;x,y)
- 下列哪个不是谓词公式() A: ∀x﹁(P(x)→Q(x)) B: ∃y(∀x(P(x,y))→∀x(Q(x))) C: ﹁∃x(P(x)∨P(y)) D: ∃z∀x(∃y∨P(z))
- 下面的命题公式中,不存在自由变元的是()。 A: (P→Q(x))→R B: ∀x(P(x)∧Q(x))→R(y) C: (P(x)∨Q(y))→R(y) D: ∀x(P(x)→Q(x)∧R(x))