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

Обозначим: Г(x) — «x является городом», С(x) — «x является столицей государства».

Слово «существует» задаёт квантор существования.

Ответ: \(\exists x\,(Г(x)\land С(x))\).