Universal kəmiyyət göstəricisi üçün mənbəyə bax


'''Universal kəmiyyət göstəricisi, kvantor''' (işarəsi: <math>\forall</math>, ∀) —  ''mövcudluq kəmiyyət göstəricisindən'' fərqli olaraq '''bütün''' təyin olunmuş elementlər üçün doğru olan şərtdir, burada şərt yalnız göstərilən çoxluqdan bəzi '''fərdi''' elementlər üçün doğrudur. Formal olaraq, bir çoxluğun müəyyən bir predikatın həqiqət domenində olduğunu göstərmək üçün istifadə olunan kəmiyyət göstəricisidir. “Hər kəs üçün...”, “hamı üçün...”, “hər kəs üçün...” və ya “hamısı...”, “hər kəs üçün...”, “hər hansı...” kimi oxuyun.

Universal kəmiyyət göstəricisi elə bir obyektdir ki, onun köməyi ilə hansısa məntiqi ifadənin ''hər şey'' üçün və ya ən azı bu ifadənin məna kəsb etdiyi tərif sahəsi üçün doğru olması ifadəsi rəsmiləşir. Predikat və simvolik məntiqdə istifadə olunur.

== Tarixi ==
<math>\forall</math> simvolu universal kvantor üçün [[1935|1935-ci]] ildə alman riyaziyyatçısı Gerhard Gentzen tərəfindən ekzistensial kvanterin simvolu ilə bənzətmə yolu ilə təqdim edilmişdir. <math>\exists</math> [[1897|1897-ci]] ildə [[Cüzeppe Peano]] tərəfindən təqdim edilmişdir.
[[Kateqoriya:Riyazi məntiq]]