BSTS / Mantık Terimleri Sözlüğü
niceleyici değillemesi anlamı İng. quantifier negation Alm. Quantornegation Fr. negation du quantificateur
(…) 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ı.