• Source: 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

Kata Kunci Pencarian:

• Kuantifikasi eksistensial
• Kuantifer (logika)
• Kuantifikasi semesta
• Agama Hindu
• Irisan (teori himpunan)
• Spirited Away
• Himpunan kuasa
• Kritik terhadap Israel
• Alfabet Deseret
• List of logic symbols
• List of typographical symbols and punctuation marks
• Glossary of mathematical symbols
• Symbol (formal)
• First-order logic
• Tee (symbol)
• Horseshoe (symbol)
• Wedge (symbol)
• Mathematical operators and symbols in Unicode
• Logic gate