| 单词 |
interdefinable |
| 释义 |
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. |
英语词典包含277258条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。
相关内容：
相关热词搜索：interdefinable英英词典英英释义英语词汇意思用法释义英语
单词 interdebate 释义 interdebate, -denominational, -dentilsee inter- prefix.{var l=docume......