Soru: "Sınıfta bazı öğrencilerin gözlüklü olduğu" biliniyor. Bu durumu tikel niceleyici ile nasıl ifade edersiniz? Açıklayınız.
Çözüm:
- Evren: Sınıftaki öğrenciler kümesi
- G(x): "x gözlüklüdür" yüklemi
- Tikel niceleyici ile ifade: ∃x G(x)
- Bu ifade "Sınıfta en az bir öğrenci vardır ki gözlüklüdür" anlamına gelir
- Tikel niceleyici, en az bir öğrencinin gözlüklü olduğunu garanti eder ama kaç öğrencinin gözlüklü olduğunu söylemez
- Bu ifade, sadece bir öğrenci gözlüklü olsa da, tüm öğrenciler gözlüklü olsa da doğrudur
