Symbols:Symbolic Logic/Deprecated Symbols/Sheffer Stroke
< Symbols:Symbolic Logic | Deprecated Symbols(Redirected from Symbols:Sheffer Stroke)
Jump to navigation
Jump to search
Logical NAND
- $\mid$
A binary operation on two propositions.
$P \mid Q$ means not both $P$ and $Q$ together
This is known as the Sheffer stroke.
The $\LaTeX$ code for \(P \mid Q\) is P \mid Q .
Source of Name
This entry was named for Henry Maurice Sheffer.