有个问题没懂 例如为什么有时候推理时 任意X(F(X)→u(x))写成F(C)→u(C)有时候又写成 F(y)→u(y