请教一下离散数学的UI规则用法

因为x可以取任意值啊，所以当然可以取C和y
就想你做应用题时，你可以设未知数为x，也可以设为y

你可以理解x可以取任意值啊，所以可以取C和y来表示。但按离散书中说的是，使用了换名规则。想再理解深入，那就是自由变元和约束变元的问题，之所以是有时写y，有时写c，是因为在运算时让人明白是自由变元还是约束变元，就如求前束范式时，前面用了x，y，所以就用c（一般书写是先用x，y，之后再有c）其实用c，用y都可以。最重要要让看得人明白那个是自由变元，那个是约束变元。希望对你有帮助。