Logički kvantifikator (kvant, kvantum + lat. -ficatio: činjenje ≃ facere: činiti, načiniti) ili logički količitelj je svaki simbol koji pokazuje vrijedi li neka oznaka za sve ili samo za neke dijelove cjeline.Hrvatski jezični portal kvantifikator (pristupljeno 22. srpnja 2019.)
Poznati su univerzalni kvantifikator "∀" (za svaki) i egzistencijalni kvantifikator "∃" (postoji). Koristimo ih npr. kod izražavanja pomoću predikata. FESB Osnove matematičke logike (pristupljeno 22. srpnja 2019.) Postoji i kvantifikator jedinstvenosti ("postoji najviše jedan") koji nije kvantifikator u strogo logičkom smislu, ali je prikladan kao pokrata za izjave koje bi inače zvučale presloženo. Pri pisanju kvantificiranja mora se paziti na redoslijed.Prirodoslovno-matematički fakultet u Zagrebu Vedran Čačić: Veky's MathLand -- Vježbe EM1: Kvantifikatori (pristupljeno 24. srpnja 2019.)
Ograničeni kvantifikatori su kvantifikatori koji preciziraju skup iz kojeg "izvlače" vrijednosti za svoju varijablu.
Vidi Lindströmov kvantifikator Opći kvantifikator Eliminiranje kvantifikatora
Izvori
Kategorija:Logika