Coba jelasin Himpunan kosong dari Kuantifikasi eksistensial dong

Rumus  adalah salah, maka dari P(x). Hal ini karena  menunjukkan himpunan kosong, dan tidak ada x dari deskripsi, x dengan predikat yang diberikan P(x) adalah himpunan kosong. Lihat pula prinsip vacuous untuk informasi lebih lanjut.