有个问题没懂 例如为什么有时候推理时 任意X(F(X)→u（x））写成F(C)→u（C）有时候又写成 F(y)→u（y
有个问题没懂 例如为什么有时候推理时 任意X(F(X)→u（x））写成F(C)→u（C）有时候又写成 F(y)→u（y ）
赞 shangshang07 幼苗
共回答了14个问题采纳率：85.7% 举报
你可以理解x可以取任意值啊,所以可以取C和y来表示.但按离散书中说的是,使用了换名规则.想再理解深入,那就是自由变元和约束变元的问题,之所以是有时写y,有时写c,是因为在运算时让人明白是自由变元还是约束变元,就如求前束范式时,前面用了x,y,所以就用c（一般书写是先用x,y,之后再有c）其实用c,用y都可以.最重要要让看得人明白那个是自由变元,那个是约束变元.
1年前
5
可能相似的问题
你能帮帮他们吗