kvantorius
Kvantorius – tai loginis arba matematikos terminas, reiškiantis kiekybinį apibrėžimą, t.y. nurodantį, kiek objektų tenkina tam tikrą sąlygą. Jis nusako, ar teiginys yra teisingas visiems arba bent vienam nagrinėjamų objektų.
Pagrindiniai kvantoriai:
1. Universalusis kvantorius (∀) – skaitomas "visiems" arba "kiekvienam".
Pavyzdys:
∀ x ∈ natūraliųjų skaičių, x ≥ 1.
Reikšmė: "Kiekvienam natūraliajam skaičiui x galioja, kad x yra didesnis arba lygus 1."
2. Egzistencinis kvantorius (∃) – skaitomas "egzistuoja" arba "yra toks".
Pavyzdys:
∃ x ∈ natūraliųjų skaičių, kad x < 5.
Reikšmė: "Egzistuoja natūralusis skaičius x, kuris yra mažesnis už 5."
Paprastesni pavyzdžiai:
- Matematikoje:
"∀ studentai, kurie išlaikė egzaminą, gavo pažymį." – Reiškia, kad kiekvienas studentas, tenkinantis sąlygą, gavo pažymį.
- Programavime/logikoje:
"∃ failas, kuris yra tuščias." – Reiškia, kad yra bent vienas failas, tenkinantis savybę "būti tuščiu".
Kvantoriai plačiai naudojami matematikoje, logikoje, informatikos teorijoje ir filosofijoje.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.