| 释义 |
implicational, a. Logic.|ɪmplɪˈkeɪʃənəl|
[f. implication + -al.]
Of, concerned with, or using implication.
1881H. MacColl in Phil. Mag. XI. 40 (title) Implicational and equational logic. 1881J. Venn Symbolic Logic xviii. 377 In this case the implicational mode of expression certainly tells its tale more simply and obviously. 1906B. Russell in Amer. Jrnl. Math. XXVIII. 198 Thus both p and not-p may be replaced, in implicational formulae, by equivalences. a1943R. G. Collingwood Idea of Hist. (1946) 262 This implicational relation is a compulsive one. 1951J. ᴌukasiewicz Aristotle's Syllogistic 22 It is always easy to deduce from an implicational thesis the corresponding rule of inference. 1955A. N. Prior Formal Logic 49 ᴌukasiewicz has shown that a single axiom for the ‘implicational calculus’ must contain at least 13 letters. 1964Language XL. 264 Most of his universals are ‘implicational’, of the type ‘if a language has a category of gender, it always has a category of number’. 1970Ibid. XLVI. 551 These studies reveal that socially significant linguistic features occur in an implicational series such that the presence of some feature A in the speech of a certain individual means that the speaker will also be found to use features B, C, and D. Ibid. 552 Since implicational analysis requires binary decisions..how can such..decisions be made? 1971Newslet. Amer. Dial. Soc. Feb. 16 Implicational analysis..‘attempts not to describe a set of speech acts but to model the idealized competence of the persons involved in those speech acts’. 1972Computer Jrnl. XV. 292/2 One can define the set of all strings which are proofs in implicational calculus.
Hence impliˈcationally adv., in an implicational manner.
1922W. E. Johnson Logic II. v. 108 Such a trio of equations are taken to be implicationally independent of one another. 1964Current Res. & Devel. Sci. Documentation XIII. 220 Extensive investigations are also being carried out on procedures of proof in implicationally ordered formal systems. |