我有以下条款:
3
p(X)
3
p(x, X)
3
p(x,_)
我的问题是关于统一的。例如:“3”是否会与“p(X)”统一[一些 p,atm 无关紧要]
现在,我的直觉是这样的:第一学期将统一(X = 3)第二学期将统一(X = 3)第三学期我不确定,我认为它也会......(As _ = 3)
任何人都可以为我阐明这一点吗?谢谢
我有以下条款:
3
p(X)
3
p(x, X)
3
p(x,_)
我的问题是关于统一的。例如:“3”是否会与“p(X)”统一[一些 p,atm 无关紧要]
现在,我的直觉是这样的:第一学期将统一(X = 3)第二学期将统一(X = 3)第三学期我不确定,我认为它也会......(As _ = 3)
任何人都可以为我阐明这一点吗?谢谢