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

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