A、X、XB、Y、YC、X、YD、Y、X
举一反三
- 下列公式中变元y是自由变元的是（ )。 A: ∃y(∀xP(x,y)→R(x,y)) B: ∀xQ(x)∧∀y∃xA(y,x) C: ∃xP(y)∨∀xQ(x,y) D: ∀yC(x,y)∧∀x﹁Q(x)
- 以下谓词公式中，( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- 以下谓词公式中，( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- 下列公式中存在变元 x 是自由变元的为 A: ∃xP(x)→∀xQ(x) B: ∃x∀yC(x,y)∨﹁P(x)→∀x﹁Q(x) C: ∀xQ(x,y)∧ ∃xA(x,y) D: ∀xR(x,y)∧∃x(P(x,y)∧Q(x))
- 求解偏微分方程[img=178x28]18030731a73d552.png[/img], 应用的语句是 A: DSolve[(x^2+y^2)D[u,x]+x yD[u,y]==0,u,{x,y}] B: DSolve[(x^2+y^2)Dt[u[x,y],x]+xyDt[u[x,y],y]==0,u[x,y],{x,y}] C: DSolve[(x^2+y^2)D[u[x,y],x]+xyD[u[x,y],y]==0,u[x,y]] D: DSolve[(x^2+y^2)D[u[x,y],x]+xyD[u[x,y],y]==0,u[x,y],{x,y}]