[填空题,1分] 自由变元代入规则是指对某_______出现的个体变元可用个体常元或用与原子公式中所有个体变元不同的个体变元去代入,且处处代入。
出自:河南理工大学-计算机科学与技术-离散数学