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 规则p8》s蕴含q 规则t 由7》等值9》q 规则t由6》8》假言推论10》...