Niceleyiciler: Her ve Bazı
Niceleyiciler matematiksel ifadelerde "ne kadar" sorusuna cevap verir. İki temel niceleyici var ve bunları karıştırmaman çok önemli.
"Her" niceleyicisi (∀) evrensel niceleyici olarak adlandırılır ve önüne geldiği elemanların tamamını kapsar. "∀x∈N, x≥0" ifadesi "her doğal sayı sıfırdan büyük veya eşittir" anlamına gelir.
"Bazı" niceleyicisi (∃) varlıksal niceleyici olup en az bir eleman olduğunu belirtir. "∃x∈Z, 5x<20" ifadesi "bazı tam sayıların 5 katı 20'den küçüktür" demektir.
Açık önermelerin değilini alırken niceleyiciler yer değiştirir: ∀x,p(x)'in değili ∃x,p'(x) olur. Bu kural sınav sorularında sıkça çıkar, mutlaka öğren!
Unutma: "Her" derken hepsini kast edersin, "bazı" derken en az birini - bu farkı kafanda net tut!