Innholdsfortegnelse:
Definisjon - Hva betyr kvantifiserer?
I logikk er en kvantifiserer et språkelement som hjelper med å generere en kvantifisering, som er en konstruksjon som nevner antall eksemplarer i det gitte diskursdomen som tilfredsstiller en gitt åpen formel. Kvantifiserere brukes i stor grad i logikk, naturlige språk og diskret matematikk.
Techopedia forklarer Quantifier
Kvantifiserere brukes i kvantifiserte uttrykk der de frie variablene er bundet av kvantifisererne. Med andre ord, variablene til predikatene blir kvantifisert med kvantifiserere. Det er to kjente kvantifiserere som brukes i predikatlogikken: den universelle kvantifisereren og den eksistensielle kvantifisereren. Den universelle kvantifisereren hevder at uttalelser innenfor dens omfang stemmer for hver verdi av den unike variabelen, mens det i tilfelle av den eksistensielle kvantifisereren hevder at utsagnene innenfor dens omfang bare er sanne for noen verdier av den spesifikke variabelen. Den universelle kvantifisereren er betegnet med symbolet ∀, som er som en omvendt A. Den eksistensielle kvantifisereren er betegnet med symbolet ∃, som er som en baklengs E.
Kvantifiseringsrangering spesifiserer den maksimale dybden av hekkingen som er mulig for kvantifiserere i en gitt formel. Det må bemerkes at rekkefølgen på kvantifisererne er avgjørende for betydningen av logikken. Kvantifiserere har bred bruk i predikatlogikk og i diskret matematikk, da de hjelper til med oversettelse av en gitt logisk setning.
