| 单词 | quantifier-free |
| 释义 | > as lemmasquantifier-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. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。