| 释义 |
interdefinable, a. Logic.|ɪntədɪˈfaɪnəb(ə)l|
[f. inter- 2 a + definable a.]
Of constants, etc.: that can be defined interchangeably with each other. Hence interdefinaˈbility, the state or quality of being interdefinable; interdefiˈnition, one of two or more definitions that are interchangeable.
1948Ambrose & Lazerowitz Fund. Symbolic Logic iii. 41 With the exception of ‘∼’, which is absolutely primitive, all the symbols for the logical constants are inter⁓definable. Ibid. 36 The possibilities of interdefinition of the relatively primitive constants. 1951Mind LX. 265 The interdefinability of the constants of the system. 1955A. N. Prior Formal Logic i. 9 Evaluation of truth-functional forms, and the inter-definability of truth functions. 1958H. B. Curry et al. Combinatory Logic I. v. 155 (heading) Interdefinability of simple combinators. 1965Philos. Rev. LXXIV. 522 ‘Ought’ and ‘must’ are interdefinable. 1972H. B. Curry et al. Combinatory Logic II. xiii. 222 In §2 we considered interdefinitions among the basic arithmetical combinators. |