公式∀x∀y（P（x,y)∨Q（y,z))∧∃xP（x,y)换名（)。

相似题目

• 已知y1（x）与y2（x）是方程y″+P（x）y′+Q（x）y=0的两个线性无关的特解，Y1（x）和Y2（x）分别是是方程y″+P（x）y′+Q（x）y=R1（x）和y″+P（x）y′+Q（x）y=R2（x）的特解。那么方程y″+P（x）y′+Q（x）y=R1（x）+R2（x）的通解应是：（）

  A . c1y1+c2y2 B . c1Y1（x）+c2Y2（x） C . c1y1+c2y2+Y1（x） D . c1y1+c2y2+Y1（x）+Y2（x）

  查看最佳答案

• 若y2（x）是线性非齐次方程y′+P（x）y=Q（x）的解，y（x）是对应的齐次方程y′+P（x）y=0的解，则下列函数中哪一个是y′+P（x）y=Q（x）的解（）？

  A . y=cy （x）+y （x） B . y=y （x）+c y （x） C . y=c[y （x）+y （x）] D . y=c y（x）-y （x）

  查看最佳答案

• 设随机变量X与Y相互独立，已知P（X≤1）=p，P（Y≤1）=q，则P（max（X，Y）≤1）等于（）．

  A . p+q B . pq C . p D . q

  查看最佳答案

• 尺寸字第一组X，Y，Z，U，V，W，P，Q，R用于确定（）坐标尺寸；第二组A，B、，C，D，E用于确定（）

  查看最佳答案

• 执行下列赋值语句后 X="123.45” Y=123.45 Z=.T. P=｛^2002-10-2809：30：25｝ Q=$123.45 内存变量X，Y，Z，P，Q的数据类型分别是（）。

  A . D、L、M，N，C B . T，L、Y、N，C C . C、N、L、T、Y D . N、C、L、T，Y

  查看最佳答案

• 固定循环的程序格式为：_____G98G××X～Y～Z～R～Q～P～F～。

  A . A、G80 B . B、G92 C . C、G99 D . D、G90

  查看最佳答案

• 固定循环的程序格式为（）G99G××X～Y～Z～R～Q～P～F～。

  A . A、G80； B . B、G92； C . C、G98； D . D、G90；

  查看最佳答案

• 设有关键码序列（Q，G，M，z，A，N，B，P，X，H，Y，S，T，L，K，E)，采用堆排序法进行排序，经过初始建堆后关键码

  设有关键码序列(Q，G，M，z，A，N，B，P，X，H，Y，S，T，L，K，E)，采用堆排序法进行排序，经过初始建堆后关键码值B在序列中的序号是（）。 A)1 B)3 C)7 D)9

  查看最佳答案

• 设论述域是自然数，P（r,y,z)表示“x+y=z”，L（x,y)表示“x＜ y”，用逻辑符表示下述断言： （a)对每一x和y，有一个z，使x十y=z。 （b)对所有x，x+0=x。 （c)没有z小于0。 （d)0并非小于一切x。 （e)4加3得7。

  查看最佳答案

• 一阶线性非齐次微分万栏y'=p（x)y+q（x)的通解是（)．

  A．y=e^-∫p(x)dx[∫q(x)e^∫p(x)dxdx+C] B．y=e^∫p(x)dx∫q(x)e^∫p(x)dxdx； C．y=e^∫p(x)dx[∫q(x)e^-∫p(x)dxdx+C]； D．y=Ce^-∫p(x)dx

  查看最佳答案

• 已知y1（x）和y2（x）是方程y''+p（x）y'+Q（x）y=0的两个线性无关的特解， Y1（x）和Y2 （x）分别是方程y''+p（x）y'+Q（x）y=R1（x）和y''+p（x）y'+Q（x）y=R2（x）的特解。那么方程y''+p（x）y'+Q（x）y=R1（x）y+R2（x）的通解应是（）

  A．c1y1+c2y2B. c1Y1（x）+c2Y2（x） C．c1y1+c2y2+Y1（x） D. c1y1+c2y2+Y1（x）+Y2（x）

  查看最佳答案

