请在程序中2个划线处填入适当的语句，使得下面程序实现功能：计算并输出下列级数的前n项之和Sn，直到Sn大于q为止，q的值通过形参传入。 Sn = 2/1 + 3/2 + 4/3 + …… + (n+1)/n 例如，若q的值为50.0，则函数值为50.416695。 #include float fun( float q ) { int n; float s; n = 2; s = 2.0; while (s______q) { s=s+(float)(n+1)/n; ______; } return s; } int main() { printf(%f , fun(50)); }

由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s

请用归谬赋值法判定下列命题是否为重言式：（（p→q）∧（r→s））∨（p∨r）→q∨s（（p→q）∧（r→s））∨（￢q∨￢s）→￢p∨￢r（（p→q）∧（r→s））∧（p∧r）→q∧s（f∨g→（q→（i«k）））∧（q∧i）∧（q∨m→f）→（i«k）

已知一个单链表中,指针q指向指针p的前趋结点,若在指针q所指结点和指针p所指结点之间插入指针s所指结点,则需执行( ) A: q→next=s;p→next=s; B: q→next=s;s→next=p; C: q→next=s;q→next=p; D: q→next=s;s→next=q;

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

推理证明下列各题的有效结论。 ⑴p→ (q∨r )， (t∨ s)→p，(t∨ s) q∨r ⑵p∧q， (p? q)→ (t∨ s) (t∨ s)

( )不是正确的推理形式。 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

Q函数Q(s,a)

( )不是正确的推理形式。 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: P∧S B: P→S C: S D: P→(Q∨R) E: P→(Q→R) F: S→┐Q G: S→Q H: H. R