质疑必要条件假言判断的符号表达式

• Some doubts on the expression of the symbol of hypothetical judgement under necessary condition