Sheffer's stroke

﻿
Sheffer's stroke
Both Peirce in 1880 and the American logician H. M. Sheffer in 1913 realized that the truth-functions of elementary logic could all be defined from a single function. Defining p / q to mean neither p nor q, p / p is equivalent to not-p, (p / q )/ (p / q ) means pq, and so on. The sign for this truth-function is Sheffer's stroke: p / q is true only when p is false and q is false. A functionally complete system can also be built from a single sign for the function that is true when p is false or q is false.

Philosophy dictionary. . 2011.

Look at other dictionaries:

• sheffer's stroke — ˈshefə(r)z noun Usage: usually capitalized 1st S Etymology: after Henry M. Sheffer died 1964 American philosopher 1. : joint denial 2. : alternative denial …   Useful english dictionary

• stroke function — Sheffer io funkcija statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f;… …   Automatikos terminų žodynas

• Sheffer function — Sheffer io funkcija statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f;… …   Automatikos terminų žodynas

• Sheffer'io funkcija — statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f; fonction NON OT, f ryšiai …   Automatikos terminų žodynas

• Sheffer-Funktion — Sheffer io funkcija statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f;… …   Automatikos terminų žodynas

• Sheffer stroke — This article is about the logical NAND operator. For the electronic NAND gate, see Negated AND gate. For other uses, see Nand (disambiguation). Venn diagram of In Boolean functions and propositional calculus, the Sheffer stroke, named after …   Wikipedia

• Sheffer — Henry Maurice Sheffer Henry Maurice Sheffer (1882 1964) est un logicien américain. Sommaire 1 Vie 2 Travaux 3 Références 4 Voir aussi …   Wikipédia en Français

• fonction de Sheffer — Sheffer io funkcija statusas T sritis automatika atitikmenys: angl. NOT AND function; Sheffer function; stroke function vok. NICHT UND Funktion, f; Sheffer Funktion, f rus. функция НЕ И, f; функция Шеффера, f pranc. fonction de Sheffer, f;… …   Automatikos terminų žodynas

• Henry M. Sheffer — Henry Maurice Sheffer (1882 1964) was an American logician.Sheffer was a Polish Jew born in the Ukraine, who immigrated to the USA with his parents. He was educated at Harvard University, learning logic from Josiah Royce. Sheffer spent most of… …   Wikipedia

• Henry M. Sheffer — Henry Maurice Sheffer Henry Maurice Sheffer (1882 1964) est un logicien américain. Sommaire 1 Vie 2 Travaux 3 Références 4 Voir aussi …   Wikipédia en Français