企源知识库

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