Symbols:Symbolic Logic/Deprecated Symbols/Modified Ampheck

From ProofWiki
Jump to navigation Jump to search

Logical NAND

$P \mathop {\bar \curlywedge} Q$

Logical NAND.

A binary operation on two propositions.


$P \mathop {\bar \curlywedge} Q$ means not both $P$ and $Q$ together.


The $\LaTeX$ code for \(P \mathop {\bar \curlywedge} Q\) is P \mathop {\bar \curlywedge} Q .


Also see

The usual ways of expressing not both $P$ and $Q$ together nowadays are:

$\neg \paren {P \land Q}$
$\overline {P \land Q}$
$P \uparrow Q$


Historical Note

The modified ampheck was derived from the ampheck symbol, used by Charles Sanders Peirce to denote the Logical NOR.