Soru: "Bazı insanlar müzisyendir" önermesini tikel niceleyici (∃) kullanarak sembolik mantıkta ifade ediniz.
Çözüm:
- Öncelikle evreni (domain) belirleyelim: İnsanlar kümesi
- M(x): "x müzisyendir" şeklinde bir yüklem tanımlayalım
- Tikel niceleyici (∃) kullanarak: ∃x M(x)
- Bu ifade "En az bir x vardır öyle ki x müzisyendir" anlamına gelir
- Yani: Bazı insanlar müzisyendir
