1) lexical variable
词法变量
2) lexical-free variables
词法自由变量
3) lexical variable binding
词法变量约束
4) variable number of fuzzy sets
变量词集
6) complete quantifier elimination
量词消去法
1.
The following new theorems are obtained: Theorem 1 The Theory of Boolean algebra without atomic elements has a complete quantifier elimination i.
得到了下面的新定理 :定理 1 无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 。
补充资料：词法
1.填词的法则。 2.指语法学中研究词的形态变化的部分。包括词的构造﹑变化和分类等内容。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条