A truth assignment is a function which maps propositional logic
t (true) or
Some authors call a truth assignment a valuation or an interpretation.
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.
Copyright © 2014 — 2016 Barry Watson. All rights reserved.