In
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
, a set of
symbols
A symbol is a mark, sign, or word that indicates, signifies, or is understood as representing an idea, object, or relationship. Symbols allow people to go beyond what is known or seen by creating linkages between otherwise different concep ...
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
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
. Additionally, the subsequent columns contains an informal explanation, a short example, the
Unicode
Unicode or ''The Unicode Standard'' or TUS is a character encoding standard maintained by the Unicode Consortium designed to support the use of text in all of the world's writing systems that can be digitized. Version 16.0 defines 154,998 Char ...
location, the name for use in
HTML
Hypertext Markup Language (HTML) is the standard markup language for documents designed to be displayed in a web browser. It defines the content and structure of web content. It is often assisted by technologies such as Cascading Style Sheets ( ...
documents,
and the
LaTeX
Latex is an emulsion (stable dispersion) of polymer microparticles in water. Latices are found in nature, but synthetic latices are common as well.
In nature, latex is found as a wikt:milky, milky fluid, which is present in 10% of all floweri ...
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
Józef Maria Bocheński or Innocentius Bochenski (30 August 1902 – 8 February 1995) was a Polish Dominican, logician and philosopher.
Biography
Bocheński was born on 30 August 1902 in Czuszów, then part of the Russian Empire, to a fami ...
*
List of notation used in Principia Mathematica
*
List of mathematical symbols
*
Logic alphabet, a suggested set of logical symbols
*
*
Logical connective
*
Mathematical operators and symbols in Unicode
*
Non-logical symbol
*
Polish notation
Polish notation (PN), also known as normal Polish notation (NPN), Łukasiewicz notation, Warsaw notation, Polish prefix notation, Eastern Notation or simply prefix notation, is a mathematical notation in which Operation (mathematics), operator ...
*
Truth function
*
Truth table
A truth table is a mathematical table used in logic—specifically in connection with Boolean algebra, Boolean functions, and propositional calculus—which sets out the functional values of logical expressions on each of their functional arg ...
*
Wikipedia:WikiProject Logic/Standards for notation
References
Further reading
*
Józef Maria Bocheński
Józef Maria Bocheński or Innocentius Bochenski (30 August 1902 – 8 February 1995) was a Polish Dominican, logician and philosopher.
Biography
Bocheński was born on 30 August 1902 in Czuszów, then part of the Russian Empire, to a fami ...
(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 entitiesin
HTML
Hypertext Markup Language (HTML) is the standard markup language for documents designed to be displayed in a web browser. It defines the content and structure of web content. It is often assisted by technologies such as Cascading Style Sheets ( ...
4.0
{{Mathematical symbols notation language
*
*