In mathematical logic, especially model theory, non-logical symbols are elements of a formal language whose interpretation may change depending on the model. In first-order logic, these usually consist of constant symbols, function symbols, and predicates.
In mathematical logic, especially model theory, non-logical symbols are elements of a formal language whose interpretation may change depending on the model. In first-order logic, these usually consist of constant symbols, function symbols, and predicates.
Source: Wikipedia "Non-logical symbol" · CC BY-SA 4.0
Share this article: X · Bluesky