[填空题,1分] 自由变元代入规则是指对某_______出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且处处代入。