Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Valuation (logic)
open-in-new
<p>In <a href="/facts/Logic/8JnpJLtt">logic</a> and <a href="/facts/Model_theory/vLWVV8sQ">model theory</a>, a valuation can be: </p> <ul><li>In <a href="/facts/Propositional_logic/MNt5v31V">propositional logic</a>, an assignment of <a href="/facts/Truth_value/SY4e2w8l">truth values</a> to <a href="/facts/Propositional_variable/NtAz1rfI">propositional variables</a>, with a corresponding assignment of truth values to all <a href="/facts/Propositional_formula/eEV8YrAI">propositional formulas</a> with those variables.</li> <li>In <a href="/facts/First-order_logic/lcISqWIg">first-order logic</a> and higher-order logics, a <a href="/facts/Structure_(mathematical_logic)/GsMx1fEb">structure</a>, (the <a href="/facts/Interpretation_(logic)/goPmjjQG">interpretation</a>) and the corresponding assignment of a truth value to each sentence in the language for that structure (the valuation proper). The interpretation must be a <a href="/facts/Homomorphism/0gyqdEse">homomorphism</a>, while valuation is simply a <a href="/facts/Function_(mathematics)/CdReEKCh">function</a>.</li></ul>