Definition
Interpretation (Propositional Logic)
In propositional logic, an interpretation is a truth assignment (sometimes ) that maps each atom to a truth value, where is the set of atoms.
The assignment extends to formulas compositionally: the value of a complex formula is determined by the values of its subformulas.