Ingkaran dari pernyataan setiap bilangan genap yang dikalikan dengan sesama bilangan genap tidak menghasilkan bilangan ganjil adalah

Secara singkat ditulis
[tex]\neg[\forall x~P(x)]\equiv\exists\, x~\neg P(x)[/tex]
dibaca:
Tidak semua/setiap x adalah p = Ada x yang bukan p
bisa juga berarti
Tidak semua x bukan p = Ada x yang p

ingkaran = tidak,

Jadi soal di atas kira-kira artinya
Tidak setiap bilangan genap x genap, bukan ganjil.
sama artinya
Ada bilangan genap x genap yang ganjil

Lebih tepat (sesuai dengan soal)
Ada bilangan genap yang dikalikan dengan sesama bilangan genap, menghasilkan bilangan ganjil.