Truth Assignment

A truth assignment is a function which maps propositional logic variables to t (true) or f (false). Some authors call a truth assignment a valuation or an interpretation.

References

Chang, C-L, Lee, R C-T. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.
Doets, Kees. From Logic to Logic Programming. MIT Press, 1994.
Harrison, John. Handbook of Practical Logic and Automated Reasoning. Cambridge, 2009.