Definition:Logical Not/Boolean Interpretation

Definition
Let $\mathbf A$ be a statement form.

Let $\neg \mathbf A$ denote the negation operator.

The boolean interpretations for $\neg \mathbf A$ under the model $\mathcal M$ are:


 * $\left({\neg \mathbf A}\right)_\mathcal M = \begin{cases}

T & : \mathbf A_\mathcal M = F \\ F & : \mathbf A_\mathcal M = T \end{cases}$