Soru: B = {1, 3, 5, 7, 9} kümesi için "Bu kümede bazı elemanlar 10'dan küçüktür" önermesini tikel niceleyici ile ifade ediniz ve doğruluğunu inceleyiniz.
Çözüm:
- Evren: B kümesi
- K(x): "x < 10" yüklemi
- Sembolik ifade: ∃x ∈ B, K(x)
- Kümedeki tüm elemanları kontrol edelim: 1<10? Evet, 3<10? Evet, 5<10? Evet, 7<10? Evet, 9<10? Evet
- Tüm elemanlar 10'dan küçük olduğu için ∃x ∈ B, K(x) ifadesi doğrudur
- Aslında burada tümel niceleyici de kullanılabilirdi ama tikel niceleyici yeterlidir
