Logički kvantifikator
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.[1]
Poznati su univerzalni kvantifikator "∀" (za svaki) i egzistencijalni kvantifikator "∃" (postoji). Koristimo ih npr. kod izražavanja pomoću predikata.[2] 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.[3]
Ograničeni kvantifikatori su kvantifikatori koji preciziraju skup iz kojeg "izvlače" vrijednosti za svoju varijablu.[3]
Vidi
Izvori
- ↑ Hrvatski jezični portal kvantifikator (pristupljeno 22. srpnja 2019.)
- ↑ FESB Osnove matematičke logike (pristupljeno 22. srpnja 2019.)
- ↑ 3,0 3,1 Prirodoslovno-matematički fakultet u Zagrebu Vedran Čačić: Veky's MathLand -- Vježbe EM1: Kvantifikatori (pristupljeno 24. srpnja 2019.)