Overview

Sheffer's stroke


Related Overviews

Charles Sanders Peirce (1839—1914) American philosopher and logician

truth-function

 

'Sheffer's stroke' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Quick Reference

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 not both p and 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 or 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 and q is false.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.