CEVAP:

Niceleme mantığının sembolik dili aşağıdaki sembolleri içerir:

(a) Önerme eklemleri: ~, ?, ?, ›, -

(b) Birey değişkenleri: x, y, z, ...

(c) Ad sembolleri: A, B, C, ...

(d) Yüklem sembolleri: F, G, H, ...

(e) Tümel-niceleyici: 6 (“her” olarak okunur) Tikel-niceleyici: 7 (“bazı” olarak okunur)

(f) Parantezler: (, ).