英语词汇“quantifier-free”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典-新都网

单词	quantifier-free
释义	> as lemmas quantifier-free quantifier-free adj. Logic that does not use or involve quantifiers. ΚΠ 1948 Jrnl. Symbolic Logic 13 185 F* is the associated quantifier-free formula of F. 1963 O. Wojtasiewicz tr. J. Łukasiewicz Elem. Math. Logic 95 Detachment..is the same as in the quantifier-free sentential calculus. 2004 Bull. Symbolic Logic 10 376 The system has axioms ϕ, Γ where ϕ is a true quantifier-free formula. extracted from quantifiern. < as lemmas
随便看	put-put put-puts put-putted put-putting put-through put-together put-up put-up job put-up price put-up-able-with put-up-or-shut-up put-up-or-shut-up time put-upon put-you-up puta putage putain putamen putaminous putanie putanism putaside putation putationary putationer

英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

> as lemmas