| 单词 | well-formed formula |
| 释义 | > as lemmaswell-formed formula b. Logic. Designating a sequence of symbols that conforms to the formation rules of a logical system. Frequently in well-formed formula. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [adjective] > well-formed well-formed1932 the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > well-formed formula wff1944 well-formed formula1954 1932 Ann. Math. 33 352 A formula is said to be well formed if it is a variable. 1954 I. M. Copi Symbolic Logic vi. 184 In a logistic system..any formulas which on the intended interpretation do not become significant statements are not well formed formulas. 1978 A. G. Hamilton Logic for Mathematicians iii. 53 The use of parentheses in well-formed formulas is precisely given in the definition. 1996 S. Blackburn Oxf. Dict. Philos. 265/1 A well-formed formula of the propositional calculus is in conjunctive normal form. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。