quantifier-free formula

quantifier-free formula 基本解释

无量词公式

重点词汇

quantifier n. 数量词, 精于计算的人 [计] 量词

free a. 自由的, 享受政治权力的, 允许的, 免费的, 丰富的 vt. 释放, 解放, 使自由 adv. 自由地, 免费

formula n. 客套语, 公式, 准则 [计] 公式