No Boolean Interpretation Models a WFF and its Negation

Theorem
Let $\mathcal M$ be a model for propositional logic.

Let $\mathbf A$ be a WFF of propositional logic.

Then $\mathcal M$ can not satisfy both $\mathbf A$ and $\neg \mathbf A$.

Proof
Let $\mathcal M \models \mathbf A$.

Then $\mathcal M \left({\mathbf A}\right) = T$ by definition of a model for propositional logic.

By definition of logical negation, $\mathcal M \left({\neg \mathbf A}\right) = F$.

Now suppose $\mathcal M \models \neg \mathbf A$.

Then $\mathcal M \left({\neg \mathbf A}\right) = T$, again by definition of a model for propositional logic.

From this contradiction comes the result.