Definition:Boolean Interpretation

Definition

Let $P$ be a propositional formula.

Let $\left\{{p_1, p_2, \ldots, p_n}\right\}$ be the set of atoms in $P$.

A boolean interpretation (or simply interpretation) for $P$ is a boolean function:

$v: \left\{{p_1, p_2, \ldots, p_n}\right\} \to \left\{{T, F}\right\}$