Symbols:Symbolic Logic/NOR

From ProofWiki
Jump to navigation Jump to search

Logical NOR

$\downarrow$

Logical Nor. A binary operation on two propositions.

$P \downarrow Q$ means neither $P$ nor $Q$.


The symbol is named the Quine arrow, after Willard Van Orman Quine.


The $\LaTeX$ code for \(P \downarrow Q\) is P \downarrow Q .


Deprecated Symbols

Ampheck

$\curlywedge$

Logical NOR.

A binary operation on two propositions.


$P \curlywedge Q$ means neither $P$ nor $Q$.


The $\LaTeX$ code for \(P \curlywedge Q\) is P \curlywedge Q .