List of logic symbols
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, 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
- 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
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