$p(x)$ ve $q(x)$ herhangi iki açık önerme olsun.
$$\forall x[p(x)\wedge q(x)]\Leftrightarrow \forall x p(x) \wedge \forall x q(x)$$
olduğunu nasıl gösterebiliriz?