TOPICS
Search

Alternative Denial


The term used in propositional calculus for the NAND connective. The notation A|B is used for this connective, a most unfortunate choice in light of modern usage of A|B or A∥B to denote OR.


See also

Joint Denial, NAND

Explore with Wolfram|Alpha

References

Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 26, 1997.

Referenced on Wolfram|Alpha

Alternative Denial

Cite this as:

Weisstein, Eric W. "Alternative Denial." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/AlternativeDenial.html

Subject classifications