Jabarkan adalah ekuivalen logika dengan dari Kuantifikasi eksistensial

Untuk beberapa bilangan asli n, n adalah ganjil dan n·n = 25.

Di sini, "dan" adalah konjungsi logika.

Dalam  logika simbolik, "∃" (huruf "E" terbalik atau terbalik, dalam font sans-serif) digunakan untuk menunjukkan kuantifikasi eksistensial. Jadi, jika P(a, b, c) is predikat "a·b = c", dan  adalah himpunan dari bilangan asli, maka