Soru: A = {2, 4, 6, 8, 10} kümesi verilsin. "Bu kümede bazı elemanlar 5'ten büyüktür" önermesinin doğru olup olmadığını tikel niceleyici ile gösteriniz.
Çözüm:
- Evren: A kümesi
- B(x): "x > 5" yüklemini tanımlayalım
- ∃x ∈ A, B(x) ifadesini kontrol edelim
- Kümedeki elemanları tek tek inceleyelim: 2>5? Hayır, 4>5? Hayır, 6>5? Evet, 8>5? Evet, 10>5? Evet
- En az bir eleman (6, 8, 10) 5'ten büyük olduğu için ∃x ∈ A, B(x) doğrudur
- Dolayısıyla önerme doğrudur
