卡尼曼和特沃斯基定义一个“期望”为一个不确定事件,表示为()
A: （x，p；y，q）
B: （x，y，p,q）
C: (x,p,y,q)
D: (p,q;x,y)
A: （x，p；y，q）
B: （x，y，p,q）
C: (x,p,y,q)
D: (p,q;x,y)
举一反三
- 把 "x ( P( x )®$ y Q( x ,y ))化为前束范式，推导过程正确吗？ "x ( P( x )®$y Q( x ,y )) Û"x (¬ P( x ) ∨ $y Q( x ,y )) Û"x$y (¬ P( x ) ∨ Q( x ,y )) Û" x $y ( P( x ) ®Q ( x ,y ))
- 设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））
- 谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为 A: ∀x∀z∃y(P(x)→Q(z) ∨ R( y)) B: ∃x∀z∃y(P(x)→Q(z) ∨ R( y)) C: ∀x∃y(P(x)→Q(x) ∨ R( y)) D: ∃x∀y(P(x)→Q(x) ∨ R( y))
- 二阶常系数线性微分方程标准形式为 A: y''+P(x)y'+Q(x)=0 B: y''+P(x)y+Q(x)=0 C: x''+P(x)x'+Q(x)x=0 D: x''+P(y)x'+Q(y)x=0
- 与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是（ ）。 A: ("x)(P(x)∧Q(x, z))Þ($x)R(x, y) B: ("y)(P(y)∧Q(y, y))Þ($x)R(x, y) C: ("z)(P(z)∧Q(x, y))Þ($x)R(x, y) D: ("u)(P(u)∧Q(u, z))Þ($x)R(x, z)