Hvis $M \models (\exists x Px \land \exists x Qx)$, så må $M \models \exists x (Px \land Qx)$.

En modell oppfyller formelen $\forall x \forall y (Rxy \to Ryx)$ hvis og bare hvis $R$ tolkes som en symmetrisk relasjon.

En modell oppfyller formelen $\forall x \forall y (Rxy \rightarrow Rxx)$ hvis og bare hvis $R$ tolkes som identitetsrelasjonen.

En modell oppfyller formelen $\forall x (Px \to Qx) \land \forall x (Qx \to Px)$ hvis og bare hvis $P$ og $Q$ tolkes som den samme relasjonen.