BSTS / Mantık Terimleri Sözlüğü
niceleme imi anlamı İng. quantification sign
x gibi bir değişkene uygulanmakla vx biçimindeki bir niceleyici oluşturan v mantıksal değişmezi. || Dizimsel türü: (p/p)/a Krş.. tümel niceleme imi, tikel niceleme imi. Örn. (…)