Concept
Sheffer stroke
Overview
logical operation that asserts that at least one of its operands is false
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Philosophers who discussed Sheffer stroke
Related ideas
- Negation
- Logical conjunction
- Propositional logic
- Logical NOR
- Principia Mathematica
- Polish notation
- Truth table
- Jan Łukasiewicz
- Boolean algebra (structure)
- Formal system
- Bertrand Russell
- Alfred North Whitehead
- Functional completeness
- Charles Sanders Peirce
- Wilhelm Ackermann
- De Morgan's laws
- Boolean function
- Proposition
- David Hilbert
- Duality (mathematics)
- Jean Nicod
Place in the tradition
Part of First-order logic.