Valuation (mathematics)
Model theory
In logic and model theory, a valuation is a map from the set of variables of a first-order language to the universe of some interpretation of that language.
Related Topics:
Logic - Model theory - First-order language
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
Informally, it is an assignment of particular values to the variables in a mathematical statement or equation. So for example the statement "x = y" is satisfied by (i.e. true for) valuations in which "x" is mapped to the same value as "y", and not satisfied by (i.e. false for) all other valuations. This may seem trivial in such a simple case, but is part of the process of formalising logical arguments using mathematical symbols.
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
~ Table of Content ~
| ► | Introduction |
| ► | Model theory |
| ► | Algebra and algebraic geometry |
~ What's Hot ~
Avatar, The Blind Side, A Nightmare On Elm Street, The Mummy 4 Rise Of The Aztec, Alvin And The Chipmunks The Squeakquel, Twilight, New Moon, The Princess And The Frog, Percy Jackson The Olympians The Titan S Curse, Madagascar 3, The Karate Kid, Legion, The Book Of Eli, Hannah Montana The Movie, 500 Days Of Summer, Sorority Row, All About Steve, The Hangover, The Goods Live Hard Sell Hard, Up In The Air,
~ Community ~
| ► | History Forum Come and discuss about History, Civilizations, Historical Events and Figures |
| ► | History Web-Ring A community of sites, blogs and forums dedicated to History. Do not hesitate to submit your site. |
and are licensed under the GNU Free Documentation License.
Lexicon - Privacy Policy - Spiritus-Temporis.com ©2005.