Sheffer Logic.
(ˈʃɛfə(r))
[The name of Henry M. Sheffer (1883–1964), U.S. philosopher.]
Sheffer('s) stroke: the symbol {vb}; 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).
| 1932 Lewis & Langford Symbolic Logic ix. 306 The prefixes are analogues of Sheffer's stroke-function p{vb}q in its two interpretations. 1950 L. M. Hammond et al. tr. Hilbert & Ackermann's Princ. Math. Logic i. 11 Since {logicor} and — can be expressed by Sheffer's stroke, the same holds for the other fundamental connectives. 1957 [see non-conjunction 2]. 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 {vb} and the connective {decr}..since all the other connectives can be defined in terms of {vb} (or {decr}) alone. |