Matematikte Kullanılan Niceleyiciler:”Bazı”
kelimesine varlıksal niceleyici denir ve ∃
sembolü ile gösterilir . “Her” kelimesine de
evrensel niceleyici denir ve∀ sembolü ile
gösterilir.
P(x) Bir açık önerme olmak üzere ;
[∀x , P(x)]′≡∃x , P′(x)
[∃x , P(x)]′≡∀x , P′(x)
yazılabilir. Niceleyicilerde kullanılan bazı
işlemlerin değilleri şöyledir;
(>)′ ≡ ≤
(<)′ ≡ ≥
(=)′ ≡ ≠
(≥)′ ≡ <
(≤)′ ≡ >
(≠)′ ≡ =
Kaynak: http://www.msxlabs.org/forum/soru-cevap/278619-matematikte-kullanilan-niceleyiciler-nedir.html#ixzz2AbS4CVUc
