 In Subsection 3.4, the contradictory negation \(\neg\) was distinguished from the strong negation \({\sim}\). In \(\mathbf{FO}\) the two coincide: for any first-order sentence \(\phi\), we have \(M \vDash{\sim}\phi\) iff \(M \vDash \neg \phi\). 