证明 (P∨Q)∧(P→R) ∧(Q→S) 1-S∨R

问题描述:

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

那个符号我也不知道,卷子上印的.
很像“H”去掉右边那一竖