Turinys:
Apibrėžimas - Ką reiškia „Quantifier“?
Logine prasme, kiekybinis rodiklis yra kalbos elementas, padedantis sugeneruoti kiekybinę vertę, kuri yra konstrukcija, nurodanti egzempliorių skaičių tam tikrame diskurso srityje, tenkinančiame nurodytą atvirą formulę. Kiekybiniai rodikliai dažniausiai naudojami logikoje, natūraliose kalbose ir diskrečioje matematikoje.
„Techopedia“ paaiškina „Quantifier“
Kiekybiniai rodikliai naudojami kiekybiškai išreikštuose reiškiniuose, kuriuose laisvieji kintamieji yra susieti kiekybiškai. Kitaip tariant, predikatų kintamieji yra įvertinti kiekybiškai. Predikatinėje logikoje naudojami du gerai žinomi kiekybiniai rodikliai: universalusis ir egzistencinis. Visuotinis kiekybinis rodiklis teigia, kad jo apimties teiginiai yra teisingi kiekvienai unikalaus kintamojo reikšmei, tuo tarpu egzistencinio kiekybinio rodiklio atveju teiginiai, kad jo apimtis yra teisingi tik kai kurioms konkretaus kintamojo reikšmėms. Visuotinis kvantifikatorius žymimas simboliu ∀, kuris yra tarsi apverstas A. Egzistencinis kvantifikatorius žymimas simboliu ∃, kuris yra tarsi atgalinis E.
Kvantifikatoriaus laipsnis nurodo maksimalų galimą kiekybinių įtaisų lizdo gylį tam tikroje formulėje. Reikia pažymėti, kad kiekybinių elementų tvarka yra labai svarbi logikos prasmei. Kiekybiniai rodikliai yra plačiai naudojami predikatinėje logikoje ir diskrečioje matematikoje, nes jie padeda išversti duotą loginį teiginį.
