下列反应中，哪个是表示ΔH=ΔHfA、gB、r（s）的反应？（） A: B: g（ C: q）+ D: r（ E: q）= F: g G: r（s） H: 2 I: g（s）+ J: r2=2 K: g L: r（s） M: N: g（s）+1/2 O: r2（l）= P: g Q: r（s） R: S: g（s）+1/2 T: r2（S）= U: g V: r（s）

3.4对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论：(1)F:(Ǝx)(Ǝy)(P(x,y)G:(ꓯy)(Ǝx)(P(x,y)(2)F:(ꓯx)(P(x)∧(Q(a)∨Q(b)))G:(Ǝx)(P(x)∧Q(x))(3)F:(Ǝx)(Ǝy)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)(4)F1:(ꓯx)(P(x)→(ꓯy)(Q(y)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))

切槽循环指令G75在程序中的书写格式正确的是( ) A: G75 X(d)G75 R(r) Z(z) P(p) Q(q) F(f) B: G75 Z(z)G75 X(d) R(r) P(p) Q(q) F(f) C: G75 P(p)G75 X(d) R(r) Z(z) Q(q) F(f) D: G75 R(r)G75 X(d) Z(z) P(p) Q(q) F(f)

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数;前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x));结论:∃x(R(x)∧Z(x))。(1)∃x(Q(x)∧Z(x))P(2)Q(c)∧Z(c)ES(1)(3)∀x(Q(x)→R(x))P(4)Q(c)→R(c)US(3)(5)Q(c)T(2)I(6)R(c)T(2)(4)I(7)Z(c)

【单选题】与公式("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 )

与公式("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)

正面斜二测的轴向伸缩系数 。 A: p=q=r=1 B: p=q=1,r=0.5 C: p=r=1,q=0.5 D: q=r=1,p=0.5

正等轴测图中三个轴的轴向伸缩系数分别是()。 A: p=1, q=1, r=1 B: p=1, q=1, r=0.5 C: p=1, q=0.5, r=0.5 D: p=0.5, q=0.5, r=0.5

利用谓词的约束变元的换名规则和自由变元的代入规则，可将公式改写成______． A: (x)(P(y)→Q(x，y))∧R(z，s) B: (z)(P(z)→Q(z，s))∧R(x，s) C: (x)(P(s)→Q(x，s))∧R(x，s) D: (z)(P(s)→Q(z，s))∧R(z，s)

斜二轴测图的轴间伸缩系数为()? A: p=1，r=1，q=1 B: p=0.5，r=1，q=1 C: p=1，r=0.5，q=1 D: p=1，r=1，q=0.5