Coba jelasin Ekspresi ekuivalen dari Kuantifer (logika) dong

Jika D adalah domain dari x dan P(x) adalah predikat yang bergantung pada variabel objek x, maka proposisi universal dapat dinyatakan sebagai

Notasi ini dikenal sebagai dibatasi atau direlatifkan atau kuantifikasi terbatas. Sama halnya menulis,

Proposisi eksistensial dapat diekspresikan dengan kuantifikasi terbatas sebagai