Существует город, который является столицей государства.

Пусть C(x): «x — город», K(x): «x является столицей государства». Тогда:

\(\exists x\,(C(x)\land K(x))\).