| 释义 |
definiens Logic.|dɪˈfɪnɪɛnz|
[a. med.L. dēfīniens (not in Du Cange), pres. pple. of L. dēfīnīre define v.]
The defining part of a definition; the phrase that states the meaning; in Mathematical Logic, the verbal or symbolic expression to which a word or symbol being introduced by definition into a system is declared to be equivalent. (Cf. prec.)
[a1277Petrus Hispanus Summulae Logicales (1947) 3.03 Unumquodque definiens in sua definitione sive definito.] 1871T. M. Lindsay tr. Ueberweg's Syst. Logic 173 The definiens has here a wider extent than the definiendum. 1910,1941[see definiendum]. |