0

我有以下条款:

3 
p(X)

3
p(x, X)

3
p(x,_)

我的问题是关于统一的。例如:“3”是否会与“p(X)”统一[一些 p,atm 无关紧要]

现在,我的直觉是这样的:第一学期将统一(X = 3)第二学期将统一(X = 3)第三学期我不确定,我认为它也会......(As _ = 3)

任何人都可以为我阐明这一点吗?谢谢

4

0 回答 0