Soru: "Bazı asal sayılar çift sayıdır" önermesini tikel niceleyici ile ifade ediniz ve doğruluğunu kontrol ediniz.
Çözüm:
- Evren: Asal sayılar kümesi
- Ç(x): "x çift sayıdır" yüklemi
- Sembolik ifade: ∃x Ç(x)
- Asal sayıları düşünelim: 2, 3, 5, 7, 11, ...
- 2 sayısı hem asal hem de çift sayıdır
- En az bir asal sayı (2) çift olduğu için ∃x Ç(x) doğrudur
- Bu nedenle önerme doğrudur
