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

A.﹁r∨﹁s

B.r∧s

C.﹁p∧﹁q

D.﹁p∨﹁q

E.r∨s

A.cosφ=P/Q

B.cosφ=Q/P

C.cosφ=Q/S

D.cosφ=P/S

A..S、P、Q

B.P、S、Q

C.P、Q、S

D.Q、S、P

A.cosφ=P／Q

B.cosφ=P／S

C.cosφ=Q／P

D.cosφ=X／R

A.s—＞next= p—＞next；p—＞next=s

B.q—＞next=s； s—＞next= p

C.p—＞next= s—＞next；s—＞next= p

D.p—＞next=s； s—＞next=q

A.Q/P

B.Q/S

C.P/Q

D.P/S

A.属于必然性推理

B.属于或然性推理

C.前提真则结论假

D.前提并不蕴涵结论