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

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