Get Babylon's Translation Software!
Free Download Now!
| Wikipedia English The Free Encyclopedia | Download this dictionary |
Valuation (mathematics)
Informally, a valuation is an assignment of particular values to the variables in a mathematical statement or equation. In logic and model theory, a valuation is either (i) an assignment of truth values to every atomic sentence, provided each element of the domain has a name in the case of first-order or higher languages, or (ii) a function from non-logical vocabulary to their corresponding objects defined on the domain (e.g. a function taking relation and function symbols to relations and functions defined on the domain, and constants to elements in the domain).
See more at Wikipedia.org...
This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License
