In logic and model theory, a valuation can be: In propositional logic, an assignment of truth values to propositional variables, with a corresponding assignment of truth values to all propositional formulas with those variables. Wikipedia