• 2022-06-06
    以下方程是一阶齐次线性微分方程的是
    A: y=p(x)y
    B: y'=p(x)y
    C: y'=p(x)y+x
    D: yy'=p(x)+x
  • B

    内容

    • 0

      下述不是∀x∃yP(x,y)否定的是? A: ∀x∀y(﹁P(x,y)) B: ∃x ∀y (﹁P(x,y)) C: ∀x∃y(﹁P(x,y)) D: ∃x ∃y(﹁P(x,y))

    • 1

      二阶常系数线性微分方程标准形式为 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

    • 2

      一阶非齐次线性微分方程 $y'=p(x)y+q(x)$ 的通解是( ). A: $\displaystyle y=e^{-\int p(x)dx}[\int q(x)e^{\int p(x)dx}dx+C]$ B: $\displaystyle y=e^{\int p(x)dx}[\int q(x)e^{\int p(x)dx}dx+C]$ C: $\displaystyle y=e^{\int p(x)dx}[\int q(x)e^{-\int p(x)dx}dx+C]$ D: $y=Ce^{-\int p(x)dx}$

    • 3

      一阶公式"∀x(P(x)∨∃yR(y))→Q(x)中量词""x的辖域是()。 A: (P(x)∨∃yR(y)) B: P(x) C: ∀x(P(x)∨∃yR(y)) D: (P(x)∨∃R(y))→Q(x)

    • 4

      把 "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 ))