Pertama, mari kita pelajari Negasi Kuantor. Jika ada pernyataan 'Semua P', maka negasinya adalah 'Ada P yang bukan'. Sebaliknya, jika pernyataannya menggunakan kata 'Ada atau Beberapa P', maka negasinya berubah menjadi 'Semua P bukan'. Perhatikan ilustrasi titik merah yang membantah lingkaran biru ini.