构造推理的证明.前提:q蕴含于p,q等值于s,s等值于t,t合取r.结论:p合取q合取s合取r

构造推理的证明.前提:q蕴含于p,q等值于s,s等值于t,t合取r.结论:p合取q合取s合取r
构造推理的证明.前提:q蕴含于p,q等值于s,s等值于t,t合取r.结论:p合取q合取s合取r

构造推理的证明.前提:q蕴含于p,q等值于s,s等值于t,t合取r.结论:p合取q合取s合取r
1>t合取r 规则p ；
2》t 规则p由1》化简；
3》r 规则p由1》化简；
4》s等值于t 规则p；
5》t蕴含s 规则t由4》等值
6》s 规则t 由2》5》假言推论
7》q等值s 规则p
8》s蕴含q 规则t 由7》等值
9》q 规则t由6》8》假言推论
10》q蕴含p 规则p
11》p 规则t由9》10》假言推论
12》p合取q合取s合取r 由3》6》7》9》