Interpretation (Propositional Logic)

logic

Definition

Interpretation (Propositional Logic)

In propositional logic, an interpretation is a truth assignment $I:\mathcal{P}\to \{0,1\}$ that maps each proposition symbol to a truth value.