问答题 用归结法证明下面推理.
   前提:p,¬p∨r,¬r∨s.
   结论:s.
【正确答案】本题的前提与结论已满足归结证明的要求.
   证明:
   ①p
   前提引入;
   ②¬p∨r
   前提引入;
   ③r
   ①、②归结;
   ④¬r∨s
   前提引入;
   ⑤s
   ③、④归结.
   ①p
   前提引入;
   ②¬p∨r
   前提引入;
   ③r
   ①、②析取三段论;
   ④¬r∨s
   前提引入;
   ⑤s
   ③、④析取三段论.
【答案解析】