例:{p→(q→r),q→(r→s,p}q→s 证明:pP p2=p→(q→r) A p3=(q pi,p2 MP p4=q→(r→s ◆p5=(q→(r→s)→(q→r)(q→s)A2 ◆p6=(q→r)( q→s) p4,P5 MP p7=(q→s) p3, P6 MP ◆所以有{p→(q→r),q→(r→s),p}g→s 例：{p→(q→r), q→(r→s),p}┝q→s  证明：p1=p A  p2= p→(q→r) A  p3=(q→r) p1 ,p2MP  p4= q→(r→s) A  p5=(q→(r→s))→((q→r)→(q→s)) A2  p6=(q→r)→(q→s) p4 ,p5MP  p7=(q→s) p3 ,p6MP  所以有{p→(q→r), q→(r→s),p}┝q→s