tikel 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

(…)

tümel niceleyici

(...)

Bir birli açık önermeden,ancak bu açık önermenin özellemelerinin tümü doğru olduğunda doğru olan bir önermeyi oluşturan değişken bağlayıcısı: (…) Krş...

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ı.