İçindekiler:
Tanım - Quantifier ne anlama geliyor?
Mantıksal olarak, bir nicelik belirleyici, belirli bir açık formülü tatmin eden verilen söylem alanındaki örneklerin sayısından bahseden bir yapı olan bir nicelemenin üretilmesine yardımcı olan bir dil öğesidir. Nicelleştiriciler büyük ölçüde mantık, doğal diller ve ayrık matematikte kullanılır.
Techopedia, Nicelleştiriciyi açıklıyor
Niceleyiciler, serbest değişkenlerin niceleyiciler tarafından bağlandığı nicelenmiş ifadelerde kullanılır. Başka bir deyişle, yüklemlerin değişkenleri nicelleştiriciler tarafından nicelendirilir. Yüklem mantığında kullanılan iyi bilinen iki niceleyici vardır: evrensel niceleyici ve varoluşsal niceleyici. Evrensel nicelik belirleyici, kapsamındaki ifadelerin benzersiz değişkenin her değeri için geçerli olduğunu iddia ederken, varoluşsal nicelik belirtici söz konusu olduğunda, kapsamındaki ifadelerin yalnızca belirli değişkenin bazı değerleri için geçerli olduğunu iddia eder. Evrensel nicelik belirteci ters A şeklinde olan ∀ sembolü ile gösterilir. Varolan nicelik belirteci, ters E gibi olan ∃ sembolü ile gösterilir.
Niceleme sırası, belirli bir formül içindeki niceleyiciler için mümkün olan maksimum yuvalama derinliğini belirtir. Nicelleştiricilerin sırasının mantığın anlamı için çok önemli olduğuna dikkat edilmelidir. Nicelleştiriciler, belirli bir mantıksal ifadenin çevirisinde yardımcı oldukları için yüklem mantığı ve ayrık matematikte geniş kullanım alanına sahiptir.
