| 释义 |
one argument Logic
[f. one numeral a. + argument n. 3.]
The variable of a function or operator of only one variable; also attrib.
1941O. Helmer tr. Tarski's Introd. Logic 107 In order to differentiate between two-termed and three-termed functional relations, we speak, in the first case, of functions of one variable or of functions with one argument. 1951J. ᴌukasiewicz in Proc. R. Irish Acad. LIV. A. 27 Such values are not only constant functors of one propositional argument, as N, negation, for example, but also complex expressions like a functor of one argument. 1955H. Leblanc Introd. Deductive Logic 191 We have studied..so-called one-argument functions like the functions square of, double of, and so on. 1957A. N. Prior Time & Modality 2 A system must contain a pair of one-argument operators forming statements out of statements. 1965Hughes & Londey Elem. Formal Logic iii. 19 The following are monadic operators, (i.e. they take one argument). 1967H. Weber tr. J. ᴌukasiewicz in S. McCall Polish Logic iii. 47 Since this proposition is valid for all functors with one argument, it is also valid for the functor ‘M’. |