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

  • 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

  • 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

  • Henry 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

  • Henry Maurice Sheffer — Pour les articles homonymes, voir Sheffer (homonymie). Henry Maurice Sheffer (1882 1964) est un logicien américain. Sommaire 1 Vie 2 Travaux …   Wikipédia en Français

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • propositional calculus — The logical calculus whose expressions are letters representing sentences or propositions, and constants representing operations on those propositions, to produce others of higher complexity. The operations include conjunction, disjunction,… …   Philosophy dictionary

  • Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”