前提：P→(Q→R),﹁S∨P,Q结论：S→R证明：1）P→(Q→R) 前提引入2）Q→(P→R) 1）等值置换3）Q 前提引入4）P→R…… (留给你)5）﹁S∨P……6...