Universal kəmiyyət göstəricisi

Universal kəmiyyət göstəricisi, kvantor (işarəsi: $\forall$, ∀) — 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

$\forall$ simvolu universal kvantor üçün 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. $\exists$ 1897-ci ildə Cüzeppe Peano tərəfindən təqdim edilmişdir.