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

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

证明 （P∨Q）∧(P→R) ∧(Q→S) 1-S∨R证明A→(B→C),┐D∨A,B 1-D→C其中1-是个特殊符号 ,1和-连接住的那个符号,打不出来,就是H去掉右边那一竖那个符号
那个符号我也不知道,卷子上印的.
很像“H”去掉右边那一竖

那是什么符号啊
是倒着写的T吗 我都没见过这个符号 晕 也想不出来 以前学过这个的 你说的让我想不起来