kvantifikatorius
Kvantifikatorius – tai loginis arba matematinis žymėjimas, nurodantis, kiek objektų tenkina tam tikrą sąlygą ar predikatą. Jis kiekybiškai apriboja teiginio apimtį.
Pagrindiniai kvantifikatorių tipai:
1. Universalusis kvantifikatorius (∀)
Reiškia "kiekvienam" arba "visiems".
Pavyzdys:
„∀ x (žmogus(x) → mirtingas(x))“ – Kiekvienas žmogus yra mirtingas.
2. Egzistencinis kvantifikatorius (∃)
Reiškia "egzistuoja" arba "yra bent vienas".
Pavyzdys:
„∃ x (studentas(x) ∧ gabus(x))“ – Egzistuoja (bent vienas) studentas, kuris yra gabus.
Paprastesni pavyzdžiai iš kasdienės kalbos:
- "Visi Lietuvos miestai turi savivaldą." (universalusis kvantifikatorius)
- "Yra tokių knygų, kurios keičia gyvenimą." (egzistencinis kvantifikatorius)
- "Nėra nė vieno žmogaus, kuris nemėgtų šokolado." (neigiamas egzistencinis kvantifikatorius)
Svarba:
Kvantifikatoriai yra esminiai matematikos logikoje, informatikoje (paieškos užklausos, duomenų bazės) ir filosofijoje, nes leidžia tiksliai formuluoti teiginius apie objektų grupes.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.