| 释义 |
adjunction|əˈdʒʌŋkʃən|
[ad. L. adjunctiōn-em, n. of action, f. adjunct- ppl. stem of adjung-ĕre: see adjunct. Cf. Fr. adjonction (14th c. in Littré.)]
1. The joining on or adding of a thing or person (to another).
1618Raleigh Rem. (1644) 270 That supposition, that your Majesties Subjects give nothing but with adjunction of their own interest. 1650R. Stapylton Strada's Lower Countrey Warres iii. 71 It never entered into his mind, by that adjunction of Bishops to impose the Spanish Inquisition upon the Low-countreys. 1817Coleridge Biogr. Lit. 182 This adjunction of epithets for the purpose of additional description. 1868Daily News 20 June 5/1 The adjunction of the telegraph business to the Post Office.
2. That which is joined on or added; an adjunct. ? Obs.
1603Holland Plutarch's Mor. 1355 The second syllable θε is an adjunction idle and superfluous. 1606― Sueton. Annot. 2 By Curia simply without any adiunction, is ment Curia Hostilia.
3. Math. [ad. F. adjonction (Galois 1846).] The relation holding between sets when without overlapping one another they are so ‘joined’ or continuous as to form another complete set; also, the process of putting them into this relation.
1896Bull. Amer. Math. Soc. Dec. 103 The formation of an algebraic ‘domain’ and..the nature of the process of ‘adjunction’ introduced by Galois. 1904F. Cajori Theory of Equations xiii. 135 This process of obtaining the domain Ω (a) from Ω is called adjunction. We say that we adjoin a to Ω and obtain Ω (a). 1947Courant & Robbins What is Math.? (ed. 4) iii. §2. 132 It is assumed that √κ is a new number not lying in f, since otherwise the process of adjunction of √κ would not lead to anything new.
4. Logic. The operation consisting in the joint assertion in a single formula of two previously asserted formulæ (see quot. 1932). Now often called conjunction.
1932Lewis & Langford Symbolic Logic. vi. §1. 126 Adjunction. Any two expressions which have been separately asserted may be jointly asserted. That is, if p has been asserted, and q has been asserted, then pq may be asserted. 1962Kneale Devel. Logic ix. §4. 550 In Principia Mathematica, which allows inference from P and P ⊃ Q to Q, it is possible to dispense with Lewis's rule of adjunction because p ⊃ [q ⊃ (p.q)] is a theorem. |