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