Symbols:Symbolic Logic/Deprecated Symbols/Sheffer Stroke

From ProofWiki
Jump to navigation Jump to search

Logical NAND


Logical NAND.

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.