谓词公式[img=171x17]17e0a74ebd2e4cb.png[/img]永假式。
举一反三
- 谓词公式[img=226x28]17869c50204db14.png[/img]是( ). A: 永真式 B: 中性式 C: 无法确定 D: 永假式
- 谓词公式[img=226x28]17da6cb91f65525.png[/img]是( ). A: 永假式 B: 中性式 C: 永真式 D: 无法确定
- 求不定积分[img=132x48]17da6537fc8dad6.png[/img]； （ ） A: -(4*(cos(x/2)/2 + 2*sin(x/2)))/(17*exp(2*x)) B: (4*(sin(x/2)/2 + 2*sin(x/2)))/(17*exp(2*x)) C: (4*(cos(x/2)/2 + 2*sin(x/2)))/(17*exp(2*x)) D: (4*(cos(x/2)/2 + 2*cos(x/2)))/(17*exp(2*x))
- 设G、H是谓词公式，P是一个谓词，G＝[img=14x16]17d60d81544b19c.png[/img]xP(x),H＝[img=16x18]17d60d81690de9d.png[/img]xP(x),则公式G[img=20x15]17d60d81752176d.png[/img]H是(). A: 前束范式. B: 可满足的 C: 永真的 D: 永假的
- 求微分方程[img=143x21]17da5f14490e50e.png[/img]的通解,实验命令为(). A: dsolve(D2y-2*Dy+5*y=sin(2*x),x)ans =exp(x)*sin(2*x)*C2+exp(x)*cos(2*x)*C1+1/17*sin(2*x)+4/17*cos(2*x) B: dsolve('D2y-2*Dy+5*y=sin(2*x)','x')ans =cos(2*x)*(sin(4*x)/17 - cos(4*x)/68 + 1/4) - sin(2*x)*(cos(4*x)/17 + sin(4*x)/68) + C1*cos(2*x)*exp(x) - C2*sin(2*x)*exp(x) C: dsolve(D2y-2*Dy+5*y=sin(2*x),'x','y')ans =exp(x)*sin(2*x)*C2+exp(x)*cos(2*x)*C1+1/17*sin(2*x)+4/17*cos(2*x)