Mathematical logic and foundations First-order logic Concept
Term
Summary
A term is an expression of a first-order language that names an object. Terms are built from variables and constant symbols by applying function symbols of the signature. In a structure, once the variables have values, each term has a value, which is an element of the structure. Terms play the role of nouns in logic, while formulas play the role of statements.
Where this leads
14 pages build on this one.
Further reading
About this page
| Tag | 6D3WA7N2W4 |
|---|---|
| URI | m2://6D3WA7N2W4 |
| Kind | concept |
| Writing | W0 stub |
| MSC | 03B10, 03C07 |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
Used by
- Equational theory
- Well-formed formula
- Identity
- Free lattice
- Unification
- Equational logic
- Sentence
- Term algebra
- Term evaluation
- Herbrand's theorem
- Term operation
- Substitution
- Word problem for free lattices