| 单词 | sheffer stroke |
| 释义 | > as lemmasSheffer('s) stroke Sheffer('s) stroke: the symbol |; also, the logical function of non-conjunction (and sometimes non-disjunction) that it represents, described by Sheffer in 1913 ( Trans. Amer. Math. Soc. XIV. 481–8) (so Sheffer stroke function). ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > Polish school of symbolic logic > symbols parenthesis1880 incomplete symbol1910 stroke1925 horseshoe1926 Sheffer('s) stroke1932 hook1967 tilde1979 1932 C. I. Lewis & C. H. Langford Symbolic Logic ix. 306 The prefixes are analogues of Sheffer's stroke-function p|q in its two interpretations. 1950 L. M. Hammond et al. tr. D. Hilbert & W. Ackermann Princ. Math. Logic i. 11 Since ∨ and — can be expressed by Sheffer's stroke, the same holds for the other fundamental connectives. 1957 Encycl. Brit. XIV. 306/1 We shall use..the sign | to denote non-conjunction (‘p|q’ to mean ‘not both p and q’)... If the sign of non-conjunction (Sheffer's stroke) is taken as primitive, all the other connectives can be defined from this one. 1960 N. R. Scott Analog & Digital Computer Technol. x. 392 If the low-potential and high-potential signal levels are identified respectively with binary 0 and 1, this circuit performs the Sheffer stroke function. 1972 A. G. Howson Handbk. Terms Algebra & Anal. i. 2 More basic still are the Sheffer stroke | and the connective ↓..since all the other connectives can be defined in terms of | (or ↓) alone. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。