  A model of some set \(\Sigma\) of well-formed formulas is a valuation \(\alpha\) or an interpretation \(\alpha\) such that all \(A\) ∈ \(\Sigma\) are valid under \(\alpha\) . That \(\Sigma\) entails \(A\) means that each model of \(\Sigma\) is also a model of \(A\).