Mantıkta, önermelerin niceliğini (miktarını) belirten sembollere niceleyiciler denir. İki temel niceleyici vardır:
- Evrensel Niceleyici ($\forall$): "Her", "tüm", "bütün" gibi ifadelerle kullanılır ve bir özelliğin kümedeki her eleman için geçerli olduğunu belirtir. Örneğin, "Tüm insanlar ölümlüdür." Sembolik olarak, $P(x)$ "x ölümlüdür" önermesi olmak üzere, $\forall x P(x)$ şeklinde gösterilir.
- Tikel Niceleyici ($\exists$): "En az bir", "bazı", "vardır ki" gibi ifadelerle kullanılır ve bir özelliğin kümedeki en az bir eleman için geçerli olduğunu belirtir. Örneğin, "Bazı öğrenciler çalışkandır." Sembolik olarak, $Q(x)$ "x çalışkandır" önermesi olmak üzere, $\exists x Q(x)$ şeklinde gösterilir.
Şimdi seçenekleri tikel niceleyici ($\exists$) açısından inceleyelim:
- A) En az bir insan mutludur: Bu ifade, "Mutlu olan en az bir insan vardır" anlamına gelir. Bu, tikel niceleyicinin ($\exists$) doğrudan tanımına uyar. Sembolik olarak, $M(x)$ "x mutludur" önermesi olmak üzere, bu ifade $\exists x M(x)$ şeklinde gösterilebilir.
- B) Tüm insanlar mutludur: Bu ifade, "Her insan mutludur" anlamına gelir. Bu, evrensel niceleyici ($\forall$) ile ifade edilir. Sembolik olarak, $\forall x M(x)$ şeklinde gösterilir.
- C) Hiçbir insan mutlu değildir: Bu ifade, "Her insan mutlu değildir" veya "Mutlu olan hiçbir insan yoktur" anlamına gelir. Bu da evrensel niceleyici ($\forall$) ile ifade edilir. Sembolik olarak, $\forall x \neg M(x)$ şeklinde gösterilebilir. Aynı zamanda, "En az bir insan mutludur" ifadesinin olumsuzu ($\neg \exists x M(x)$) olarak da düşünülebilir.
- D) Eğer insansa mutludur: Bu ifade, bir koşullu önermedir ve genellikle evrensel niceleyici ile birlikte kullanılır. Örneğin, "Her x için, eğer x insansa, x mutludur" ($\forall x (İnsan(x) \rightarrow M(x))$). Tek başına tikel niceleyiciyi ifade etmez.
Bu analizlere göre, "En az bir insan mutludur" ifadesi tikel niceleyici ($\exists$) ile doğrudan ifade edilebilir.
Cevap A seçeneğidir.
