| 单词 | name variable |
| 释义 | > as lemmasname variable name variable n. ΚΠ 1941 Jrnl. Symbolic Logic 6 29 The variables introduced by generalization..are to comprise only ‘name-variables and relation-variables’. 1955 A. N. Prior Formal Logic 182 It would not be possible to lay it down..that in any thesis a description may be substituted for a name-variable. 1963 O. Wojtasiewicz tr. J. Łukasiewicz Elem. Math. Logic 103 We shall be concerned with a certain theory of name variables. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。