Jabarkan Notasi dari Kuantifikasi semesta

Dalam logika simbolik, kuantor semesta diberi simbol , sebuah huruf "A" terbalik, dengan Unicode U+2200. Simbol ini digunakan untuk mengartikan kuantifikasi semesta. Cara menggunakan simbol tersebut berawal dari Gerhard Gentzen pada tahun 1935, yang sejalan dengan notasi Giuseppe Peano  (sebuah huruf E terbalik) sebagai simbol kuantifikasi eksistensial.

Sebagai contoh, jika  menyatakan predikat "" dan  menyatakan himpunan bilangan asli, makaadalah pernyataan (yang salah). Pernyataan ini dapat dibaca sebagai, "untuk semua bilangan asli , berlaku ". Contoh yang serupa dengannya adalah: jika  menyatakan predikat " adalah komposit", makaadalah pernyataan (yang benar). Pernyataan ini dibaca, "untuk semua bilangan asli , jika  komposit, maka ".