按现行会计制度的规定，短期借款所发生的利息，一般应记入（)科目。A.“营业外支出”B.“

用归结法证明下面推理．

前提：￢p→q，p→r，r→s．

结论：q∨s．

用归结法证明下面推理．

前提：p，￢p∨r，￢r∨s．

结论：s．

用归结法证明下面推理． 前提：p，￢p∨r，￢r∨s． 结论：s．

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

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

用真值表方法证明下面各题：

(1)P→(Q→R)=Q→(P→R)．

(2)(P→Q)∧(R→Q)=(P∨R→Q)．

(3)P→Q=￢P∨Q．