Soru: "Her asal sayı tek sayı değildir" önermesinin niceleme mantığındaki karşılığını yazınız. Evrensel küme: Doğal sayılar kümesi.
Çözüm: Önce yüklemleri tanımlayalım: $A(x)$: "x asal sayıdır", $T(x)$: "x tek sayıdır". Önerme "her asal sayı" ile başladığı için evrensel niceleyici ($\forall$) kullanılır, ancak "tek sayı değildir" ifadesi olumsuzluk içerir. İfade şöyle kurulur: $\forall x (A(x) \rightarrow \neg T(x))$. Bu, "Doğal sayılar kümesindeki her x için, eğer x asal sayı ise, o zaman x tek sayı değildir" anlamına gelir. Not: Bu önerme yanlıştır çünkü 2 asal ve çift sayıdır (tek değildir), ama 3, 5 gibi asal sayılar tek sayıdır.
