Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Mathematical notation
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
== Meaning and interpretation == The [[syntax]] of notation defines how symbols can be combined to make [[Expression (mathematics)#Well-defined expressions|well-formed expressions]], without any given meaning or interpretation. The [[semantics]] of notation interprets what the symbols represent and assigns a meaning to the expressions and formulas. The reverse process of taking a statement and writing it in logical or mathematical notation is called [[Logic translation|translation]]. === Interpretation === Given a [[formal language]], an [[Interpretation (logic)|interpretation]] assigns a [[domain of discourse]] to the language. Specifically, it assigns each of the constant symbols to objects of the domain, function letters to functions within the domain, predicate letters to statments, and vairiables are assumed to range over the domain. === Map–territory relation === The [[map–territory relation]] describes the relationship between an object and the representation of that object, such as the [[Earth]] and a [[map]] of it. In mathematics, this is how the number 4 relates to its representation "4". The quotation marks are the formally correct usage, distinguishing the number from its name. However, it is fairly common practice in math to commit this falacy saying "Let x denote...", rather than "Let "x" denote..." which is generally harmless.
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)