自由变元
- 网络Free Variable;Free and Bound variable
自由变元-
与某些教科书中存在量词消去规则只能用于无自由变元的公式不同，按照本文给出的条件，存在量词消去规则也可以用于有自由变元的公式，因而增强了系统的推理能力。
Contrasting with that the existential instantiation in some textbooks is used only for formulas without free variables , according to the condition we given , it may be also used for formulas with free variables and the ability to reason has increased . Freedom freedom ;