p(x) ve q(x) herhangi iki açık önerme olsun.
∀x[p(x)∧q(x)]⇔∀xp(x)∧∀xq(x)
olduğunu nasıl gösterebiliriz?