Jabarkan Sifat dari Kuantifikasi eksistensial

Fungsi proposisional terkuantifikasi adalah pernyataan; dengan demikian, seperti pernyataan, fungsi terkuantifikasi dapat dinegasikan. Simbol  digunakan untuk menunjukkan negasi.

Misalnya, jika P(x) adalah predikat "x lebih besar dari 0 dan kurang dari 1", maka, untuk domain diskursus X dari semua bilangan asli, Kuantifikasi eksistensial "Ada bilangan asli x yang lebih besar dari 0 dan kurang dari 1" dapat dinyatakan secara simbolis sebagai:

Hal tersebut bisa dibuktikan salah. Sejujurnya, harus dikatakan, "Tidak ada kasus bahwa ada bilangan asli x yang lebih besar dari 0 dan kurang dari 1", atau, secara simbolis: