Logički kvantifikator: razlika između inačica
Prijeđi na navigaciju
Prijeđi na pretraživanje
Bot: Automatski unos stranica |
m bnz |
||
| Redak 1: | Redak 1: | ||
Logički kvantifikator''' (kvant, kvantum + lat. -ficatio: činjenje ≃ facere: činiti, načiniti) ili '''logički količitelj''' je svaki [[simbol (logika)|simbol]] koji pokazuje vrijedi li neka oznaka za sve ili samo za neke dijelove cjeline.<ref>[http://hjp.znanje.hr/index.php?show=search_by_id&id=elZmUBY%3D&keyword=kvantifikator Hrvatski jezični portal] ''kvantifikator'' (pristupljeno 22. srpnja 2019.)</ref> | |||
Poznati su [[univerzalni kvantifikator]] "[[∀]]" (za svaki) i [[egzistencijalni kvantifikator]] "[[∃]]" (postoji). Koristimo ih npr. kod izražavanja pomoću [[predikat]]a.<ref> [http://www.mathematics.digital/matematika1/predavanja/node4.html FESB] Osnove matematičke logike (pristupljeno 22. srpnja 2019.)</ref> 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.<ref name=ČačićKvantifikatori>[https://web.math.pmf.unizg.hr/~veky/em/vjezbe/quantif.html Prirodoslovno-matematički fakultet u Zagrebu] Vedran Čačić: ''Veky's MathLand -- Vježbe EM1: Kvantifikatori'' (pristupljeno 24. srpnja 2019.)</ref> | Poznati su [[univerzalni kvantifikator]] "[[∀]]" (za svaki) i [[egzistencijalni kvantifikator]] "[[∃]]" (postoji). Koristimo ih npr. kod izražavanja pomoću [[predikat]]a.<ref> [http://www.mathematics.digital/matematika1/predavanja/node4.html FESB] Osnove matematičke logike (pristupljeno 22. srpnja 2019.)</ref> 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.<ref name=ČačićKvantifikatori>[https://web.math.pmf.unizg.hr/~veky/em/vjezbe/quantif.html Prirodoslovno-matematički fakultet u Zagrebu] Vedran Čačić: ''Veky's MathLand -- Vježbe EM1: Kvantifikatori'' (pristupljeno 24. srpnja 2019.)</ref> | ||
Posljednja izmjena od 23. ožujak 2022. u 10:30
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.)