Tolong jelaskan mengenai Ekspresi ekuivalen dari Kuantifer (logika)

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