| 释义 |
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. |