Prijeđi na sadržaj

Logički kvantifikator

Izvor: Wikipedija

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]

Izvori

[uredi | uredi kôd]
  1. Hrvatski jezični portal kvantifikator (pristupljeno 22. srpnja 2019.)
  2. FESB Osnove matematičke logike (pristupljeno 22. srpnja 2019.)
  3. a b Prirodoslovno-matematički fakultet u Zagrebu Vedran Čačić: Veky's MathLand -- Vježbe EM1: Kvantifikatori (pristupljeno 24. srpnja 2019.)