Pertama, negasi kuantor. Negasi dari kata semua adalah ada, beberapa, atau sebagian. Sedangkan negasi dari kata ada adalah semua titik-titik tidak. Secara visual, negasi dari semua titik biru adalah ada yang tidak biru, seperti yang ditunjukkan tanda panah ini.