Definition:Name
From ProofWiki
Disambiguation
This page lists articles associated with the same title.
If an internal link led you here, you may wish to change the link to point directly to the intended article.
Name may refer to:
- Proper Name: a symbol used to identify a particular object uniquely (otherwise known as a constant or parameter).
- Arbitrary Name: a symbol assigned to an arbitrarily selected object from a given universe.
The context in which these definitions are understood is predicate logic.
