英语词汇“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
随便看	to fall to pieces to fall to powder to fall to purpose to fall to the ground to fall to the lot of to fall to the lot of a person to fall to the share of to fall to the sword to fall to the worst to fall to work to fall together to fall together by the ears to fall under discussion to fall unto to fall upon to fall upon a person's neck to fall upon ears to fall upon etc ears to fall upon hard times to fall upon lot to fall upon one's feet to fall upon one's legs to fall upon receptive ears to fall upon stint to fall upon the ear

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

> as lemmas