以下正确的定义语句和赋值语句是 A: intb[3][5],(*p)[3],(*q)[5];p=b;q=b B: f1oatb[3][5],*p[3];p[0]=b[0];p[2]=*b+4 C: doubleb[3][5],s[5][3],*q;q=b;s=q D: intb[10],*q;char*s;q=b;s=b

下列哪一个是5个动物在连续的笼子里可以接受的安排( ) A: Q、S、R、T、U B: Q、T、U、S、R C: Q、U、T、S、R D: S、R、U、T、Q

推理证明:(p→q)∧(r→s),(q→t)∧(s→u),Ø(t∧u),p→rÞØp

推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t

公式("x) ($y)(P(x，z)→Q(y))→S(x，y)中的约束变元进行换名，正确的是 A: ("x) ($y) (P(x，u)→Q(y))→S(x，y) B: ("x) ($v)(P(u，z)→Q(v))→S(u，v) C: ("u) ($v) (P(u，z)→Q(v))→S(x，y) D: ("u) ($v)(P(u，t)→Q(v))→S(u，v)

( )不是正确的推理形式。 A: 前提： p∨q, pÛr, ~q∨s 结论： s∨ B: 前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u C: 前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q

‌( )不是正确的推理形式。‏ A: 前提： ~p∧q, p∨~r, r∨s, sÞu结论： u B: 前提： p∨q, pÛr, ~q∨s结论： s∨r C: 前提： pÞ(qÞr)结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q

试证明以下结论是有效结论 前提：p→(q→r), r→(¬s∨t), ¬u→(s∧¬t), p 结论：q→u

( )不是正确的推理形式。 A: 前提：￢p∧q,p∨￢r,r∨s,s→u 结论：u B: 前提：(p∧q)→r, ￢r∨s,￢s,p 结论：￢q C: 前提：(p∧q)→r,￢r∨s, ￢s,p 结论：q D: 前提：p∨q,p→s,q→r 结论：s∨

理想气体向真空膨胀，其下列函数的改变量为（ ） A: ΔU=0 ΔH=0 ΔS<0 B: ΔU<0 Q>0 ΔS>0 C: Q=0 W=0 ΔS<0 D: ΔU=0 Q=0 ΔS>0