tümel niceleyici

evrensel niceleyici

P (x) önermesinden, yalnızca bu açık önermenin özellemelerinin tümü doğru olduğunda doğru olan önermeyi oluşturan değişken bağlayıcısı. Simgesi : (…)

bk. tümel niceleyici.

sayısal niceleyici

(…)

tikel niceleyici

(...)

Bir birli açık önermeden, ancak bu açık önermenin özellemelerinden en az biri doğru olduğunda doğru olan bir önermeyi oluşturan değişken bağlayıc...

varlık niceleyici

bk. tikel niceleyici.

varlıksal niceleyici

bk. tikel niceleyici.

varoluşsal niceleyici

Bir p önermesini sağlayan (en az) bir öğenin var olduğunu belirtmek için kullanılan «vardır» deyimi ya da (…) simgesi : p önermesini sağlayan bir x vardır = (…) Anlamdaş. varlık niceleyicisi.

niceleyici

Evrensel ya da varoluşsal . nicelik bk. sayallık.

"Her" ve "en az bir" sözcüklerinden biri. Bu sözcükler sırasıyla V ve 3 simgeleriyle gösterilir.

niceleyici değillemesi

(…) gibi değillenmiş bir tümel önermenin eşdeğeri olan (…) biçimine, (…) gibi değillenmiş bir tikel önermenin de eşdeğeri olan (…) biçimine dönüştürülebildiğini dile getiren çıkarım kuralları.