自由变元代入规则是指对某_____出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入，且_____。