| 单词 | wff |
| 释义 | > as lemmaswff wff n. Logic = well-formed formula at well-formed adj. 2b. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > well-formed formula wff1944 well-formed formula1954 1944 A. Church in Ann. Math. Stud. xiii. 60 Thus we have that a w.f.f. is in prenex normal form if and only if all its quantifiers are initially placed, no two quantifiers are upon the same variable, and every variable occurring in a quantifier occurs at least once within the scope of that quantifier. 1956 A. Church Introd. Math. Logic (rev. ed.) I. i. 70 We shall hereafter use the abbreviations ‘wf’ for ‘well-formed’, ‘wff’ for ‘well-formed formula’, and ‘wffs’ for ‘well-formed formulas’. 1967 Encycl. Philos. V. 2/2 This property will clearly be perceived if a small letter is systematically replaced by any wff. 1971 G. Hunter Metalogic i. 4 What things are to be wffs. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。