证明 （P∨Q）∧(P→R) ∧(Q→S) 1-S∨R
证明A→(B→C),┐D∨A,B 1-D→C
其中1-是个特殊符号 ,1和-连接住的那个符号,打不出来,就是H去掉右边那一竖那个符号