We'd like to use analytics cookies to understand which symbols people look up, so we know what to research next. They are not used for advertising and we set none of them unless you say yes. What we store.
A downward arrow between propositions, meaning 'neither'.
Also known as: NOR operator, Joint denial, Quine dagger, Neither-nor operator
The Peirce arrow is NOR: true only when both operands are false. Like the Sheffer stroke it is functionally complete on its own, and the pair are the only two binary connectives that are.
Denotes the NOR connective: true only when neither operand is true.
Contexts: Mathematics
Is, with the Sheffer stroke, one of only two binary connectives from which every truth function can be built.
Contexts: Mathematics
An arrow pointing downwards, its shaft upright and its head a pair of short diagonal strokes, set between two propositions.