Meaning of "Sheffer's stroke" in the English dictionary

ETYMOLOGY OF THE WORD SHEFFER'S STROKE

Named after H. M. Sheffer (1883–1964), US philosopher.

Etymology is the study of the origin of words and their changes in structure and significance.

PRONUNCIATION OF SHEFFER'S STROKE

Sheffer's stroke

GRAMMATICAL CATEGORY OF SHEFFER'S STROKE

Sheffer's stroke is a noun.

A noun is a type of word the meaning of which determines reality. Nouns provide the names for all things: people, objects, sensations, feelings, etc.

WHAT DOES SHEFFER'S STROKE MEAN IN ENGLISH?

Sheffer stroke

In Boolean functions and propositional calculus, the Sheffer stroke, named after Henry M. Sheffer, written " ", "Dpq", or "↑", denotes a logical operation that is equivalent to the negation of the conjunction operation, expressed in ordinary language as "not both". It is also called nand or the alternative denial, since it says in effect that at least one of its operands is false. In Boolean algebra and digital electronics it is known as the NAND operation. Like its dual, the NOR operator, NAND can be used by itself, without any other logical operator, to constitute a logical formal system. This property makes the NAND gate crucial to modern digital electronics, including its use in NAND flash memory and computer processor design.

Definition of Sheffer's stroke in the English dictionary

The definition of Sheffer's stroke in the dictionary is a function of two sentences, equivalent to the negation of their conjunction, and written p| q where p,q, are the arguments: p| q is false only when p,q are both true. It is possible to construct all truth functions out of this one alone.

TRANSLATION OF SHEFFER'S STROKE

Find out the translation of Sheffer's stroke to 25 languages with our English multilingual translator.

The translations of Sheffer's stroke from English to other languages presented in this section have been obtained through automatic statistical translation; where the essential translation unit is the word «Sheffer's stroke» in English.

• Translator English - Chinese: 谢费尔的行程
• Translator English - Spanish: Golpe de Sheffer
• English: Sheffer´s stroke
• Translator English - Hindi: Sheffer के स्ट्रोक
• Translator English - Arabic: السكتة الدماغية شيفر ل
• Translator English - Russian: Ход Шеффера
• Translator English - Portuguese: Curso de Sheffer
• Translator English - Bengali: শেফারের স্ট্রোক
• Translator English - French: Le coup de Sheffer
• Translator English - Malay: Stroke Sheffer
• Translator English - German: Sheffer Schlaganfall
• Translator English - Japanese: シェファーのストローク
• Translator English - Korean: Sheffer 의 스트로크
• Translator English - Javanese: Stroke
• Translator English - Vietnamese: Đột quỵ Sheffer của
• Translator English - Tamil: ஷெஃப்பரின் பக்கவாதம்
• Translator English - Marathi: शेफर चे स्ट्रोक
• Translator English - Turkish: Sheffer´ın inmesi
• Translator English - Italian: Colpo di Sheffer
• Translator English - Polish: Skok Sheffera za
• Translator English - Ukrainian: Хід Шеффера
• Translator English - Romanian: Accident vascular cerebral Sheffer lui
• Translator English - Greek: Εγκεφαλικό επεισόδιο Σίφερ του
• Translator English - Afrikaans: Sheffer se beroerte
• Translator English - Swedish: Sheffer stroke
• Translator English - Norwegian: Sheffer sin hjerneslag

10 ENGLISH BOOKS RELATING TO «SHEFFER'S STROKE»

Discover the use of Sheffer's stroke in the following bibliographical selection. Books relating to Sheffer's stroke and brief extracts from same to provide context of its use in English literature.

Mathematical Excursions, Enhanced Edition

TABLE 3.13 Sheffer's Stroke p p q q T T F T F T F T T F F T In 1913, the logician Henry M. Sheffer created a connective that we now refer to as Sheffer's stroke (or NAND). This connective is often denoted by the symbol . Table 3.13 shows that ...

Richard Aufmann, Joanne Lockwood, Richard Nation, 2014

Mathematical Excursions

In 1913, the logician Henry M. Sheffer created a connective that we now refer to as Sheffer's stroke (or NAND). This connective is often denoted by the symbol . Table 3.13 shows that p q is equivalent to p q. Sheffer's stroke p q is false when ...

Richard Aufmann, Joanne Lockwood, Richard Nation, 2012

Mathematical Excursion, Enhanced Edition

Excursion Sheffer's Stroke and the NAND Gate Exercise Set 3.4 Table 3.12 1100 Input streams 1010 Output. pq TT F TF T FT T FF T Table 3.11 Sheffer's stroke In 1913, the logician Henry M. Sheffer created a connective that we now refer to as  ...

Richard Aufmann, Joanne Lockwood, Richard Nation, 2009

Logic

prove that Sheffer's stroke alone must be adequate too. As you might expect, the proof proceeds by finding semantically equivalent truth-functions for '~' and 'v' in terms of '|' alone. So, there are only two cases to worry about. Here are the ...

Paul Tomassi, 2013

Mathematical thinking and quantitative reasoning

Table 2.10 Sheffer's stroke In 1913, the logician Henry M. Sheffer created a connective that we now refer to as Sheffer's stroke (or NAND). This connective is often denoted by the symbol . Table 2.10 shows that is equivalent to Sheffer's stroke is ...

Richard N. Aufmann, 2007

Logic For Dummies

Just when everything looks most unfortunate, a surprise visitor appears: the |- operator. The |-operator is pronounced nand operator (short for not and). It's sometimes called Sheffer's stroke, after inventor, Henry Sheffer. The statement x | y is ...

Mark Zegarelli, 2007

Natural Deduction: An Introduction To Logic With Real ...

Actually, greater economy of expression still can be achieved through the use of either of two new operators, Peirce's Arrow Operator 'i,' and Sheffer's Stroke Operator '|,' in terms of either of which all the other operators can be defined?

Richard T.W. Arthur, 2011

The Development of Modern Logic

Among the results to be mentioned are Sheffer's (re)discovery (1913) of the possibility of defining all Boolean propositional connectives starting from the notion of incompatibility (Sheffer's stroke). Using Sheffer's stroke, Nicod (1916– 1919) was ...

Department of Philosophy University of Tampere Leila Haaparanta Professor, Finland, 2009

The Realism-Antirealism Debate in the Age of Alternative Logics

Take the following simple example: suppose that instead of defining classical logic with the usual conjunction, disjunction, implication and negation constants ( and bottom), we use Sheffer's stroke (and bottom). It is well known that classical ...

Shahid Rahman, Giuseppe Primiero, Mathieu Marion, 2011

The Oxford Handbook of Wittgenstein

... of Russell's paper entitled “On Matter—The Problem Stated,” there are jottings in Russell's and Wittgenstein's hands which reveal that they were discussing truth -tables and Sheffer's stroke (McGuinness 1988, 160). In the verso,12 the Sheffer  ...

Oskari Kuusela, Marie McGinn, 2011