| 单词 |
definiendum |
| 释义 |
definiendum Logic.|dɪˌfɪnɪˈɛndəm|
[a. L. dēfīniendum ‘thing to be defined’, neut. of gerundive of dēfīnīre define v.]
That which is, or is to be, defined; the phrase of which a definition states or purports to state the meaning; in Mathematical Logic, the word or symbol (or the formula devised to contain the symbol) that is being introduced by definition into a system. (Cf. next.)
1871[see definiens]. a1897W. Wallace Lect. (1898) 81 If definition that may be called which practically negatives the existence of the definiendum. 1910Whitehead & Russell Principia Math. I. i. 11 We will give the names of definiendum and definiens respectively to what is defined and to that which it is defined as meaning. 1941O. Helmer tr. Tarski's Introd. Logic vi. 150 The definiens is an arbitrary sentential function containing exactly the same variables as the definiendum, and containing no constants except primitive terms and terms previously defined. 1964N. Rescher Introd. Logic iii. 30 The expression whose meaning the definition attempts to explain..is called the definiendum. |
英语词典包含277258条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。
相关内容：
相关热词搜索：definiendum英英词典英英释义英语词汇意思用法释义英语
字词 浏览一遍 释义 once-over 汉译英翻译词典收录405719条汉英翻译词条，基本涵盖了全部常用......