前提_0101 前提 名 在推理上可以推出另一个判断来的判断。