Symbol (formal)
Token in a mathematical or logical formula / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Symbol (formal)?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
This article is about symbols in formal language theory. For other uses, see Symbol (disambiguation).
A logical symbol is a fundamental concept in logic, tokens of which may be marks or a configuration of marks which form a particular pattern.[citation needed] Although the term "symbol" in common use refers at some times to the idea being symbolized, and at other times to the marks on a piece of paper or chalkboard which are being used to express that idea; in the formal languages studied in mathematics and logic, the term "symbol" refers to the idea, and the marks are considered to be a token instance of the symbol.[dubious – discuss] In logic, symbols build literal utility to illustrate ideas.