Periksa apakah frasa berikut merupakan rumus yang terbentuk dengan baik ∃x P(x)
Ya, frasa ∃x P(x) adalah rumus yang terbentuk dengan baik dalam logika predikat. Ini adalah kuantifikasi eksistensial yang menyatakan "ada x sehingga P(x) benar".