• 设y₁，y₂是一阶非齐次线性微分方程y'+P（x)y=Q（x)的两个解，若常数λ，μ使得λy₁+μy₂为y'+P（x)y=Q（x)解，而λy₁-μy₂为y'+P（x)y=0的解。则（)。

  A．A.λ=1/2，μ=1/2 B．B.λ=-1/2，μ=-1/2 C．C.λ=2/3，μ=1/3 D．D.λ=2/3，μ=2/3

  查看最佳答案

• 设有关键码序列（Q，G，M，Z，A，N，B，P，X，H，Y，S，T，L，K，E)，采用堆排序法进行排序，经过初始建堆后关键码

  设有关键码序列(Q，G，M，Z，A，N，B，P，X，H，Y，S，T，L，K，E)，采用堆排序法进行排序，经过初始建堆后关键码值B在序列中的序号是（）。 A.1 B.3 C.7 D.9

  查看最佳答案

• 公式（x）P（x）→（y）Q（x,y）的前束范式为（x） （y） （P（x）→Q（x,y） ）（）

  是 否

  查看最佳答案

• 证明齐次方程P（x，y)dx+Q（x，y)dy=0有积分因子

  证明齐次方程P(x，y)dx+Q(x，y)dy=0有积分因子<img src='https://img2.soutiyun.com/ask/2020-10-26/972580048387806.png' />

  查看最佳答案

• 试对曲面∑:z=x²+y²,x²+y²≤1,P=y²,Q=x,R=z²验证斯托克斯公式

  查看最佳答案

• 在公式中∀y∃xp（x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，把每个y值映射到存在的那个x。这种函数叫做（)。

  A．依赖函数 B．Skolem函数 C．决定函数 D．多元函数

  查看最佳答案

• 证明:若两曲面F₁（x,y,z)=0,F₂（x,y,z)=0在点P（x₀,y₀,z₀)正交（两曲面在点P

  证明:若两曲面F₁(x,y,z)=0,F₂(x,y,z)=0在点P(x₀,y₀,z₀)正交(两曲面在点P的法线垂直),则在点P(x₀,y₀,z₀)有 <img src='https://img2.soutiyun.com/ask/2020-11-13/974138679474776.png' /> 并验证两曲面3x²+2y²=2x+1,x²+y²+z²-4y-2z+2=0在点(1,1,2)正交.

  查看最佳答案

• 孔加工固定循环 G90 /G91 G98/G99 G73 ~ G89 X ~ Y ~ Z ~ R ~ Q ~ P ~ F ~ K ~通用格式中的 G99 表示（）

  A．在 XY 平面定位 B．返回到 R 平面 C．返回到起始点 D．快速移动到 R 平面

  查看最佳答案

• 若y1（x）是线性非齐次方程y '+ p（x）= Q（x）的解，y1（x）是对应的齐次方程y'+p（x）y=0的解，则下列函数中哪一个是y '+ p（x）y= Q（x）的解？（）

  A．y=cy1（x）+y2（x） B．y=y1（x）+c2y2（x） C．y=c[y1 （x）+y2（x）] D．y=c1y（x）-y2（x）

  查看最佳答案

• 核衰变反应公式为：^A_ZX→^A－4_Z－2Y＋⁴₂He＋Q：式中Q为（）

  A．α衰变 B．β^-衰变 C．母核 D．子核 E．衰变能

  查看最佳答案

• 设函数p（x)和q（x)在闭区间[a,b]上连续.证明解的唯一性定理:微分方程y"+p（x)y'+q（x)y=0（a≤x≤b)满足初始条件y（a)=y₀,y'（a)=y'[其中y₀,y'是常数]的解是唯一的.

  查看最佳答案

• 设随机变量X与Y相互独立,X的概率分布为P{X=i}=1/3（i=-1,0,1),Y的概率密度为记2=X+Y.（I)求P{Z≤

  设随机变量X与Y相互独立,X的概率分布为P{X=i}=1/3(i=-1,0,1),Y的概率密度为 <img src='https://img2.soutiyun.com/ask/2020-11-17/974478666965364.png' /> 记2=X+Y. (I)求P{Z≤1/2|X=0); (II)求Z的概率密度f_Z(z).

  查看最佳答案

• 对于公式（x)（y（P（x)^Q（)-（x)R（x;y),下列说法正确的是（)。

  A、y是自由元 B、y是约束变元 C、(x的辖域是RXxy) D、(x)的辖域是()(x)Q()-(x)R(xy)

  查看最佳答案