List of logic symbols

List of symbols used to express logical relations

In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents,^[1] and the LaTeX symbol.

Basic logic symbols

Advanced or rarely used logical symbols

The following symbols are either advanced and context-sensitive or very rarely used:

See also

• Philosophy portal

• Glossary of logic
• Józef Maria Bocheński
• List of notation used in Principia Mathematica
• List of mathematical symbols
• Logic alphabet, a suggested set of logical symbols
• Logic gate § Symbols
• Logical connective
• Mathematical operators and symbols in Unicode
• Non-logical symbol
• Polish notation
• Truth function
• Truth table
• Wikipedia:WikiProject Logic/Standards for notation

References

1. "Named character references". HTML 5.1 Nightly. W3C. Retrieved 9 September 2015.
2. Although this character is available in LaTeX, the MediaWiki TeX system does not support it.
3. Quine, W.V. (1981): Mathematical Logic, §6
4. Hintikka, Jaakko (1998), The Principles of Mathematics Revisited, Cambridge University Press, p. 113, ISBN 9780521624985.

Further reading

• Józef Maria Bocheński (1959), A Précis of Mathematical Logic, trans., Otto Bird, from the French and German editions, Dordrecht, South Holland: D. Reidel.

External links

• Named character entities in HTML 4.0